Lógica/Cálculo Proposicional Clássico/Fórmulas Contingentes, Contradições e Tautologias/Resolução dos Exercícios

Resolução

editar

 


A AA
V V
F V


A fórmula é tautológica.

 


A ¬A A¬A
V F F
F V F


A fórmula é contraditória.

 


P ¬P P∨¬P ¬(P∨¬P)
V F V F
F V V F

A fórmula é contraditória.

 


A B BA A→(BA)
V V V V
V F V V
F V F V
F F V V


A fórmula é tautológica.

 


A B AB (AB)→A
V V V V
V F F V
F V V F
F F V F


A fórmula é contingente.

 


A B AB (AB)→A
V V V V
V F V V
F V V F
F F F V


A fórmula é contingente.

 


A B AB A→(AB)
V V V V
V F V V
F V V V
F F F V


A fórmula é tautológica.

 


C D CD (CD)→D
V V V V
V F F V
F V F V
F F F V

A fórmula é tautológica.

 


C D CD D→(CD)
V V V V
V F F V
F V F F
F F F V

A fórmula é contingente.

 


A ¬A ¬¬A
V F V
F V F


A fórmula é contingente.