TAUTOLOGIA CONTRADIO CONTINGNCIA E PROPOSIES LOGICAMENTE EQUIVALENTES

Prof.: Ruy Alexandre Generoso

TAUTOLOGIA
Uma tautologia toda proposio cujo valor lgico sempre verdade (V). Uma frmula H uma tautologia se o valor verdade de H sempre for verdadeiro, quaisquer que sejam os valores verdade de seus smbolos constituintes.

TAUTOLOGIA
As tautologias so tambm denominadas Proposies: Tautolgicas ou Logicamente verdadeiras.

TAUTOLOGIA
imediato que as frmulas: PPePP so tautolgicas.

TAUTOLOGIA
Exemplo 1:
A frmula ~ (P ~P) uma tautologia. (Princpio da no contradio) P V F

~P
F V

(P ~P) F F

~(P ~P)
V V

Portanto, dizer que uma proposio no pode ser simultaneamente verdadeira e falsa sempre verdadeiro.

TAUTOLOGIA
Exemplo 2:
A frmula P ~P uma tautologia. (Princpio do terceiro excludo) P V F

~P
F V

P ~P V V

Portanto, dizer que uma proposio ou verdadeira ou falsa sempre verdadeiro.

TAUTOLOGIA
Exemplo 3:
A frmula P Q (P Q) uma tautologia.

P V V F F

Q V F V F

PQ V F F F

(P Q) V F F V

P Q (P Q) V V V V

TAUTOLOGIA
Exemplo 4:
A frmula P R ~Q R uma tautologia.
P
V V V V F F F F

Q
V V F F V V F F

R
V F V F V F V F

~Q
F F V V F F V V

PR
V F V F F F F F

~QR PR~QR
V F V V V F V V V V V V V V V V

TAUTOLOGIA - Propriedades

Baseado na lgebra de Boole, veremos algumas propriedades da Lgica Proposicional em que cada uma das proposies exibidas so tautologias.

TAUTOLOGIA - Propriedades
Associativa
(A B) C A (B C) (A B) C A (B C)

Comutativa
A B B A A B B A

TAUTOLOGIA - Propriedades
Distributiva
A (B C) (A B) (A C) A (B C) (A B) (A C)

Leis de De Morgan
~(A B) ~A ~B ~(A B) ~A ~B

TAUTOLOGIA - Propriedades
Leis de Absoro
A (A B) A A (A B) A

Idempotente
A A A e A A A

Lei da Dupla Negao

~~A A

CONTRADIO
Uma contradio composta cujo valor falso (F), quaisquer valores lgicos de constituintes. toda proposio lgico sempre que sejam os seus smbolos

CONTRADIO
Como uma tautologia sempre verdadeira (V), a negao de uma tautologia sempre falsa (F), ou seja, uma contradio, e vice-versa.

CONTRADIO
Exemplo:
A frmula (P ~P) uma contradio. P V F ~P F V (P ~P) F F

Portanto, dizer que uma proposio pode ser simultaneamente verdadeira e falsa sempre falso.

CONTINGNCIA
Toda proposio composta cuja ltima coluna da sua tabela-verdade contenha as letras V e F cada uma pelo menos uma vez. Ou seja, contingncia toda proposio composta que no contradio nem tautologia.

CONTINGNCIA
Exemplo:
A frmula (P ~P) uma contingncia. P V F ~P F V (P ~P) F V

PROPOSIES LOGICAMENTE EQUIVALENTES

Proposies Logicamente Equivalentes so constitudas pelas mesmas proposies simples e os resultados de suas tabelasverdade so iguais.

PROPOSIES LOGICAMENTE EQUIVALENTES

A equivalncia lgica entre duas proposies, p e q, pode ser representada simbolicamente: p q, ou por p=q

PROPOSIES LOGICAMENTE EQUIVALENTES: Equivalncias Bsicas

pp=p Andr inocente e inocente = Andr inocente pp=p Ana estudou ou estudou = Ana estudou pq=qp o carro bonito e caro = o carro caro e bonito

PROPOSIES LOGICAMENTE EQUIVALENTES: Equivalncias Bsicas

pq=qp a casa grande ou azul = a casa azul ou grande pq=qp Gosto se e somente se belo = belo se e somente se gosto p q = (p q) (q p) Gosto se e somente se belo = Se gosto ento belo, e se belo ento gosto

PROPOSIES LOGICAMENTE EQUIVALENTES: Equivalncias Bsicas

RESUMINDO
pp=p pp=p pq=qp pq=qp pq=qp p q = (p q) (q p)

PROPOSIES LOGICAMENTE EQUIVALENTES: Condicional

Se p, ento q = Se no q, ento no p. Se estudo ento aprendo = Se no aprendo ento no estudo Se p, ento q = No p ou q. Se jogo ento ganho = No jogo ou ganho

p q = ~q p p q = ~p q

PROPOSIES LOGICAMENTE EQUIVALENTES: Nenhum e Todo

Nenhum A B = Todo A no B Nenhum atleticano feliz = Todo atleticano no feliz (= Todo atleticano no feliz) Todo A B = Nenhum A no B Todo cruzeirense campeo = Nenhum

cruzeirense no campeo (= Nenhum cruzeirense no campeo)

PROPOSIES LOGICAMENTE EQUIVALENTES: Outras equivalncias teis

p e (p ou q) = p p (p q) = p

Ana bela, e Ana bela ou Sarah alta = Ana bela

p ou (p e q) = p

p (p q) = p

Ana bela, ou Ana bela e Sarah alta = Ana bela