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

Resolução

1

$A\leftrightarrow A\,\!$

A	A↔A
V	V
F	V

A fórmula é tautológica.

2

$A\leftrightarrow \neg A\,\!$

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

A fórmula é contraditória.

3

$\neg \left(P\lor \neg P\right)$

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

A fórmula é contraditória.

4

$A\to \left(B\to A\right)\,\!$

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

$\left(A\to B\right)\to A\,\!$

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

$\left(A\lor B\right)\to A\,\!$

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

$A\to \left(A\lor B\right)\,\!$

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

$\left(C\land D\right)\to D\,\!$

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

$D\to \left(C\land D\right)\,\!$

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

$\neg \neg A\,\!$

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

A fórmula é contingente.