lógica proposicional: equivalência, regras de dedução · 2019. 4. 15. · regras de...
TRANSCRIPT
![Page 1: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/1.jpg)
Lógicaproposicional:Equivalência,regrasdededução
![Page 2: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/2.jpg)
Agenda
● Exercício da aula passada ○ Representação de Conhecimento com Lógica Proposicional
● Regras de Inferência ● Regras de equivalência ● Exercícios
![Page 3: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/3.jpg)
Observações sobre representação
● PàQ, P |-- Q ● PàQ, P Q
![Page 4: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/4.jpg)
Regras de equivalência
Dizemos que uma fórmula α
é semanticamente equivalente a fórmula β,
denotado α ≡ β,
se e somente se α ↔ β for uma tautologia.
![Page 5: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/5.jpg)
Regras de equivalência
Sentenças que apresentam o mesmo valor verdade em todos os cenários/interpretações
![Page 6: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/6.jpg)
Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam que em uma proposição envolvendo só conjunções ou disjunções podemos dispensar o uso de parênteses.
● E01 α ∧ α ≡ α (Idempotência da conjunção). ● E02 α ∨ α ≡ α (Idempotência da disjunção). ● E03 α ∧ β ≡ β ∧ α (Comutativa da conjunção). ● E04 α ∨ β ≡ β ∨ α (Comutativa da disjunção).
![Page 7: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/7.jpg)
Regras de equivalência Exemplos: P ^P ( A gente vive falando isso….)
![Page 8: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/8.jpg)
Regras de equivalência A dupla implicação também possui propriedades comutativa e associativa.
● E13 α ↔ β ≡ (α → β) ∧ (β → α)
Joao é considerado advogado só se tiver a carteira da OAB.
![Page 9: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/9.jpg)
Regras de equivalência A implicação NÃO é comutativa (vide a propriedade contrapositiva)
● α → β NÃO é equivalente a β → α
![Page 10: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/10.jpg)
Regras de equivalência A implicação NÃO é associativa (vide propriedade da implicação)
● (α → β) → γ NÃO é equivalente a α → (β → γ)
● Se dirigir embriagado perdesse a carteira então o mundo ficaria seguro.
● Se dirigir embriagado então perder a carteira deixará o mundo mais seguro
Todos não necessariamente os bebados
![Page 11: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/11.jpg)
As leis de De Morgan descrevem como a negação é distribuída sobre a conjunção e sobre a disjunção
● ¬(α ∧ β) ≡ ¬α ∨ ¬β (DeMorgan da conjunção).
● ¬(α ∨ β) ≡ ¬α ∧ ¬β (DeMorgan da disjunção).
![Page 12: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/12.jpg)
Regras de equivalência
● α, β |-- α (Simplificação)
● α |-- α ∨ β (Adição)
● α, α → β |-- β (Modus ponens-à Base da inferência lógica)
● ¬β,α → β |-- ¬α (Modus Tollensà prova por indireção)
● α → β,β → γ |-- α → γ (Silogismo hipotético)
![Page 13: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/13.jpg)
Equivalências Notáveis
![Page 14: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/14.jpg)
Axiomas (tautologias)
A01 P |- P Axioma da identidade.
A02 (α → (β ∧ ¬β)) |- ¬α Axioma da não-contradição.
(¬(β ∧ ¬β)) |- True Axioma da não-contradição
A03 (α → β) ∧ (¬α → β) |- β Axioma do terceiro excluído.
![Page 15: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/15.jpg)
Axiomas adicionais (sempre verdadeiros)
A04 (α → (β → α)) |-- True (tautologia)
A05 ((α → (β → γ)) → ((α → β) → (α → γ))) |-- True (tautologia)
A06 ((¬β → ¬α) → ((¬β → α) → β)) |-- True (tautologia)
![Page 16: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/16.jpg)
Exemplo
![Page 17: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/17.jpg)
Exemplo
![Page 18: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/18.jpg)
Exemplo
![Page 19: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/19.jpg)
Exemplo
![Page 20: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/20.jpg)
Exemplo
![Page 21: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/21.jpg)
Resumo do raciocínio
![Page 22: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/22.jpg)
Exercicios
![Page 23: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/23.jpg)
![Page 24: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/24.jpg)
![Page 25: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/25.jpg)
![Page 26: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/26.jpg)
![Page 27: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/27.jpg)
![Page 28: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/28.jpg)
![Page 29: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/29.jpg)
![Page 30: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/30.jpg)
![Page 31: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/31.jpg)
![Page 32: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/32.jpg)
![Page 33: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/33.jpg)
![Page 34: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/34.jpg)
![Page 35: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/35.jpg)
![Page 36: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/36.jpg)
![Page 37: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/37.jpg)
![Page 38: Lógica proposicional: Equivalência, regras de dedução · 2019. 4. 15. · Regras de equivalência As propriedades comutativas e associativas da conjunção e da disjunção significam](https://reader033.vdocuments.net/reader033/viewer/2022060704/60707d0c69ba3b7b064697fe/html5/thumbnails/38.jpg)