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 é ...

Para julgar se a proposição [P→Q]∧P é uma tautologia, podemos construir a tabela-verdade. Vamos considerar todas as possibilidades de valores lógicos para P e Q: | P | Q | P→Q | [P→Q]∧P | |---|---|-----|---------| | V | V | V | V | | V | F | F | F | | F | V | V | F | | F | F | V | F | Analisando a tabela-verdade, podemos ver que existem casos em que a proposição [P→Q]∧P é falsa, portanto, ela não é uma tautologia.