///
Julgue o seguinte item, relativo à lógica proposicional e à lógica de argumentação.
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.