Enunciados de questões e informações de concursos
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.