Gabarito disponível
Julgue os próximos itens, relacionados à lógica proposicional, considerando os símbolos lógicos comuns e as letras maiúsculas como representativas de proposições simples.
A proposição lógica a seguir é uma tautologia.
~ (Q → P) ∨ [(~B) ∨ (~C)] ↔ ~[(B ∧ C) ∧ (Q → P)]
A proposição lógica a seguir é uma tautologia.
~ (Q → P) ∨ [(~B) ∨ (~C)] ↔ ~[(B ∧ C) ∧ (Q → P)]