You are on page 1of 25

TAUTOLOGIA

CONTRADIÇÃO
CONTINGÊNCIA
E
PROPOSIÇÕES
LOGICAMENTE
EQUIVALENTES

Prof.: Ruy Alexandre Generoso


TAUTOLOGIA

Uma tautologia é toda proposição cujo


valor lógico é sempre verdade (V).

Uma fórmula H é uma tautologia se o


valor verdade de H sempre for
verdadeiro, quaisquer que sejam os
valores verdade de seus símbolos
constituintes.
TAUTOLOGIA

As tautologias são também


denominadas Proposições:

Tautológicas

ou

Logicamente verdadeiras.
TAUTOLOGIA

É imediato que as fórmulas:

P→PeP↔P

são tautológicas.
TAUTOLOGIA
Exemplo 1:
A fórmula ~ (P ∧ ~P) é uma tautologia.
(Princípio da não contradição)
P ~P (P ∧ ~P) ~(P ∧ ~P)
V F F V
F V F V
Portanto, dizer que uma proposição não
pode ser simultaneamente verdadeira e
falsa é sempre verdadeiro.
TAUTOLOGIA
Exemplo 2:
A fórmula P ∨ ~P é uma tautologia.
(Princípio do terceiro excluído)
P ~P P ∨ ~P
V F V
F V V

Portanto, dizer que uma proposição


ou é verdadeira ou é falsa é sempre
verdadeiro.
TAUTOLOGIA
Exemplo 3:
A fórmula P ∧ Q → (P ↔ Q) é uma tautologia.

P Q P∧Q (P ↔ Q) P ∧ Q → (P ↔ Q)
V V V V V
V F F F V
F V F F V
F F F V V
TAUTOLOGIA
Exemplo 4:
A fórmula P ∧ R → ~Q ∨ R é uma tautologia.
P Q R ~Q P∧R ~Q∨R P∧R→~Q∨R
V V V F V V V
V V F F F F V
V F V V V V V
V F F V F V V
F V V F F V V
F V F F F F V
F F V V F V V
F F F V F V V
TAUTOLOGIA - Propriedades

Baseado na Álgebra de Boole,


veremos algumas propriedades da
Lógica Proposicional em que cada
uma das proposições exibidas são
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 Absorção
– A ∧ (A ∨ B) ↔ A
– A ∨ (A ∧ B) ↔ A
• Idempotente
–A ∧ A ↔ A e A ∨ A ↔ A
• Lei da Dupla Negação
– ~~A ↔ A
CONTRADIÇÃO

Uma contradição é toda proposição


composta cujo valor lógico é sempre
falso (F), quaisquer que sejam os
valores lógicos de seus símbolos
constituintes.
CONTRADIÇÃO

Como uma tautologia é sempre


verdadeira (V), a negação de uma
tautologia é sempre falsa (F), ou seja,
uma contradição, e vice-versa.
CONTRADIÇÃO

Exemplo:
A fórmula (P ∧ ~P) é uma contradição.

P ~P (P ∧ ~P)
V F F
F V F

Portanto, dizer que uma proposição pode


ser simultaneamente verdadeira e falsa é
sempre falso.
CONTINGÊNCIA
Toda proposição composta cuja última
coluna da sua tabela-verdade contenha as
letras V e F cada uma pelo menos uma vez.

Ou seja, contingência é toda proposição


composta que não é contradição nem
tautologia.
CONTINGÊNCIA

Exemplo:
A fórmula (P → ~P) é uma contingência.

P ~P (P → ~P)
V F F
F V V
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES

Proposições Logicamente
Equivalentes são
constituídas pelas mesmas
proposições simples e os
resultados de suas tabelas-
verdade são iguais.
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES

A equivalência lógica entre duas


proposições, p e q, pode ser
representada

simbolicamente: p ↔ q,
ou por p=q
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Equivalências Básicas

p∧p=p
André é inocente e inocente = André é inocente

p∨p=p
Ana estudou ou estudou = Ana estudou

p∧q=q∧p
o carro é bonito e caro = o carro é caro e bonito
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Equivalências Básicas
p∨q=q∨p
a casa é grande ou azul = a casa é azul ou
grande
p↔q=q↔p
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 então é
belo, e se é belo então gosto
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Equivalências Básicas
RESUMINDO

p∧p=p

p∨p=p

p∧q=q∧p

p∨q=q∨p

p↔q=q↔p

p ↔ q = (p → q) ∧ (q → p)
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Condicional

Se p, então q = Se não q, então não p.

Se estudo então aprendo = Se não aprendo então


não estudo

Se p, então q = Não p ou q.

Se jogo então ganho = Não jogo ou ganho


p → q = ~q → p
p → q = ~p ∨ q
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Nenhum e Todo

Nenhum A é B = Todo A é não B

Nenhum atleticano é feliz = Todo atleticano é não


feliz (= Todo atleticano não é feliz)

Todo A é B = Nenhum A é não B

Todo cruzeirense é campeão = Nenhum


cruzeirense é não campeão (= Nenhum cruzeirense
não é campeão)
PROPOSIÇÕES LOGICAMENTE
EQUIVALENTES: Outras equivalências ú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