LÓGICA APLICADA A COMPUTAÇÃO - Aquiles...
Transcript of LÓGICA APLICADA A COMPUTAÇÃO - Aquiles...
![Page 1: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/1.jpg)
LÓGICA APLICADA A COMPUTAÇÃO
Aquiles Burlamaqui2009.3
![Page 2: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/2.jpg)
Ementa
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Unidade 2
Lógica de Predicados: Linguagem e Semântica
Tradução do português para a Lógica
Quantificadores e Tipos
Quantificadores como Conjunções e Disjunções Infinitas
Linguagem de Primeira Ordem
Verdade
A Teoria Formal da Lógica de Predicados
Teoria Formal do Calculo de Predicados
Teorema da Dedução
Computação na Lógica de Predicados
Resolução
Resultados de Completude
![Page 3: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/3.jpg)
A teoria Formal da Lógica de
Predicados
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Teoria Formal do Cálculo de Predicados
Teorema da Dedução
Exercícios
![Page 4: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/4.jpg)
Teoria Formal do Cálculo de
Predicados
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Simplificação: Uso de , e .
![Page 5: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/5.jpg)
Teoria Formal do Cálculo de
Predicados
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Lógica proposicional como um subconjunto da de
predicados
Mesmos axiomas e regras existentes do cálculo
proposicional.
Adicionas novos axiomas e regras que incluam o
quantificador universal.
![Page 6: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/6.jpg)
Teoria Formal do Cálculo de
Predicados
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Linguagem formal de 1º ordem reduzida.
{ negação, implica e quant. Universal}
Axiomas
A1, A2, A3, A4, A5
Regras de inferência
Modus Ponens
Generalização Universal
![Page 7: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/7.jpg)
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
![Page 8: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/8.jpg)
Teoria Formal do Cálculo de
Predicados
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
“Todos os Homens são Mortais. Sócrates é homem.
Logo Sócrates é mortal”
1) x(H(x)->M(x)) hip.
2) x(H(x)->M(x))->(H(s)->M(s)) A5
3)H(s)->M(s) MP 1,2
4) H(s) hip.
5)M(s) MP 4,3
![Page 9: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/9.jpg)
Teorema da Dedução
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
A, B ├ C então A ├ BC
Não poderá ser usando sempre.
Devido a Gen.
![Page 10: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/10.jpg)
Teorema da Dedução
Regras para poder utilizar o teorema da dedução.
Conceito de dependência
├
Perguntas
1. tem alguma variável livre ?
2. Gen foi utilizado na prova ?
3. Algumas das variáveis introduzidas pelo Gen é livre em ?
4. Algumas das fbf’s na qual se aplicou Gen depende de ?
5. depende de algumas das fórmulas na qual se aplicou Genintroduzindo variáveis livres de ?
![Page 11: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/11.jpg)
Teorema da Dedução
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
Regras para poder utilizar o teorema da dedução.
Conceito de dependência
![Page 12: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/12.jpg)
Teorema da Dedução
Aulas de Lógica Aplicada a Computação - Aquiles Burlamaqui
![Page 13: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/13.jpg)
Teorema da Dedução
![Page 14: LÓGICA APLICADA A COMPUTAÇÃO - Aquiles Burlamaquiaquilesburlamaqui.wdfiles.com/local--files/logica-aplicada-a... · A teoria Formal da Lógica de Predicados Aulas de Lógica Aplicada](https://reader033.fdocument.pub/reader033/viewer/2022051202/5a77212d7f8b9a0d558db760/html5/thumbnails/14.jpg)
Teorema da Dedução
Exemplos