Para quaisquer proposições p e q, com valores lógicos quaisquer, a condicional p ⇒ (q ⇒ p) será, sempre, uma tautologia.
Certo
Errado
