Se P e Q são proposições simples, então a proposição [P->Q] ∧ P é uma tautologia, isto é, independentemente dos valores lógicos V ou F atribuídos a P e Q, o valor lógico de [P->Q] ∧ P será sempre V.
Certo
Errado
