INF1009.

3WB: Lógica para Computação

Aula 4: Consequência lógica

Edward Hermann, Cecília Englander, Guilherme F. Lima

Lab. TecMF, Dep. Informática, PUC-Rio

2016.2

1/21
INF1009.3WB, 2016.2

• Guilherme F. Lima (glima@inf.puc-rio.br)

• Prof.: http://www.telemidia.puc-rio.br/~gflima/inf1009
• Disc.: http://www.tecmf.inf.puc-rio.br/LGRAD

2/21
Sumário

1. Revisão: Sintaxe e semântica da Lógica Proposicional

2. Consequência lógica

3/21
Sintaxe

Alfabeto
Conjunto de símbolos (proposições, conectivos e parênteses)

Expressões
Conjunto de todas as sequências finitas geradas a partir do alfabeto

Fórmulas (linguagem)
Conjunto de todas as expressões que atendem a regra de formação
(cláusulas R1, R2 e R3)

Árvore de sintaxe
Representação gráfica da composição/decomposição de uma fórmula

Subfórmula
ψ é subfórmula de ϕ sse ψ aparece na árvore de sintaxe de ϕ

5/21
Semântica

Valor de verdade
V verdadeiro e F falso

Interpretação
Função i do conjunto de fórmulas atômicas em {V, F}

Valoração
Função v do conjunto de fórmulas em {V, F}
• Definida a partir de i por recursão na estrutura da
fórmula (cf. Aula 3)

Tabela verdade
Representação de todas as possíveis valorações de uma fórmula a partir
das possíveis valorações de suas subfórmulas

6/21
Tabela verdade dos conectivos

ϕ ψ ¬ϕ ϕ∧ψ ϕ∨ψ ϕ→ψ ϕ↔ψ

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

Observações
• v (¬ϕ) é o inverso de v (ϕ)
• v (ϕ ∧ ψ) = V só quando v (ϕ) = V e v (ψ) = V
• v (ϕ ∨ ψ) = F só quando v (ϕ) = F e v (ψ) = F
• v (ϕ → ψ) = F só quando v (ϕ) = V e v (ψ) = F
• v (ϕ ↔ ψ) = V só quando v (ϕ) = v (ψ)

7/21
Classificação semântica

• Tautologia (sempre V)
• Satisfatível (alguma vez V)
• Falsificável (alguma vez F)
• Insatisfatível (sempre F)

Outros termos
• Contingente (se satisfatível ou falsificável)
• Válida (se tautologia)
• Consistente (se satisfatível)
• Inconsistente ou contradição (se insatisfatível)

8/21
Exercício
Construa a tabela verdade da fórmula ϕ = ¬(p ∧ q ) ↔ (¬p ∨ ¬q )

p q ¬p ¬q p∧q ¬(p ∧ q ) (¬p ∨ ¬q ) ϕ

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

Observações
• uma coluna para cada subfórmula de ϕ
• colunas em ordem de complexidade (das simples para complexas)
• 2n linhas em que n é o número de símbolos proposicionais
• ϕ é tautologia (sempre V)

9/21
Consequência lógica

Uma fórmula ϕ é consequência lógica de um conjunto de fórmulas Γ

(em símbolos, Γ  ϕ) sse toda interpretação que torna as fórmulas de Γ
verdadeiras também torna ϕ verdadeira, ou seja,
• Não existe valoração em que todo ψ ∈ Γ é verdadeiro e ϕ é falso

Argumento válido
A relação  formaliza a intuição de argumento válido (cf. Aula 1)
• Sempre que as premissas são verdadeiras a conclusão também é

Equivalência lógica
Duas fórmulas ϕ e ψ são equivalentes (em símbolos, ϕ ≡ ψ)
sse {ϕ}  ψ e {ψ}  ϕ

11/21
Como mostrar que Γ  ϕ?

Método da tabela verdade (algorítimo)

1. Seja Γ um conjunto finito de formulas e seja ϕ uma fórmula
2. Então o número n de símbolos de proposição em Γ e ϕ é finito
3. Há 2n possíveis interpretações (atribuições de valores de verdade)
para esses n símbolos
4. Portanto, para mostrar que Γ  ϕ basta enumerar todas as possíveis
interpretações i e verificar se sempre que i satisfaz Γ , i também
satisfaz ϕ

12/21
Problema
1. Sócrates está disposto a visitar Platão se Platão estiver disposto a
visitá-lo
2. Platão não está disposto a vistar Sócrates se Sócrates estiver
disposto a visitá-lo, mas Platão está disposto a visitar Sócrates se
Sócrates não estiver disposto a visitá-lo
3. Pergunta: Sócrates está ou não disposto a visitar Platão?
Formalização
Seja

p : “Sócrates está disposto a vistar Platão”

q : “Platão está disposto a vistar Sócrates”

Queremos saber se (1) ou (2)

{(q → p ), (p → ¬q ) ∧ (¬p → q )}  p (1)

{(q → p ), (p → ¬q ) ∧ (¬p → q )}  ¬p (2)
13/21
Solução via tabela verdade

p q ¬p ¬q q→p p → ¬q ¬p → q (p → ¬q ) ∧ (¬p → q )
V V F F V F V F
V F F V V V V V
F V V F F V V V
F F V V V V F F

Na única valoração em que ambas as premissas são verdadeiras

a conclusão também é verdadeira, portanto

{(q → p ), (p → ¬q ) ∧ (¬p → q )}  p

14/21
Teorema da dedução

Sejam ψ1 , . . . , ψn e ϕ fórmulas. Então,

{ψ , . . . ψ }  ϕ sse  ψ1 ∧ · · · ∧ ψn → ϕ
| 1 {z n } | {z }
consequência lógica tautologia

15/21
Prova: Teorema da dedução
Ida

Se {ψ1 , . . . , ψn }  ϕ então  ψ1 ∧ · · · ∧ ψn → ϕ

1. Suponha que toda valoração que satisfaz {ψ1 , . . . , ψn } satisfaz ϕ

2. Se v satisfaz ψ1 ∧ · · · ∧ ψn , então pelo item (1), v satisfaz ϕ

Volta

Se  ψ1 ∧ · · · ∧ ψn → ϕ então {ψ1 , . . . , ψn }  ϕ

1. Suponha que ψ1 ∧ · · · ∧ ψn → ϕ é verdade em qualquer valoração

2. Suponha que existe v que satisfaz {ψ1 , . . . , ψn } mas não satisfaz ϕ
3. Logo, v (ψ1 ∧ · · · ∧ ψn → ϕ) = F, o que contradiz o item (1)
4. Portanto, não existe tal v , ou seja, {ψ1 , . . . , ψn }  ϕ
16/21
Exemplos de consequência lógica

1. {¬¬A}  A sse  ¬¬A → A

2. {A, A → B }  B sse  (A ∧ (A → B )) → B
3. {A ∨ B, A → C , B → C }  C
sse  ((A ∨ B ) ∧ (A → C ) ∧ (B → C )) → C
4. {A → B }  ¬B → ¬A sse  (A → B ) → (¬B → ¬A)

17/21
Problema (Aula 0)

Um quadro foi roubado de um museu. O ladrão [ou ladrões] fugiu

[fugiram] de carro. Três suspeitos, A, B e C , foram interrogados.
Estabeleceu-se o seguinte:
• Nenhuma outra pessoa, salvo A, B, e C , estava implicada no roubo
• C nunca pratica roubo sem usar A (e talvez outros) como cúmplice
• B não sabe dirigir

A é inocente ou culpado?

18/21
Exercícios

Use o método da tabela verdade para determinar quais dos seguintes

argumentos são válidos
1. Se Irani me beija, fico louco. Irani não me beijou. Portanto, não
fiquei louco.
2. Se Irani me beija, fico louco. Não fiquei louco. Portanto, Irani não
me beijou.
3. Se Karen está bonita, então Tony está feliz e se Tony está feliz,
então Danilo está preocupado. Se Danilo está preocupado, então
Karen está bonita. Portanto, não é verdade que se Danilo está
preocupado, então Tony está feliz.
4. Se as joias desapareceram então houve denúncia. Se as joias não
desapareceram, então João foi trabalhar. Se João foi trabalhar então
ou as joias desapareceram ou houve denúncia.

19/21
Exercício (cont.)

5. Se o câmbio cair, teremos inflação. Se as exportações crescerem, o

déficit diminui. Ou o câmbio cai ou o déficit diminui. Logo, teremos
inflação ou as exportações crescerão.
6. Se eu conseguir o emprego, compro a casa e viajo a negócios. Não
consegui o emprego. Logo, se eu comprar a casa, então, se viajar a
negócios, compro a casa.
7. Se tenho dinheiro vou ao futebol. Se tenho dinheiro vou à praia.
Não tenho dinheiro. Logo, ou não vou ao futebol ou não vou à praia.

20/21
INF1009.3WB, 2016.2

• Guilherme F. Lima (glima@inf.puc-rio.br)

• Prof.: http://www.telemidia.puc-rio.br/~gflima/inf1009
• Disc.: http://www.tecmf.inf.puc-rio.br/LGRAD

21/21