Baixado 142 vezes
Carregado porHugo Souza
Introdução à Lógica de Predicados
- O documento apresenta uma aula introdutória sobre Lógica de Predicados, incluindo seus objetivos, conceitos básicos, sintaxe e semântica. É apresentado o alfabeto, como formar fórmulas e exemplos de tradução para a linguagem lógica.
Mais conteúdo relacionado
Semelhante a Introdução à Lógica de Predicados
Introdução à Lógica de Predicados
- 1. LÓGICA MATEMÁTICA CURSO:Sistemas de Informação 1º PERÍODO CENTRO UNIVERSITÁRIO – CESMAC FACULDADE DE CIÊNCIAS EXATAS E TECNOLÓGICAS - FACET
- 2. Objetivo da Aula •A aula de hoje tem como objetivo uma introdução sobre a Lógica de Predicados •Assim, uma introdução sobre a linguagem da Lógica de Predicados LÓGICA MATEMÁTICA 2
- 3. Sumário •Introdução •Conceito •Alfabeto •Fórmulas LÓGICA MATEMÁTICA 3
- 4. Conteúdo Programático •LógicaProposicional: –Sintaxe –Semântica –Propriedades Semânticas –Método para determinação da validade de fórmulas •Lógica de Predicados: –Sintaxe –Semântica –Propriedades Semânticas –Resolução. LÓGICA MATEMÁTICA 4
- 5. Introdução •O quelhe lembram Predicado? –Uma regra da nossa gramática –Análise Sintática –Sujeito, Verbo, Predicado... •Ao iniciar uma análise simples do sujeito e o verbo. –Ex.: João trabalha Pedro estuda LÓGICA MATEMÁTICA 5
- 6. Introdução •Sujeito -Elemento da oração a respeito do qual damos alguma informação. Seu núcleo (palavra mais importante) pode ser um substantivo, pronome ou palavra substantivada. •Tipos de sujeitos: –Simples –Composto –Oculto, elíptico ou desinencial –Indeterminado –Inexistente ou oração sem sujeito LÓGICA MATEMÁTICA 6
- 7. Introdução •Verbo -é a palavra que exprime um fato (geralmente uma ação, estado ou fenômeno da natureza) e localiza-o no tempo, usados também para ligar o sujeito ao predicado. •Predicado - É tudo aquilo que se informa sobre o sujeito, e é estruturado em torno de um verbo. Ele sempre concorda em número e pessoa com o sujeito. •Há também tipos de predicados, mas não são relevantes para nós. LÓGICA MATEMÁTICA 7
- 8. Introdução •Exemplos: –Joãoé pardo. Sujeito + predicado –Mário e Mauro são irmãos. Sujeito + Conjunção + Sujeito + Predicado –Eu estou feliz. Sujeito + Predicado LÓGICA MATEMÁTICA 8
- 9. Conceito •É maisrica do que a Lógica Proposicional •Além de conter objetos da Proposicional, mais quantificadores, símbolos funcionais e de predicados fazem parte •Comentam ser uma extensão da Lógica Proposicional •Mas, afinal, por que? LÓGICA MATEMÁTICA 9
- 10. Conceito •Também denominadaLógica de Primeira Ordem •Há uma analogia e semelhança mais próxima à realidade da computação •Ainda, na Lógica Proposicional são limitados os quantificadores e objetos LÓGICA MATEMÁTICA 10
- 11. Conceito “Todo alunode Análise de Sistema é nerd. João é aluno de Análise de Sistema. Logo, João é nerd.” “Qualquer um para a lateral direita.” •Existe quantificadores para “todo” e “qualquer”? •São consideradas também funções, predicados e variáveis, de forma análoga ao Cálculo diferencial LÓGICA MATEMÁTICA 11
- 12. Alfabeto •Símbolos depontuação: , •Símbolo de verdade: true ou false •Conjunto enumerável de símbolos para variáveis: x, y, z... •Conjunto enumerável de símbolos para funções: f, g, h •Conjunto enumerável de símbolos para predicados: p, q, r, p2, q2, r2.... LÓGICA MATEMÁTICA 12
- 13. Fórmulas •Muitos doselementos da Lógica proposicional foram incorporados •Existem infinitos símbolos •As fórmulas são formadas por: a)variáveis b)Funções e predicados c)constantes d)conectivos LÓGICA MATEMÁTICA 13
- 14. Fórmulas a) Variáveis •Sintaticamente iguais às constantes •Análogo a linguagens de programação Exemplo: x, y, z b) Funções Semelhante a função em programação, recebe um ou mais argumentos e produz uma resposta, um elemento do domínio como um número ou um objeto. Exemplo: soma(x,y) LÓGICA MATEMÁTICA 14
- 15. Fórmulas Ex.: +(3,4) pai_de(João) Predicados Semelhante a uma função em programação com resposta booleana, a resposta será sempre verdadeiro ou falo. Utilizado para representar relações •Exemplo: irmao(x, y), pai(x,y), vizinho(x,y) LÓGICA MATEMÁTICA 15
- 16. Fórmulas c) Constantes •Dão nomes as coisas particulares •Exemplo: Rubens, Brasília, Arapiraca d) Conectivos LÓGICA MATEMÁTICA 16
- 17. Fórmulas •Como nalógica proposicional, liga-se as sentenças atômicas com os conectivos : e, ou, se...então, não, se e somente. •Com os quantificadores e variáveis se aplica o mesmo princípio •Na tradução: João gosta de Maria e ela o adora. gosta(João, Maria) ^ adora(Maria, João). LÓGICA MATEMÁTICA 17
- 18. Fórmulas •O tratamentode pronomes é muito relevante na formação das fórmulas •“algo”, “todo mundo”, “nada”, “ele”, “ela”... •Se os pronomes estão ligados por um conectivo trate-os antes do conectivo. LÓGICA MATEMÁTICA 18
- 19. Fórmulas •Simbolização –x,y, z, ... Minúsculas para os sujeitos –P, Q, R, ... Maiúsculas para os predicados –Ex.: João é professor a = João P = professor Pa LÓGICA MATEMÁTICA 19
- 20. Fórmulas –Ex. 2: –Existem sábios ∃x .sábios(x) -Todos os homens são sábios ∀x = Todos os ∀x.homens(x). Sx.sábios(x) LÓGICA MATEMÁTICA 20
- 21. Fórmulas ∀ -“para qualquer”, “qualquer um”, “para cada”, “cada objeto”, “tudo”, “qualquer coisa”,... ∃ - “para algum”, “alguns”, “há pelo menos um”, “algum objeto”, “alguma coisa”.... LÓGICA MATEMÁTICA 21
- 22. Fórmulas –Ex.: Hápelo menos um objeto humano e sábio ∃x.(humano(x) ^ sábio(x)) *Como regra geral, pode-se dizer que ∀ se faz acompanhado de -> ∃ se faz acompanhado de . •Por que isso? LÓGICA MATEMÁTICA 22
- 23. Fórmulas •Todos oshomens são sábios •Consequência: –Dado um objeto qualquer, se é humano, é sábio –Dado um x qualquer do universo, se x é homem, x é sábio –Dado um x qualquer do universo, x homem -> x sábio ∀x(Hx -> Sx) LÓGICA MATEMÁTICA 23
- 24. Fórmulas •Exemplos –Osastronautas são bem treinados. ∀x(Ax -> Tx) –Alguns senhores são ingênuos ou mal assessorados ∀x(Ix v Mx) LÓGICA MATEMÁTICA 24
- 25. Exercícios •Traduza asfrases para a fórmula de lógica de predicados. a)Todo professor é funcionário b)Alguns alunos são funcionários c)Se alguém matou Maria, este alguém também matou João d)Todo número primo maior do que 2 é ímpar LÓGICA MATEMÁTICA 25
- 26. E na próximaaula... •Continuaremos os conceitos básicos de lógica... LÓGICA MATEMÁTICA 26
- 27. E por hoje... LÓGICA MATEMÁTICA 27 •Obrigado! •Até a próxima aula! •Não esqueçam de assinar a lista de presença!