Julgue os próximos itens, considerando os conectivos lógicos usuais ¬,∧,∨,→,↔ e que P, Q e R representam proposições lógicas simples. A proposição ...

A proposição [(¬P)∨Q]↔ {¬[P∧ (¬Q)]} é uma tautologia. Resposta: Certo. Justificativa: Para verificar se a proposição é uma tautologia, é necessário construir a tabela verdade da proposição e verificar se ela é verdadeira para todas as possibilidades de valores lógicos das proposições simples P e Q. | P | Q | ¬P | ¬Q | P ∧ (¬Q) | ¬[P ∧ (¬Q)] | ¬P ∨ Q | (¬P ∨ Q) ↔ ¬[P ∧ (¬Q)] | |---|---|----|----|---------|------------|--------|------------------------| | V | V | F | F | F | V | V | V | | V | F | F | V | V | F | F | F | | F | V | V | F | F | V | V | V | | F | F | V | V | F | V | V | V | Como a última coluna da tabela verdade é sempre verdadeira, a proposição é uma tautologia. Portanto, a resposta correta é "Certo".