Lógica de Predicados
|
|
- Anderson de Santarém Gusmão
- 7 Há anos
- Visualizações:
Transcrição
1 Lógica de Predicados Slides da disciplina Lógica para Computação ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. entre 2007 e Alterações feitas em 2009 pelo Prof. Adolfo Neto (adolfo@utfpr.edu.br) Versão original disponível em
2 Lógica de Predicados A Lógica de Predicados (ou lógica de 1ª ordem) é uma extensão da lógica proposicional que aumenta sua expressividade, permitindo que se façam afirmações sobre propriedades ou predicados inerentes a conjuntos de elementos individuais; Tipicamente as fórmulas envolvem os quantificadores para todo ( ) e existe ( ); Uma fórmula típica é: x(homem(x) mortal(x)). Obs.: para representar o mesmo em Lógica Proposicional seria necessário utilizar uma fórmula para cada indivíduo, por exemplo: (homem_joão mortal_joão), (homem_josé mortal_josé), etc. 16/09/09 Prof. Celso A A Kaestner 2
3 Mais exemplos de Fórmulas com Predicados Predicados unários: brasileiro(joão) Predicados binários: maior(3,4) matou(joão,maria) Predicados ternários: deu(maria,livro,joão)
4 Gottlob Frege
5 Lógica Predicativa A linguagem (sintaxe) da Lógica Predicativa L PRED é mais complexa que a da Lógica Proposicional; Para a definição de L PRED necessita-se de: Conjuntos de predicados: R i = { r i, 1 ri,... 2 ri n,...} onde o sobrescrito i indica a aridade do predicado (o seu nº de argumentos); Um conjunto de constantes: C = {c 1,c 2,...}; Conjuntos de funções: F i = { f i 1, fi 2,... fi n,...} onde o sobrescrito i também indica a aridade da função; Um conjunto de variáveis: V = {x 1,x 2,...}. 16/09/09 Prof. Celso A A Kaestner 5
6 Exemplos Predicados: R 1 ={homem 1,mortal 1,brasileiro 1,...} R 2 ={maior 2,matou 2,...} R 3 ={deu 3,...}... Constantes: C={maria,joão,livro,3,4,...}
7 Funções +(3,4) pai_de(joão) divisao(5.5,3.2) salario(joão)
8 Lógica de Predicados Para definir o que são fórmulas bemformadas na Lógica de Predicados precisaremos definir dois conceitos: Assinatura e Termos O conjunto de fórmulas bem-formadas será relativo a uma assinatura.
9 Lógica Predicativa Uma assinatura de L PRED é a uma tupla do tipo Σ = [R 1,R 2,..., R M,C,V,F 1,F 2,...,F N ] onde M e N são números naturais conhecidos. O conjunto dos termos de L PRED recursivamente por: Se x V então x T(Σ); Se c C então c T(Σ); é T(Σ) definido Se f F j e se t 1,...t j T(Σ) então f(t 1,...t j ) T(Σ). 16/09/09 Prof. Celso A A Kaestner 9
10 Lógica Predicativa O conjunto das fórmulas bem formadas (fbf) de L PRED é Fbf(Σ) definido recursivamente como sendo o menor conjunto que atenda ao seguinte: Se t 1,...t j T(Σ) e se r j R j então r j (t 1,...t j ) Fbf(Σ); Se t 1, t 2 T(Σ) então t 1 = t 2 Fbf(Σ); Estas fbf são chamadas de fórmulas atômicas; Se ϕ, ψ Fbf(Σ) então ϕ, ϕ ψ, ϕ ψ, ϕ ψ Fbf(Σ); Se ϕ Fbf(Σ) e se x V então x(ϕ) e x(ϕ) Fbf(Σ). 16/09/09 Prof. Celso A A Kaestner 10
11 Exemplos Assinaturas Termos Fórmulas bem-formadas Σ=[R 1 ={filho_unico},r 2 ={pai},c={joao,jose,1,...,120},v= {x,y},f 1 ={idade},f 2 ={soma}]
12 Representação de Conhecimento Representar frases em língua natural como fórmulas em lógica de predicados Há um conjunto de regras que podem ser utilizadas na tradução
13 Exercícios Resolvidos Escreva fórmulas para representar as frases abaixo: A média de a e b é igual a c Igual(media(a,b),c) - para lógicas sem igualdade media(a,b)=c Todo professor é funcionário x.(professor(x) Funcionario(x)) Alguns alunos são funcionários x.(aluno(x) Funcionario(x)) Se alguém matou Maria, este alguém também matou João x.(matou(x,maria) Matou(x,João)) Todo número primo maior do que 2 é ímpar x.( (Primo(x) Maior_que(x,2)) Impar(x) )
14 Exercícios Resolvidos Escreva fórmulas para representar as frases abaixo: A média de quaisquer dois números é maior ou igual do que um dos dois x y. ( Maior_igual(media(x,y),x) Maior_igual(media(x,y),y) ) Não é verdade que a soma de dois números pares seja um número ímpar!( x y.[ (Par(x) Par(y)) Impar(soma(x,y)) ]) Se um número é par, ele não é ímpar x.( Par(x) (!(Impar(x)) ) )
15 Exercícios Escreva fórmulas para representar as frases abaixo: O resultado da multiplicação de a por b é c Alguns políticos são ladrões Todo múltiplo de 4 é múltiplo de 2 A média de quaisquer três números é maior ou igual do que um dos três Se um número é divisível por outro, não igual a zero, então dizemos que ele é múltiplo desse outro Se uma pessoa é pai de outra que tem um filho, então aquela pessoa é avô deste último
16 LP Monádicos vs. LP Poliádicos Lógica de Predicados Monádicos: apenas predicados unários. Limitada A satisfazibilidade é decidível Lógica de Predicados Poliádicos Sem limite na aridade dos predicados A satisfazibilidade é indecidível
17 Fim da Primeira Parte Ver exercícios resolvidos de representação de conhecimento
18 Lógica Predicativa O conjunto das variáveis livres V LIVRES (ϕ) em uma fórmula ϕ é definido por: Se ϕ = r j (t 1,...t j ) com r j R j e os t i T(Σ) então todas as variáveis em ϕ pertencem a V LIVRES (ϕ); Se ϕ = (t 1 =t 2 ) com os t i T(Σ) então todas as variáveis em ϕ pertencem a V LIVRES (ϕ); Se ϕ= ψ então V LIVRES (ϕ)= V LIVRES (ψ); Se ϕ= ξ ψ, ξ ψ, ou ξ ψ então V LIVRES (ϕ)= V LIVRES (ξ) V LIVRES (ψ); Se ϕ= x(ψ) ou x(ψ) então V LIVRES (ϕ)= V LIVRES (ψ) {x}. Exemplo: Se ϕ = x (r(x) q(y) z (s(z,y))) então V LIVRES (ϕ) = { y }. 16/09/09 Prof. Celso A A Kaestner 18
19 Exemplos
20 Lógica Predicativa Uma fórmula ϕ tal que V LIVRES (ϕ) = φ (sem variáveis livres) é denominada uma sentença. Uma subfórmula de uma fórmula ϕ é uma subseqüência dos símbolos de ϕ que também pertence a Fbf(Σ). Exemplo: se ϕ = x (r(x) q(y) z (s(z,y))) então r(x) q(y) z (s(z,y)), r(x) q(y), z (s(z,y)), r(x) e q(y) são subfórmulas de ϕ. 16/09/09 Prof. Celso A A Kaestner 20
21 Exemplos: Lógica Predicativa 16/09/09 Prof. Celso A A Kaestner 21
22 Lógica Predicativa A semântica da Lógica Predicativa é definida sobre um par A(Σ)=[A, v A(Σ) ] denominado sistema algébrico da assinatura Σ, tal que: A é um conjunto denominado domínio (ou portador) do sistema algébrico; v A(Σ) é uma interpretação, que mapeia os elementos dos conjuntos em Σ em relações sobre A (para os predicados), em funções sobre A (para as funções) e em elementos de A (para as constantes). 16/09/09 Prof. Celso A A Kaestner 22
23 Lógica Predicativa Desta forma para uma interpretação v A(Σ) tem-se: Se r j R j então v A(Σ) (r j ) A j = A A... A (j vezes); Se f F j então existe uma função v A(Σ) (f j ): A j A; Se c C então v A(Σ) (c) A; Para um conjunto de variáveis X V existe ainda uma função γ : X A denominada interpretação das variáveis X em A. 16/09/09 Prof. Celso A A Kaestner 23
24 Lógica Predicativa O valor de um termo t T (Σ) em um sistema algébrico A(Σ) e para uma interpretação de variáveis γ é definido indutivamente por: Se t = x X então t A(Σ) [γ ] = γ (x); Se t = c C então t A(Σ) [γ ] = v A(Σ) (c); Se f F j, t 1,..., t j são termos e t=f(t 1,..., t j ) então t A(Σ) [γ ]= v A(Σ) (f j )(t 1 A(Σ) [γ ],..., t j A(Σ) [γ ]). 16/09/09 Prof. Celso A A Kaestner 24
25 Lógica Predicativa Finalmente é possível se definir quando uma fórmula ϕ é verdadeira para um sistema algébrico A(Σ) e uma interpretação de variáveis γ ; Denota-se por A(Σ) = ϕ[γ ]; Se ϕ = r j (t 1,...t j ) Fbf(Σ) então A(Σ) = ϕ[γ ] é equivalente a [t 1 A(Σ) [γ ],..., t j A(Σ) [γ ]] v A(Σ) (r j ); Se ϕ = (t 1 =t 2 ) com t 1, t 2 T(Σ) então A(Σ) = ϕ[γ ] é equivalente a t 1 A(Σ) [γ ] = t 2 A(Σ) [γ ]; Se ϕ= ψ e ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se não for verdade que A(Σ) = ψ [γ ]; 16/09/09 Prof. Celso A A Kaestner 25
26 Lógica Predicativa Se ϕ = ξ ψ, com ξ, ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se A(Σ) = ξ[γ ] e A(Σ) = ψ[γ ]; Se ϕ = ξ ψ, com ξ, ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se A(Σ) = ξ[γ ] ou A(Σ) = ψ[γ ]; Se ϕ = ξ ψ, com ξ, ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se quando A(Σ) = ψ[γ ] necessariamente também ocorre A(Σ) = ξ[γ ]; Se ϕ = x(ψ) com ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se existir pelo menos uma interpretação de variáveis γ : X A que, restrita às variáveis de ϕ, seja tal que A(Σ) = ϕ[γ ]; Se ϕ = x(ψ) com ψ Fbf(Σ) então A(Σ) = ϕ[γ ] se e somente se para todas as interpretações de variáveis γ : X A, quando restritas às variáveis de ϕ, sejam tais que A(Σ) = ϕ[γ ]. 16/09/09 Prof. Celso A A Kaestner 26
27 Exemplos: Lógica Predicativa 16/09/09 Prof. Celso A A Kaestner 27
28 Lógica Predicativa Uma teoria Γ em L PRED é um conjunto de sentenças; Um sistema algébrico A(Σ) é um modelo para uma teoria Γ se A(Σ) = ϕ para toda ϕ Γ; Se Γ tiver ao menos um modelo diz-se que Γ é satisfazível; Se Γ não tiver modelos é dita insatisfazível. 16/09/09 Prof. Celso A A Kaestner 28
29 Substituição de variáveis: Lógica Predicativa Seja ϕ uma fórmula, x V LIVRES (ϕ) uma variável livre em ϕ e t T(Σ) um termo; Neste caso a variável x pode ser substituída pelo termo t em ϕ, gerando uma nova fórmula ϕ[x:=t]; Exemplo: se ϕ = x(r(x) s(x,y)), y V LIVRES (ϕ) e t=f(a,z) então ϕ[y:=f(a,z)] = x(r(x) s(x,f(a,z))). 16/09/09 Prof. Celso A A Kaestner 29
30 Lógica Predicativa Intuitivamente uma substituição gera um caso particular de uma fórmula; As substituições só podem ser feitas sobre as variáveis livres de ϕ, e de forma a não introduzir restrições na fórmula gerada que já não estivessem presentes na fórmula original; Várias substituições podem ser feitas simultaneamente, desde que não introduzam restrições. Exemplo: Se então ϕ = x(r(x) s(x,y) r(z)) y, z V LIVRES (ϕ) e t 1 =f(a,w), t 2 =b ϕ[y:=f(a,w), z:=b]= x(r(x) s(x,f(a,z)) r(b))) 16/09/09 Prof. Celso A A Kaestner 30
31 Lógica Predicativa Sistemas Dedutivos em Lógica Predicativa: 1. Método axiomático: ver item 4.5 pg. 128; 2. Dedução natural: ver item 4.4 pg. 122, e também a ferramenta JAPE; 3. Método dos tableaux analíticos: ver item 5.6 pg /09/09 Prof. Celso A A Kaestner 31
32 Lógica Predicativa Exemplo do método dos tableaux analíticos: 1. x(r(x) s(x)) - x r(x) x s(x) 2. T x(r(x) s(x)) de 1 3. F x r(x) x s(x) de 1 4. T x r(x) de 3 5. F x s(x) de 3 6. F s(a) de 5 7. T r(a) de 4 8. T r(a) s(a) de 2 1. F r(a) T s(a) de 8 X (7,9) X (6,9) 16/09/09 Prof. Celso A A Kaestner 32
Lógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br A (ou lógica de 1ª ordem) é uma extensão da lógica proposicional que aumenta sua expressividade,
Leia maisLógica Proposicional
Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 1 Lógica de primeira ordem Linguagens da lógica de primeira ordem Termos Fórmulas Semântica de Lógica de primeira ordem Lógica de primeira ordem Na lógica proposicional não é possível representar
Leia mais0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida.
Lic. Ciências da Computação Exercícios - Folha 1 0. Definições indutivas 0.1 Seja S o subconjunto de P(N) definido indutivamente pelas 3 regras apresentadas de seguida. (1) {1} S (2) X S X \ {1} S (3)
Leia maisTodos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Linguagem informal x linguagem formal; Linguagem proposicional: envolve proposições e conectivos,
Leia mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Leia maisLógica Computacional (CC2003)
Lógica Computacional (CC2003) Nelma Moreira Lógica Computacional 21 Conteúdo 1 Mais Teorias (decidíveis) 1 1.1 Resolução para a lógica proposicional................ 4 1.2 Cláusulas...............................
Leia maisAndamento da apresentação
Andamento da apresentação 1 Discussão informal Linguagem formal Abreviaturas Exemplos de linguagens de primeira ordem Variáveis livres e ligadas; substituição de variáveis Teoremas de unicidade de representação
Leia maisIntrodução à Lógica de Predicados
Introdução à Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 10 de dezembro de 2012 Motivação (I) Considere
Leia maisProf. Cesar Augusto Tacla
PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE 1A. ORDEM Prof. Cesar Augusto Tacla UTFPR/Campus Curitiba 1 TÓPICOS Compromissos ontológicos e epistemológicos
Leia maisQuantificadores, Predicados e Validade
Quantificadores, Predicados e Validade Quantificadores e Predicados Fbfs proposicionais tem uma possibilidade limitada de expressão. Exemplo: Para todo x, x > 0 Ela não pode ser simbolizada adequadamente
Leia maisDepartamento de Matemática Universidade do Minho, Braga 2009 /2010. Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p.
Cálculo de Predicados de Primeira-Ordem da Lógica Clássica Lógica CC Departamento de Matemática Universidade do Minho, Braga 2009 /2010 Cálculo de Predicados de Primeira-Ordem da Lógica Clássica p. 1/7
Leia maisLógica Computacional
Lógica Computacional Frases Quantificadas Quantificadores e Variáveis Fórmulas Bem Formadas: Sintaxe e Semântica Formas Aristotélicas 21 Outubro 2013 Lógica Computacional 1 Frases Quantificadas - Existem
Leia maisO sucessor de um inteiro par é ímpar (1) (2) 2 é um inteiro par Alguns mamíferos são ferozes
62 Parte 2 LÓGICA de PREDICADOS A lógica de predicados de primeira ordem é uma extensão da logica proposicional para uma linguagem mais rica, portanto de maior poder de expressão Argumentos como Todos
Leia maisLógica Computacional
Aula Teórica 15: António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade Engenharia, LISP
Leia maisCapítulo 3 Lógica de Primeira Ordem
Capítulo 3 Lógica de Primeira Ordem Lógica para Programação LEIC - Tagus Park 1 o Semestre, Ano Lectivo 2007/08 c Inês Lynce and Luísa Coheur Bibliografia Martins J.P., Lógica para Programação, Capítulo
Leia maisINF1009.3WB: Lógica para computação
INF1009.3WB: Lógica para computação Aula 13: A sintaxe da lógica de primeira ordem (cont.) Cecília Englander Guilherme F. Lima Edward Hermann Lab. TecMF, Dep. Informática, PUC-Rio 2017.2 INF1009.3WB: Lógica
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto
Leia maisSCC Capítulo 2 Lógica de Predicados
SCC-630 - Capítulo 2 Lógica de Predicados João Luís Garcia Rosa 1 1 Departamento de Ciências de Computação Instituto de Ciências Matemáticas e de Computação Universidade de São Paulo - São Carlos http://www.icmc.usp.br/~joaoluis
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisProgramação em Lógica. UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010
Programação em Lógica UCPEL/CPOLI/BCC Lógica para Ciência da Computação Luiz A M Palazzo Maio de 2010 Roteiro Introdução Conceitos Básicos Linguagens Lógicas Semântica de Modelos Semântica de Prova Programação
Leia maisA linguagem da Lógica de Predicados. (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
A linguagem da Lógica de Predicados (Capítulo 8) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Contextualização 2. Definições 3. Exemplos 4. Lista 3 O que não é
Leia maisNelma Moreira. Aula 17
Lógica e Programação Nelma Moreira Aula 17 Conteúdo 1 Programação em Lógica 1 1.1 Resolução para a lógica proposicional................ 1 1.2 Cláusulas............................... 3 1.3 Conversão para
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisAula 2, 2014/2 Sintaxe da Lógica dos Conectivos
Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe
Leia maisLógica e Programação - Folha de trabalho n. 3
Lógica de 1 ā ordem Linguagens, termos, fórmulas e semântica 1 Seja L uma linguagem de 1 ā ordem com igualdade e tal que F 0 = {a, b}, F 1 = {g}, F 2 = {f, h}, R 1 = {R, S} e R 2 = {P, Q}. i. O comprimento
Leia maisanti-simétrica, com elemento mínimo e tal que, dados n, n, n N, se
1 Sistema dedutivo T 1.1 Árvores e árvores etiquetadas Informalmente, uma árvore é uma estrutura constituída por um conjunto de elementos, designados nós, ordenados de um modo particular. Quando se faz
Leia maisAula 12: Lógica de Predicados
Lógica para Computação Primeiro Semestre, 2015 Aula 12: Lógica de Predicados DAINF-UTFPR Prof. Ricardo Dutra da Silva Vamos estender a lógica proposicional para torná-la mais expressiva. Na lógica proposicional,
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional Departamento de Informática 17 de Fevereiro de 2011 Descrição informal Lógica proposicional Objecto Ocupa-se do estudo do comportamento dos conectivos lógicos (negação,
Leia maisIME, UFF 3 de junho de 2014
Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação
Leia maisExercícios de Teoria da Computação Lógica de 1a. ordem
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação - LERCI Exercícios de Teoria da Computação Lógica de 1a. ordem Secção Ciência
Leia mais1 a Lista de Exercícios Matemática Discreta
1 a Lista de Exercícios Matemática Discreta Exercício 1. Faça a tabela verdade para as fórmulas a seguir: a) P Q. b) (S G) ( S G). c) [P (Q P )]. d) (P Q) ( P R). Exercício 2. Com o uso de símbolos predicados
Leia maisLógica de primeira ordem
Capítulo 1 Lógica de primeira ordem 1.1 Introdução Este capítulo é dedicada à lógica de primeira ordem. Em primeiro lugar são apresentados os aspectos sintácticos e semânticos da lógica de primeira ordem
Leia maisprinting problem: dado um programa e um valor arbitrários, o problema de determinar se sim ou não se vai obter como output do programa esse valor;
1 Introdução 1 No texto que se segue vão ser apresentados resultados sobre não decidibilidade de alguns predicados (sobre os naturais). Para certos predicados vai ser apresentada uma prova de que não é
Leia maisA Lógica de Primeira Ordem
Capítulo 10 A Lógica de Primeira Ordem A Lógica de Primeira Ordem: A necessidade de uma linguagem mais expressiva O cálculo proposicional possui limitações com respeito a codificação de sentenças declarativas.
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisIME, UFF 7 de novembro de 2013
em Lógica de IME, UFF 7 de novembro de 2013 Sumário em... em Sintaxe da A lógica que estamos definindo é uma extensão de LS e é chamada de Lógica de Ordem,, por uma razão que será esclarecida mais adiante.
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Equivalências lógicas (Rosen 39) Negando expressões com quantificadores
Leia maisProf. Cesar Augusto Tacla
PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ REPRESENTAÇÃO DE CONHECIMENTOS PARTE 3: LÓGICA DE 1A. ORDEM Prof. Cesar Augusto Tacla UTFPR/Campus Curitiba 1 TÓPICOS Compromissos ontológicos/epistemológicos
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisLista de exercícios de MAT056
Lista de exercícios de MAT056 Livro-texto (principal): Ebbinghaus, H. D., Flum, J., Thomas, W., Mathematical Logic. (Undergraduate Texts in Mathematics) Editora Springer. 2th Edition. 1 Introdução Exercício
Leia maisLógica para computação - Linguagem da Lógica de Predicados
DAINF - Departamento de Informática Lógica para computação - Linguagem da Lógica de Predicados Prof. Alex Kutzke ( http://alex.kutzke.com.br/courses ) 13 de Outubro de 2015 Razões para uma nova linguagem
Leia maisAXIOMATIZAÇÃO Equipe:
AXIOMATIZAÇÃO Equipe: André Augusto Kaviatkovski, Daniel Elias Ferreira, Vinicius Zaramella Curso: Engenharia de Computação Disciplina: Lógica para Computação Professor: Adolfo Neto (DAINF) Universidade
Leia maisO sucessor de um inteiro par é ímpar (1) (2) 2 é um inteiro par Alguns mamíferos são ferozes
62 Parte 2. LÓGICA de PREDICADOS A lógica de predicados de primeira ordem é uma extensão da logica proposicional para uma linguagem mais rica, portanto de maior poder de expressão. Argumentos como Todos
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisAula 2: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 Aula 2: Linguagem Proposicional DAINF-UTFPR Prof. Ricardo Dutra da Silva Linguagens naturais, como o nosso Português, podem expressar ideias ambíguas ou imprecisas.
Leia maisLógica Computacional
Aula Teórica 2: Sintaxe da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
Leia maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
Leia maisTeoria da Computação. Exercícios. 1 Máquinas de Registos Ilimitados 2013/2014
Teoria da Computação 2013/2014 Exercícios 1 Máquinas de Registos Ilimitados 1. Construa programas URM sem módulos que calculem as seguintes funções (a) quatro(x) = 4 (b) sg(x) retorna 0 se x > 0, 1 no
Leia maisAula 3: Linguagem Proposicional
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 3: Linguagem Proposicional Prof. Ricardo Dutra da Silva 3.1 Semântica A semântica da lógica proposicional consiste em associar um significado
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Exercícios Use lógica proposicional para provar os seguintes argumentos: a) A B C B A C b) A B C B C A c) A B B A C C Exercícios Use lógica
Leia maisO sucessor de um inteiro par é ímpar (1) (2) 2 é um inteiro par Alguns mamíferos são ferozes
62 Parte 2. LÓGICA de PREDICADOS A lógica de predicados de primeira ordem é uma extensão da logica proposicional para uma linguagem mais rica, portanto de maior poder de expressão. Argumentos como Todos
Leia maisLógica dos Quantificadores: sintaxe
Lógica dos Quantificadores: sintaxe Renata de Freitas e Petrucio Viana IME, UFF 18 de junho de 2015 Sumário 1. Princípios sintáticos 2. Alfabeto de LQ 3. Fórmulas de LQ 4. Variáveis livres, variáveis ligadas
Leia maisInteligência Artificial IA II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO
Inteligência Artificial IA Prof. João Luís Garcia Rosa II. LÓGICA DE PREDICADOS PARA REPRESENTAÇÃO DO CONHECIMENTO 2004 Representação do conhecimento Para representar o conhecimento do mundo que um sistema
Leia maisMÓDULO II - PARTE II LÓGICA DOS PREDICADOS
MÓDULO II - PARTE II LÓGICA DOS PREDICADOS Quantificadores Professora Dr. a Donizete Ritter 26 de julho de 2017 Ritter, D. (UNEMAT/DEAD/SI) LÓGICA 26 de julho de 2017 1 / 18 Sumário 1 INTRODUÇÃO 2 TIPOS
Leia maisLyneker Amorim (T1) Philipe Farias Rafael Mota Yure Bonifacio
Lyneker Amorim (T1) Philipe Farias Rafael Mota Yure Bonifacio A teoria de Herbrand foi criada por Jacques Herbrand (1908-1931), um matemático francês. Ela constata que um conjunto de -sentenças Φ é insatisfazível
Leia maisCapítulo 8 Lógica de primeira Ordem
Capítulo 8 Lógica de primeira Ordem Tópicos 1. Contextualização 2. Definições 3. Exemplos 4. Questão desafio! 2 O que não é possível expressar em Lógica Proposicional? Todo tricolor é um campeão. Roberto
Leia mais2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
Leia maisExemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes.
Exemplo 7 1 I p q: Se o time joga bem, então o time ganha o campeonato }{{}}{{} p q p r: Se o time não joga bem, então o técnico é o culpado }{{}}{{} p r q s: Se o time ganha o campeonato então }{{} q
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisFórmulas da lógica proposicional
Fórmulas da lógica proposicional As variáveis proposicionais p, q, são fórmulas (V P rop ) é fórmula (falso) α e β são fórmulas, então são fórmulas (α β), (α β), (α β) e ( α) DCC-FCUP -TAI -Sistemas Dedutivos
Leia maisSemana 2. Primitivas. Conjunto das partes. Produto cartesiano. 1 Teoria ingênua dos conjuntos. 2 Axiomática ZFC de conjuntos. 4 Conjuntos numéricos
Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 Semana 2 1 Teoria ingênua dos conjuntos 2 Axiomática ZFC de conjuntos 3 4 e pertinência Conjunto é entendido como uma coleção de
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados e Quantificadores Estudamos até agora a lógica proposicional Predicados e Quantificadores Estudamos até agora a lógica proposicional A lógica proposicional
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Leia maisLógica Computacional
Aula Teórica 2: da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática, Faculdade
Leia maisDIM Resolução e método tableaux DIM / 37
DIM0436 21. Resolução e método tableaux 20141014 DIM0436 20141014 1 / 37 Sumário 1 Demostração automática de fórmulas 2 Resolução 3 O método tableaux DIM0436 20141014 2 / 37 1 Demostração automática de
Leia maisLógica Proposicional
Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28
Leia mais1 Postulado de Church-Turing 1
1 Postulado de Church-Turing 1 Alguns modelos alternativos no estudo da computabilidade Turing: Máquina de Turing Gödel-Kleene: Funções recursivas Church: Cáluculo λ (funções definidas por termos λ) Post:
Leia maisExercícios de Teoria da Computação Computabilidade
Licenciatura em Engenharia Informática e de Computadores - LEIC Licenciatura em Engenharia de Redes de Comunicação e Informação -LERCI Exercícios de Teoria da Computação Computabilidade Paula Gouveia Secção
Leia maisRACIOCÍNIO LÓGICO. Quantificadores. Prof. Renato Oliveira
RACIOCÍNIO LÓGICO. Prof. Renato Oliveira Os quantificadores são proposições categóricas que transformam sentenças abertas em proposições lógicas, pela quantificação das variáveis. Exemplo: x + 2 > 4 não
Leia maisApostila de Lógica para Computação Segunda unidade: Lógica de Predicados
postila de Lógica para Computação Segunda unidade: Lógica de Predicados Professor: Ruy J Guerra B de Queiroz Transcrito por Ruan Vasconcelos B Carvalho (rvbc) SUMÁRIO 0 INTRODUÇÃO 3 OBJETIVO3 ESTRUTUR
Leia maisCapítulo II Gramáticas
Capítulo II Gramáticas II.1 Motivação O que é uma Gramática? Um sistema gerador de linguagens; Um sistema de reescrita; Uma maneira finita de representar uma linguagem; Um dispositivo formal usado para
Leia maisCálculo de Predicados
Matemática Discreta - Departamento de Matemática - EST-IPV - 2003/2004 - II Cálculo de Predicados 1. Predicados e quantificadores Consideremos as afirmações seguintes: x é par (1) x é tão alto como y (2)
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisLógica dos Quantificadores: sintaxe e semântica intuitiva
Lógica dos Quantificadores: sintaxe e semântica intuitiva quantificação em domínios infinitos Renata de Freitas e Petrucio Viana IME, UFF 5 de novembro de 2014 Sumário Quantificadores sobre domínios infinitos.
Leia mais01/09/2014. Capítulo 1. A linguagem da Lógica Proposicional
Capítulo 1 A linguagem da Lógica Proposicional 1 Introdução O estudo da Lógica é fundamentado em: Especificação de uma linguagem Estudo de métodos que produzam ou verifiquem as fórmulas ou argumentos válidos.
Leia maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)
Leia maisCapítulo II Gramáticas
Capítulo II Gramáticas II.1 Motivação O que é uma Gramática? Um sistema gerador de linguagens; Um sistema de reescrita; Uma maneira finita de representar uma linguagem; Um dispositivo formal usado para
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisLógica proposicional
Lógica proposicional Sintaxe Proposição: afirmação que pode ser verdadeira ou falsa Proposições podem ser expressas como fórmulas Fórmulas são construídas a partir de símbolos: De verdade: true (verdadeiro),
Leia maisOs Fundamentos: Lógica de Predicados
Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Os Fundamentos: Lógica de Predicados Área de Teoria DCC/UFMG - 2019/01
Leia maisMatemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando
Leia maisLógica Computacional
Lógica Computacional Lógica de Operadores Booleanos Interpretações Tautológicas, Lógicas e Analíticas Funcionalidade / Tabelas de Verdade dos Operadores Booleanos Consequências Tautológica, Lógica e Analítica
Leia maisConceitos básicos de algoritmos
Conceitos básicos de algoritmos Operadores Aritméticos Unários: +, - Exemplos: +1-5.9... var a: inteiro... a
Leia maisProf. Cesar Augusto Tacla
PR UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ LÓGICA DE PRIMEIRA ORDEM (LPO) Prof. Cesar Augusto Tacla UTFPR/Campus Curitiba 1 LÓGICA DE PRIMEIRA ORDEM Linguagem possui três elementos principais: Sintaxe:
Leia maisUm Estudo Preliminar sobre Lógicas Modais Rotuladas e Representação do Conhecimento
UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓS-GRADUAÇÃO EM COMPUTAÇÃO Um Estudo Preliminar sobre Lógicas Modais Rotuladas e Representação do Conhecimento por ALINE
Leia maisCopyright 2016, 2013, 2004 by J. L. de Souza Leão. Todos os direitos reservados pelo autor.
Leão, Jorge Lopes de Souza Lógica para computação (Rio de Janeiro) 2004, 2013, 2016 IV, 92 + 39 p, 29,7cm (COPPE/UFRJ) Inclue referências bibliográficas e apêndices. I.COPPE/UFRJ II.Título 1. Lógica 2.
Leia maisCálculo de Predicados. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Cálculo de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Quantificadores Como expressar a proposição Para todo número inteiro x, o valor de x é positivo. usando
Leia maisCapítulo 1 Linguagens, Teorias e Sistemas Formais
Capítulo 1 Linguagens, Teorias e Sistemas Formais 1.1.- Introdução O todo sem a parte não é todo,a parte sem o todo não é parte, mas se a parte o faz todo sendo parte não se diga que é parte sendo todo.
Leia maisUm alfabeto é um conjunto de símbolos indivisíveis de qualquer natureza. Um alfabeto é geralmente denotado pela letra grega Σ.
Linguagens O conceito de linguagem engloba uma variedade de categorias distintas de linguagens: linguagens naturais, linguagens de programação, linguagens matemáticas, etc. Uma definição geral de linguagem
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisDedução Natural LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
Dedução Natural LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Lista Um dos objetivos principais da lógica é o estudo de estruturas
Leia maisPredicados e Quantificadores
Predicados e Quantificadores Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Predicados e Quantificadores junho - 2018 1 / 57 Este material é preparado usando
Leia maisFaculdade de Informática e Tecnologia de Pernambuco. Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias
Faculdade de Informática e Tecnologia de Pernambuco Primeira lista de exercícios de Álgebra Aplicada à Computação Prof. Diego Machado Dias Instruções 1. No início de cada seção da lista há uma sugestão
Leia maisTeoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
Leia maisLógica Proposicional Fórmulas e Precedência de Operadores
Lógica Proposicional Fórmulas e Precedência de Operadores Prof. Marcos A. Schreiner Disciplina de Introdução à Lógica 23 de março de 2015 Prof. Marcos A. Schreiner (UFPR) 23 de março de 2015 1 / 18 1 Introdução
Leia mais