Fundamentos da Lógica

Lógica Proposicional

Jeroen van de Graaf

jvdg@dcc.ufmg.br
http://www.dcc.ufmg.br/~jvdg

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.

Propõe o uso de símbolos para

Gottfried Wilhelm Leibniz (1646–1716), mecanizar o processo de raciocínio
filósofo e matemático alemão, provavel- dedutivo.
mente mais conhecido por ter inventado
o cálculo integral e diferencial indepen-
dentemente de Isaac Newton.

George Boole Augustus Propõem as bases da lógica simbólica

(1815–1864), De Morgan moderna usando as idéias de Leibniz.
matemático (1806–1871),
e filósofo matemático
inglês. inglês.

UFMG/ICEx/DCC MD
· Conceitos 3
 Lógica

• lógico = com raciocínio correto, exato, coerente.

• lógica matemática = cada paso de uma argumentação baseado no passo an-

terior de forma não ambígua, não deixando espaço para julgamento subjetivo.

• A lógica é base de todo raciocínio matemático (em teoria. . . ) e de todo

raciocínio automatizado.

• Aplicações em CC: inteligência artificial, projeto de circuitos, correção de pro-

gramas, especificação de sistemas, . . .

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.

• Lógica proposicional ou álgebra booleana: a definição de expressões lógicas

mais complexas a partir das variáveis

• A lógica não ajuda a determinar a verdade ou falsidade de uma afirmação em

si, ou seja, seu conteúdo.

• 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

• Negação = operação Não com notação ∼ ou ¬ e sua tabela da verdade:

p ¬p
V F
F V

UFMG/ICEx/DCC MD
· Conceitos 9
 Conjunção

• Conjunção = operação E com notação ∧ e sua tabela da verdade:

p q p∧q
V V V
V F F
F V F
F F F

UFMG/ICEx/DCC MD
· Conceitos 10
 Disjunção

• Disjunção = operação OU com notação ∨ e sua tabela da verdade:

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 = V ou q = V mas não ambas ao mesmo tempo

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

• Seja a seguinte implicação:

Se você ficar bonzinha então você ganhará um picolé.

• Caso ideal: filho bonzinho, ganha picolé.

• 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é.

bonzinho picolé implicação

V V V
V F F
F V V
F F V

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.

• Se p é V e q é V, então o resultado da implicação é V.

• Se p é F, a implicação afirma nada sobre q, então q pode ser V ou F sem

violar a implicação. Ou seja, o resultado da implicação é V nos dois casos.

• Se p é V mas q é F, a implicação é violada, portanto seu resultado é F .

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

• A lógica é cega; não precisa existir nenhuma relação causa-efeito entre a

premissa e a conclusão.

• Considere a seguinte implicação:

“Se hoje é sexta-feira então 2 + 3 = 5.”
– Implicação que é sempre verdadeira pela definição (tabela da verdade) da
proposição condicional.

• Por outro lado, a implicação:

“Se hoje é sexta-feira então 2 + 3 = 6.”
– É verdadeira todos os dias da semana, exceto sexta-feira, apesar de
2 + 3 6= 6, ou seja, a conclusão ser sempre falsa.

• A partir de uma premissa falsa, pode ser concluir qualquer coisa:

“Se 0 = 1 então Papai Noel existe.”

UFMG/ICEx/DCC MD
· Conceitos 15
 Implicão e linguagem natural

A linguagem natural é muitas vezes muito inexata:

• Se amanhã estiver ensolarado então nós iremos à praia.

• Idoso não paga passagem.

UFMG/ICEx/DCC MD
· Conceitos 16
 Implicação: resumo

• O conceito matemático de implicação está baseado na tabela-verdade, ou

seja, nos valores que a premissa e a conclusão podem assumir.

• É 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)

• A operação “bicondicional” entre p e q é expressa como

p se e somente se q
e é representada por
p↔q
e tem a seguinte tabela da verdade:
p q p↔q
V V V
V F F
F V F
F F V

UFMG/ICEx/DCC MD
· Conceitos 18
 Bicondicional e linguagem natural

• Amanhã, nós iremos à praia se e somente se estiver ensolarado.

• Um aluno será aprovado sse tiver nota final ≥ 60.

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

• Como verificar se duas proposições A e B são equivalentes logicamente?

Primeira abordagem:
1. Construa a tabela da verdade para A.
2. Construa a tabela da verdade para B usando os mesmos valores de vari-
áveis para as afirmações que formam a proposição.
3. Verifique se as tabelas da verdade de A e B são idênticas para cada
combinação de valores-verdade. Se forem, A e B são equivalentes logi-
camente, caso contrário não.

• Exemplo 3:
– ¬(¬p) ≡ p

UFMG/ICEx/DCC MD
· Conceitos 22
 XOR: expressão equivalente

• p = V ou q = V mas não ambas ao mesmo tempo

• Exemplo 4:
Construa a tabela da verdade para a expressão:

E = (p ∨ q) ∧ ¬(p ∧ q)

p q p∨q p∧q ¬(p ∧ q) E p⊕q

V V V V F F F
V F V F V V V
F V V F V V V
F F F F V F F
E = p ⊕ q = p xor q (ou exclusivo)

UFMG/ICEx/DCC MD
· Conceitos 23
 Equivalência lógica:
Leis de “De Morgan”

Mostre as seguintes equivalências:

¬(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

• É possível representar p → q em termos dos conectivos ¬, ∨, ∧:

p → q ≡ ¬p ∨ q

• Exemplo 9:

a: Se o (meu carro está na oficina)=[p] então (eu não posso ir à aula)=[q].

a: (Meu carro não está na oficina)=[p] ou (eu posso ir à aula)=[¬q].

UFMG/ICEx/DCC MD
· Conceitos 26
 A contrapositiva de uma implicação

• A proposição contrapositiva de (p → q) é (¬q → ¬p).

p → q ≡ ¬q → ¬p
Exemplo 10:

p → q: Se hoje é Páscoa então amanhã é segunda-feira.

¬q → ¬p: Se amanhã não é segunda-feira então hoje não é Páscoa.

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

Ü Para todas as combinações de valores-verdade de p, q e r, a expressão da

esquerda tem o mesmo valor-verdade da direita.

UFMG/ICEx/DCC MD
· Conceitos 28
 Tautologias e contradições

• Uma tautologia é uma proposição que é sempre verdadeira independente dos

valores-verdade das afirmações que compõem a proposição.

• Uma contradição é uma proposição que é sempre falsa independente dos

valores-verdade das afirmações que compõem a proposição.

Ü De acordo com essas definições, a verdade de uma tautologia ou falsidade

de uma contradição se devem a estrutura lógica da proposição em si e são
independentes dos significados das afirmações que compõem a proposição.

UFMG/ICEx/DCC MD
· Conceitos 29
 Tautologias e contradições

• Mostre que a proposição p ∨ ¬p é uma tautologia e que a proposição p ∧ ¬p

é uma contradição.

• Se t é uma tautologia e c uma contradição mostre que p ∧ t ≡ p e p ∧ c ≡ c

UFMG/ICEx/DCC MD
· Conceitos 30
 Sumário da equivalência lógica

Elto. neutro p∧V ≡p p∨F ≡p

Dominação p∧F ≡F p∨V ≡V
Idempotência p∧p≡p p∨p≡p
Dupla negação ¬(¬p) ≡ p
Comutatividade p∧q ≡q∧p p∨q ≡q∨p
Associatividade (p ∧ q) ∧ r ≡ p ∧ (q ∧ r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Distributividade p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
De Morgan ¬(p ∧ q) ≡ ¬(p ∨ q) ≡
¬p ∨ ¬q ¬p ∧ ¬q
Negação p ∨ ¬p ≡ V p ∧ ¬p ≡ F
Absorção p ∨ (p ∧ q) ≡ p p ∧ (p ∨ q) ≡ p
Negações ¬V ≡ F ¬F ≡ V

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