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 V F ~p p ~p ~(p ~p)

Tautologia

Exemplo:

P(p) = ~(p ~p)

Tabela da Verdade:
p V F ~p F V p ~p F F ~(p ~p) V V

Tautologia

Exemplo:

P(p, q) = p ~(p q)

Tabela da Verdade:
p V V F F q V F V F pq ~(p q) p ~(p q)

Tautologia

Exemplo:

P(p, q) = p ~(p q)

Tabela da Verdade:
p V V F F q V F V F pq V F F F ~(p q) F V V V p ~(p q) V V 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 V F ~p p ~p

Contradio

Exemplo:

P(p) = p ~p

Tabela da Verdade:
p V F ~p F V p ~p F F

Contradio

Exemplo:

P(p, q) = ~p (p ~q)

Tabela da Verdade:
p V V F F q V F V F ~p ~q p ~q ~p (p ~q)

Contradio

Exemplo:

P(p, q) = ~p (p ~q)

Tabela da Verdade:
p V V F F q V F V F ~p F F V V ~q F V F V p ~q F V F F ~p (p ~q) F F 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 indeterminadas.

ou

proposies

Contingncia

Exemplo:

P(p) = p ~p

Tabela da Verdade:
p V F ~p p ~p

Contingncia

Exemplo:

P(p) = p ~p

Tabela da Verdade:
p V F ~p F V p ~p F V

Contingncia

Exemplo:

P(p, q) = p q p

Tabela da Verdade:
p V V F F q V F V F pq pqp

Contingncia

Exemplo:

P(p, q) = p q p

Tabela da Verdade:
p V V F F q V F V F pq V V V F pqp V V F V

Dvidas?

Exerccio

Definir as proposies abaixo como Tautologias, Contradies ou Contingncias:

(p q) p q pqpq (p q) (p r q)