6
TAUTOLOGIA
Tautologia
é uma proposição cujo valor lógico é sempre verdadeiro. A última coluna da
tabela-verdade tem que terminar somente com a letra V (verdadeiro), quando isso
acontece podemos chamar a proposição de tautológica.
7
CONTRADIÇÃO
Contradição
é uma proposição cujo valor lógico é sempre falso. Ao contrário da tautologia a
contradição tem de ser encerrada com a última coluna contendo somente a letra F
(falso), quando isso acontece podemos chamar a proposição de contraválida.
8
CONTINGÊNCIA
Quando
uma proposição não é tautológica nem contraválida, ou seja, quando na sua
última coluna o resultado contenha V (verdadeiro) e F (falso) podemos chamar
essa proposição de proposição indeterminada ou proposição contingente.
Exercícios:
Fazer tabela-verdade e dizer que tipo de proposição é.
a) p ᵛ
q
|
p
|
v
|
q
|
|
V
|
V
|
V
|
|
V
|
V
|
F
|
|
F
|
V
|
V
|
|
F
|
F
|
F
|
Resposta: Contingência.
b) (p ^
q) → (p ↔ q)
|
p
|
q
|
(p ^ q)
|
→
|
(p ↔ q)
|
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
V
|
F
|
|
F
|
V
|
F
|
V
|
F
|
|
F
|
F
|
F
|
V
|
V
|
Resposta: Tautologia.
c) (~ p
ᵛ q) → (p → q)
|
p
|
q
|
(~ p ᵛ q)
|
→
|
(p → q)
|
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
F
|
V
|
F
|
|
F
|
V
|
V
|
V
|
V
|
|
F
|
F
|
V
|
V
|
V
|
Resposta: Tautologia
d) p →
[q → (q → p)]
|
p
|
q
|
p →
|
[q →
|
(q → p)]
|
|
V
|
V
|
V
|
V
|
V
|
|
V
|
F
|
V
|
V
|
V
|
|
F
|
V
|
V
|
F
|
F
|
|
F
|
F
|
V
|
V
|
V
|
Resposta: Tautologia
e) ~[(~p
^ q) → ~ p]
|
p
|
q
|
~
|
[(~ p ^ q)
|
→ ~ p]
|
|
V
|
V
|
F
|
V
|
V
|
|
V
|
F
|
F
|
V
|
V
|
|
F
|
V
|
F
|
V
|
V
|
|
F
|
F
|
F
|
F
|
V
|
Resposta: Contraválida
Nenhum comentário:
Postar um comentário