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

• (CESGRANRIO 2010)

Analisando as afirmações abaixo no contexto do Cálculo Proposicional, tem-se que a proposição


A) p → q ↔ p ^ q é uma tautologia.

B) p → q ↔ ~ p v q é uma tautologia.

C) p → q ↔ p v q é uma contradição.

D) p → q ↔ ~ p v q é uma contradição.

E) p → q ↔ ~ p ^ q é uma contradição.


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

Vamos para o Anterior: Exercício 139

Tente Este: Exercício 73

Primeiro: Exercício 1

VOLTAR ao índice: Raciocínio lógico