Tipos das Proposições, Implicações e Equivalências Lógicas

Tautologia, Contradição e Indeterminação

TAUTOLOGIA
Definição:Uma proposição composta é uma tautologia quando o seu valor é sempre a verdade (V), para quaisquer valores lógicos das proposições simples componentes.
Exemplo:
P: É noite ou não é noite.
P: p v ~p
A tabela verdade é:
|p |~p |p v ~p |
|V |F |V |
|F |V |V |

Logo p v ~p é uma tautologia.

CONTRADIÇÃO
Definição: Uma proposição composta é uma contradição quando o seu valor é sempre a falso (F), para quaisquer valores lógicos das proposições simples componentes.
Exemplo:
P: É noite e não é noite.
P: p ^ ~p
A tabela verdade é: …exibir mais conteúdo…

|
|p ↔ q |
| |
|V |
|V |