Questão Q793581

Se p e q são proposições e ~p e ~q suas respectivas negações, então podemos dizer que (p → q )↔ (~ q v p) é uma:

Alternativas

Tautologia.

Contingência.

Contradição.

Equivalência.

Implicação.

Comentários

V ↔ V = V

F ↔ V = F

V ↔ F = F

V ↔ V = V

Gabarito: B
( p -> q ) <-> ( ~q v p )
V -> V <-> ( F v V ) = V <-> V => V
V -> F <-> ( V v V ) = F <-> V => F
F -> V <-> ( F v F ) = V <-> F => F
F -> F <-> ( V v F ) = V <-> V => V

Portanto, a proposição é uma CONTINGÊNCIA.
Para complementar:

Tautologia: É uma proposição composta cujo valor será sempre verdadeiro, independente dos valores lógicos atribuídos a suas proposições simples.
Contradição: É uma proposição composta cujo valor é sempre Falso, independente dos valores lógicos atribuídos a suas proposições simples.
Contigência: É uma proposição composta cujo valor depende dos valores lógicos atribuídos as suas proposições simples.

*Professor Fernando Sanchés - CERS
Segue tabela verdade, última coluna mostrando uma contingência.

http://sketchtoy.com/68989715

SóProvas