Considere que os símbolos ¬, ∧ e → representam negação, conjunção e implicação, respectivamente. Analisando a fórmula (p→q)∧(¬q→¬r), é correto afirmar que essa fórmula é verdadeira