Documente Academic
Documente Profesional
Documente Cultură
Lógica Sentencial
Marco A. Casanova
Referências
• Capítulo 1 de [CGF]
1
Introdução
• Alfabeto proposicional:
– símbolos lógicos:
• pontuação: (,)
• conectivos: ¬ (negação)
^ (conjunção)
v (disjunção)
→ (implicação) também se usa “⇒”
↔ (bicondicional) também se usa “⇔” ou “≡”
– símbolos não-lógicos:
• conjunto enumerável de símbolos proposicionais
diferentes dos símbolos lógicos
2
Linguagens Proposicionais - Sintaxe
• Exemplos de fórmulas:
((¬A) ^ B) ou abreviadamente ¬A ^ B
((A ^ B) → ((¬C) v D)) ou abreviadamente A ^ B → ¬C v D
(A → (B → C)) ou abreviadamente A → B → C
3
Linguagens Proposicionais - Sintaxe
• Exemplo:
– Afirmação:
“Suponhamos que Sócrates está em tal situação que ele
estaria disposto a visitar Platão, só se Platão estivesse
disposto a visitá-lo; e que Platão está em tal situação que
ele não estaria disposto a visitar Sócrates, se Sócrates
estivesse disposto a visitá-lo, mas estaria disposto a visitar
Sócrates, se Sócrates não estivesse disposto a visitá-lo”
– Pergunta:
“Sócrates está disposto a visitar Platão ou não?”
• Exemplo (cont.):
– alfabeto:
A = “Sócrates está disposto a visitar Platão”
B = “Platão está disposto a visitar Sócrates”
– formalização da afirmação:
“Sócrates está disposto a visitar Platão, se Platão está disposto a visitar Sócrates”
(B → A)
“Platão não está disposto a visitar Sócrates, se Sócrates está disposto a visitar Platão”
(A → ¬B)
“Platão está disposto a visitar Sócrates, se Sócrates não está disposto a visitar Platão”
(¬A → B)
Sócrates: (B → A)
Platão: (A → ¬B) ^ (¬A → B)
4
Linguagens Proposicionais - Sintaxe
• Exemplo (cont.):
– formalização da afirmação:
Situação de Sócrates: (B → A)
Situação de Platão: (A → ¬B) ^ (¬A → B)
Afirmação (como fórmula): (B → A) ^ (A → ¬B) ^ (¬A → B)
– formalização da pergunta:
Qual fórmula é sempre verdadeira, independentemente do significado de A e B?
((B → A) ^ (A → ¬B) ^ (¬A → B)) → A
ou
((B → A) ^ (A → ¬B) ^ (¬A → B)) → ¬A
• Exemplo (cont.):
– formalização da afirmação:
Situação de Sócrates: (B → A)
Situação de Platão: (A → ¬B) ^ (¬A → B)
Afirmação (como teoria): { (B → A) , (A → ¬B) ^ (¬A → B) }
– formalização da pergunta:
Qual fórmula é conseqüência lógica da teoria?
{ (B → A) , (A → ¬B) ^ (¬A → B) } |= A
ou
{ (B → A) , (A → ¬B) ^ (¬A → B) } |= ¬A
5
Linguagens Proposicionais - Sintaxe
• Exemplo:
• Atribuição de valores-verdade:
– seja A um alfabeto com conj. de símbolos proposicionais P
– atribuição de valores-verdades para A:
v: P -> {F,V}
6
Linguagens Proposicionais - Semântica
7
Linguagens Proposicionais - Semântica
• Tautologias:
8
Método da Tabela-Verdade
• Método da tabela-verdade:
– método sistemático para decidir implicação lógica
– observação básica:
• em um conjunto finito de fórmulas,
ocorre um número finito de símbolos proposicionais
Método da Tabela-Verdade
• Exemplo:
– decidir se P |= Q através do método da tabela-verdade, onde
P é a fórmula A → (B →C) e Q é a fórmula (A → B) → (A → C)
9
Método da Tabela-Verdade
• Exemplo:
10
Método dos Tableaux Analíticos
[A ^ B] [A → B] ¬¬A
| ____|____ |
A | | A
B ¬A B
¬[A ^ B] ¬[A → B]
____|____ |
| | A
¬A ¬B ¬B
[A v B] [A ↔ B]
____|____ ____|____
| | | |
A B A ¬A
B ¬B
¬[A v B] ¬[A ↔ B]
| ____|____
¬A | |
¬B A ¬A
¬B B
6/8/2008 (c) MAC / KKB - PUC-Rio 21
• Teorema (consistência):
Se existe um tableau para P ∪ {¬Q} tal que todos os seus
ramos estão fechados,
então P |= Q
• Teorema (completude):
Se P |= Q então todo tableau completo para P ∪ {¬Q}
possui todos os seus ramos fechados.
11
Método dos Tableaux Analíticos
5. ¬B . de 1 6. A . de 1
x . de 4, 6
7. ¬A . de 2 8. ¬B . de 2
12
Método dos Tableaux Analíticos
8. P . de 1 11. ¬P . de 1
9. (Q ^ R) . de 1 12. ¬(Q ^ R) . de 1
10. Q . de 9 x . de 4, 12
11. R . de 9
Exemplo:
1. John likes tea if he is English.
2. John is English unless his father is Scottish.
3. John's father is English, but John does not like tea.
13
Método dos Tableaux Analíticos
Exemplo: Formalização:
A: John is English
B: John likes tea
C: John's father is English
D: John's father is Scottish
14
Método da Resolução
[BL] Seção 4.1
• Exemplo: (P ↔ (Q ^ R))
(P → (Q ^ R)) ^ ((Q ^ R) → P)
Método da Resolução
• Notação clausal:
– notação simplificada para uma fórmula em CNF
– forma clausal = conjunto finito de cláusulas
– cláusula = conjunto finito de literais
– literal = símbolo proposicional ou a sua negação
• Exemplo:
fórmula: (P ↔ (Q ^ R))
fórmula em CNF: (¬P v Q) ^ (¬P v R) ^ (¬Q v ¬R v P)
forma clausal: { {¬P , Q } , { ¬P , R } , {¬Q , ¬R , P } }
15
Método da Resolução
• Notação clausal:
Método da Resolução
• Exemplos:
fórmula: (P ↔ (Q ^ R))
CNF: (¬P v Q) ^ (¬P v R) ^ (¬Q v ¬R v P)
forma clausal: { {¬P , Q } , { ¬P , R } , {¬Q , ¬R , P } }
fórmula: ¬ ((Q ^ R) → S)
CNF: ((Q ^ R) ^ ¬S)
forma clausal: { {Q}, {R}, {¬S} }
16
Método da Resolução
• Exemplo:
Método da Resolução
• Resolução (binária):
– dada uma cláusula C da forma C1 ∪ { p }
e uma cláusula C’ da forma C2 ∪ { p },
infira R = C1 ∪ C2, o resolvente de C e C’ com respeito a p
• Exemplo:
– cláusulas: { ¬P , Q } e { ¬Q , ¬R , P }
– resolvente c/ respeito a Q: { ¬P , ¬R , P }
• Exemplo:
– cláusulas: { ¬P , Q } e { ¬Q , ¬R , P }
– resolvente c/ respeito a P: { Q , ¬Q, ¬R }
17
Método da Resolução
• Teorema:
– P é insatisfatível
se e somente se
existe uma refutação de P por resolução
Método da Resolução
Resposta: Sim
Refutação: 1. ¬B , A ¬A A, B
2. ¬A , ¬B
3. A,B
4. ¬A B ¬B , A
5. B .4e3
6. A .5e1
7. .6e4 A ¬A
18
Método da Resolução
• Exemplo:
Pergunta: { {¬P , Q } , { ¬P , R } , { ¬Q , ¬R , P } , {¬P , ¬Q , S } , {Q}, {R}, {¬S} }
é insatisfatível?
¬S ¬P , ¬Q , S
Resposta: Sim
Refutação: 1. ¬P , Q
¬P , ¬Q Q
2. ¬P , R
3. ¬Q , ¬R , P
4. ¬P , ¬Q , S
¬P ¬Q , ¬R , P
5. Q
6. R
7. ¬S
¬Q , ¬R R
8. ¬P , ¬Q .7e4
9. ¬P .8e5
10. ¬Q , ¬R .9e3
¬Q
11. ¬Q . 10 e 6
12. . 11 e 5
19