Aula 09 Tautologias,

Contradies e Contingncias
Disciplina: Fundamentos de Lgica e Algoritmos
Prof. Bruno Gomes
http://www3.ifrn.edu.br/~brunogomes

Agenda da Aula
Tautologias, Contradies e Contingncias



TAUTOLOGIA
Tautologia
Toda a proposio que a ltima coluna da tabela
da verdade composta somente pelo valor
lgico V.

Simbolicamente:
Toda proposio composta P(p, q, r, ...) cujo valor
lgico sempre V(verdadeiro), independente dos
valores lgicos das proposies simples que a
compem.
Tautologia
Exemplo:
P(p) = ~(p ~p)

Tabela da Verdade:

p ~p p ~p ~(p ~p)
V
F
Tautologia
Exemplo:
P(p) = ~(p ~p)

Tabela da Verdade:

p ~p p ~p ~(p ~p)
V F F V
F V F V
Tautologia
Exemplo:
P(p, q) = p ~(p q)

Tabela da Verdade:

p q p q ~(p q) p ~(p q)
V V
V F
F V
F F
Tautologia
Exemplo:
P(p, q) = p ~(p q)

Tabela da Verdade:

p q p q ~(p q) p ~(p q)
V V V F V
V F F V V
F V F V V
F F F V V
CONTRADIO
Contradio
Toda a proposio que a ltima coluna da tabela
da verdade composta somente pelo valor
lgico F.

Simbolicamente:
Toda proposio composta P(p, q, r, ...) cujo valor
lgico sempre F(falso), independente dos valores
lgicos das proposies simples que a compem.
Contradio
Exemplo:
P(p) = p ~p

Tabela da Verdade:

p ~p p ~p
V
F
Contradio
Exemplo:
P(p) = p ~p

Tabela da Verdade:

p ~p p ~p
V F F
F V F
Contradio
Exemplo:
P(p, q) = ~p (p ~q)

Tabela da Verdade:

p q ~p ~q p ~q ~p (p ~q)
V V
V F
F V
F F
Contradio
Exemplo:
P(p, q) = ~p (p ~q)

Tabela da Verdade:

p q ~p ~q p ~q ~p (p ~q)
V V F F F F
V F F V V F
F V V F F F
F F V V F F
Observao

Como uma tautologia sempre V, a
negao de uma tautologia uma
contradio (sempre F), e vice-versa.
CONTINGNCIA
Contingncia
Toda a proposio que a ltima coluna da tabela
da verdade composta pelos valores V e F, cada
uma pelo menos uma vez.
toda proposio que no tautologia nem
contradio;
So chamadas tambm por:
Proposies contingentes ou proposies
indeterminadas.
Contingncia
Exemplo:
P(p) = p ~p

Tabela da Verdade:

p ~p p ~p
V
F
Contingncia
Exemplo:
P(p) = p ~p

Tabela da Verdade:

p ~p p ~p
V F F
F V V
Contingncia
Exemplo:
P(p, q) = p q p

Tabela da Verdade:

p q p q p q p
V V
V F
F V
F F
Contingncia
Exemplo:
P(p, q) = p q p

Tabela da Verdade:

p q p q p q p
V V V V
V F V V
F V V F
F F F V
Dvidas?

Exerccio
Definir as proposies abaixo como Tautologias,
Contradies ou Contingncias:
(p q) p q
p q p q
(p q) (p r q)