Simulado Agência Brasileira de Inteligência - ABIN | Oficial Técnico de Inteligência - Suporte a Redes | 2019 pre-edital | Questão 443
Raciocínio Lógico / Lógica sentencial e de primeira ordem
Considerando os símbolos normalmente usados para representar os
conectivos lógicos, julgue os itens seguintes, relativos a lógica
proposicional e à lógica de argumentação. Nesse sentido, considere,
ainda, que as proposições lógicas simples sejam representadas por
letras maiúsculas.
A expressão (¬ P) ∧ ((¬ Q) ∨ R) ] ↔ ¬( P ∨ Q) ∨ ((¬ P) ∧ R)
é uma tautologia.
