Escolar Documentos
Profissional Documentos
Cultura Documentos
Lógica Proposicional
UFMG/ICEx/DCC MD
· Conceitos 1
Introdução
UFMG/ICEx/DCC MD
· Conceitos 2
Fundamentos da lógica:
Alguns fatos históricos
Responsável por escrever os primei-
Aristóteles (384 a.C.–322 a.C.), filósofo ros grandes trabalhos de lógica:
grego. Produziu uma obra rica e mul- – Coleção de regras para raciocínio
tifacetada. Nela encontramos uma e- dedutivo que pode ser usado em
xaustiva compilação dos conhecimen- qualquer área do conhecimento.
tos do seu tempo, mas também, uma
filosofia que ainda hoje influência a
nossa maneira de pensar.
UFMG/ICEx/DCC MD
· Conceitos 3
Lógica
UFMG/ICEx/DCC MD
· Conceitos 4
Proposições
UFMG/ICEx/DCC MD
· Conceitos 5
Proposições
• Definição: uma proposição é uma afirmação que é verdadeira (V) ou falsa (F)
(mas não ambas).
• Exemplo 1:
– “13 é um número primo” — V
– “Brasil é uma ilha.” — F
– “Existe vida em outros planetas” — deconhecido
são proposições, onde a primeira é V e a segunda é F.
• Contra-exemplos 2:
– Perguntas,
– Opiniões,
– Afirmações com variáveis desconhecidas
não são proposições.
UFMG/ICEx/DCC MD
· Conceitos 6
Operações lógicas
UFMG/ICEx/DCC MD
· Conceitos 7
Proposições compostas
• Nos exemplos usados daqui para frente, usaremos as letras minúsculas (por
exemplo, p, q, r) para representar afirmações. Ou seja, elas representam
variáveis lógicas que podem ser V ou F.
• Operações principais:
negação ¬p negação de p
conjunção p∧q peq
disjunção p∨q p ou q
implicação p→q p implica q; se p então q
bicondicional p↔q p se e somente se q
UFMG/ICEx/DCC MD
· Conceitos 8
Negação
p ¬p
V F
F V
UFMG/ICEx/DCC MD
· Conceitos 9
Conjunção
p q p∧q
V V V
V F F
F V F
F F F
UFMG/ICEx/DCC MD
· Conceitos 10
Disjunção
p q p∧q
V V V
V F V
F V V
F F F
UFMG/ICEx/DCC MD
· Conceitos 11
OU inclusivo X OU exclusivo
p q p∨q p⊕q
V V V F
V F V V
F V V V
F F F F
UFMG/ICEx/DCC MD
· Conceitos 12
Implicação: explicação intuitiva
• Mesmo que meu filho não for bonzinho, posso dá-lo picolé, ou não.
• Implicação não é considerada válida quando meu filho for bonzinho e não
ganha picolé.
UFMG/ICEx/DCC MD
· Conceitos 13
Implicação
• Uma implicação é como uma promessa entre duas variáveis, que pode ser
cumprida ou não. Considere p → q. Então p é chamada premissa e q,
conclusão.
p q p→q
V V V
V F F
F V V
F F V
UFMG/ICEx/DCC MD
· Conceitos 14
Implicão e linguagem natural
UFMG/ICEx/DCC MD
· Conceitos 15
Implicão e linguagem natural
UFMG/ICEx/DCC MD
· Conceitos 16
Implicação: resumo
• É mais seguro não usar a intuição, mas sempre usar a seguinte equivalência
(que provaremos em breve):
p→q ≡ ¬p ∨ q
UFMG/ICEx/DCC MD
· Conceitos 17
Bicondicional (se somente se)
UFMG/ICEx/DCC MD
· Conceitos 18
Bicondicional e linguagem natural
UFMG/ICEx/DCC MD
· Conceitos 19
Prioridades das operações lógicas
1 ¬ negação
2 ∨, ∧ conjunçaõ, disjunção
3 →, ↔ implicação, bi-drecional
UFMG/ICEx/DCC MD
· Conceitos 20
Proposições equivalentes
UFMG/ICEx/DCC MD
· Conceitos 21
Equivalência lógica
• Exemplo 3:
– ¬(¬p) ≡ p
UFMG/ICEx/DCC MD
· Conceitos 22
XOR: expressão equivalente
• Exemplo 4:
Construa a tabela da verdade para a expressão:
E = (p ∨ q) ∧ ¬(p ∧ q)
UFMG/ICEx/DCC MD
· Conceitos 23
Equivalência lógica:
Leis de “De Morgan”
¬(p ∧ q) ≡ ¬p ∨ ¬q
¬(p ∨ q) ≡ ¬p ∧ ¬q
Essas duas equivalências são conhecidas como leis de “De Morgan” que foi o
primeiro a expressá-las em termos matemáticos.
UFMG/ICEx/DCC MD
· Conceitos 24
Leis de De Morgan e linguagem natural
Exemplo 5:
p = João tem 2 m de altura e ele pesa pelo menos 90 kg.
¬p = João não tem 2 m de altura ou ele pesa menos de 90 kg.
Exemplo 6:
p = −1 < x ≤ 4
¬p = ¬(−1 < x ≤ 4) ≡ ¬(x > −1 ∧ x ≤ 4) ≡
x 6> −1 ∨ x 6≤ 4 ≡ x ≤ −1 ∨ x > 4.
Exemplo 7:
p = João é alto e João é magro.
¬p = João não é alto ou João não é magro.
Exemplo 8:
t = João é alto e magro.
¬t = João não é alto e magro.
Em lógica formal os vocábulos “e” e “ou” são permitidos somente entre afir-
mações completas e não entre partes de uma sentença.
UFMG/ICEx/DCC MD
· Conceitos 25
Forma alternativa da implicação
• Exemplo 9:
UFMG/ICEx/DCC MD
· Conceitos 26
A contrapositiva de uma implicação
UFMG/ICEx/DCC MD
· Conceitos 27
Equivalência: exemplo grande
• Exemplo 11:
Mostre que p ∨ q → r ≡ (p → r) ∧ (q → r)
p q r p∨q p→r q→r p∨q →r (p → r) ∧ (q → r)
V V V V V V V V
V V F V F F F F
V F V V V V V V
V F F V F V F F
F V V V V V V V
F V F V V F F F
F F V F V V V V
F F F F V V V V
UFMG/ICEx/DCC MD
· Conceitos 28
Tautologias e contradições
UFMG/ICEx/DCC MD
· Conceitos 29
Tautologias e contradições
UFMG/ICEx/DCC MD
· Conceitos 30
Sumário da equivalência lógica
UFMG/ICEx/DCC MD
· Conceitos 31
Equivalência lógica e manipulação
algébrica
UFMG/ICEx/DCC MD
· Conceitos 32
Equivalência lógica: Exemplo
Exemplo 12:
Mostre que
¬(¬p ∧ q) ∧ (p ∨ q) ≡ p
através dos axiomas acima.
UFMG/ICEx/DCC MD
· Conceitos 33