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