Lógica/Cálculo Proposicional Clássico/Fórmulas Contingentes, Contradições e Tautologias/Resolução dos Exercícios
Resolução
editar1
editar
A | A↔A |
V | V |
F | V |
A fórmula é tautológica.
2
editar
A | ¬A | A↔¬A |
V | F | F |
F | V | F |
A fórmula é contraditória.
3
editar
P | ¬P | P∨¬P | ¬(P∨¬P) |
V | F | V | F |
F | V | V | F |
A fórmula é contraditória.
4
editar
A | B | B→A | A→(B→A) |
V | V | V | V |
V | F | V | V |
F | V | F | V |
F | F | V | V |
A fórmula é tautológica.
5
editar
A | B | A→B | (A→B)→A |
V | V | V | V |
V | F | F | V |
F | V | V | F |
F | F | V | F |
A fórmula é contingente.
6
editar
A | B | A∨B | (A∨B)→A |
V | V | V | V |
V | F | V | V |
F | V | V | F |
F | F | F | V |
A fórmula é contingente.
7
editar
A | B | A∨B | A→(A∨B) |
V | V | V | V |
V | F | V | V |
F | V | V | V |
F | F | F | V |
A fórmula é tautológica.
8
editar
C | D | C∧D | (C∧D)→D |
V | V | V | V |
V | F | F | V |
F | V | F | V |
F | F | F | V |
A fórmula é tautológica.
9
editar
C | D | C∧D | D→(C∧D) |
V | V | V | V |
V | F | F | V |
F | V | F | F |
F | F | F | V |
A fórmula é contingente.
10
editar
A | ¬A | ¬¬A |
V | F | V |
F | V | F |
A fórmula é contingente.