Raciocínio lógicoTabelas-verdade tautologia contradição e contingência

• (CESGRANRIO 2014)

Dadas duas proposições simples, p e q, uma das leis de De Morgan perpassa a tautologia
[ ~ ( p ∧ q ) ] ↔ [ ( ~ p ) ∨ ( ~ q ) ]
Essa tautologia é logicamente equivalente à expressão.


A) [ ~ (( ~ p ) ∧ ( ~ q )) ] ↔ [ p ∨ q ]


B) [ ~ (( ~ p ) ∨ ( ~ q )) ] ↔ [ p ∨ q ]


C) [ ~ (( ~ p ) ∧ ( ~ q )) ] ↔ [ p ∧ q ]


D) [ ( ~ p ) ∧ ( ~ q ) ] ↔[ ~ ( p ∧q ) ]


E) [ ( ~ p ) ∨ ( ~ q ) ] ↔ [ ~ ( p ∨ q ) ]


Próximo:
EXERCÍCIOS - Exercício 75

Vamos para o Anterior: Exercício 73

Tente Este: Exercício 18

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico