Lógica para Computação
|
|
- Osvaldo Bastos Oliveira
- 6 Há anos
- Visualizações:
Transcrição
1 Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br
2 Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto de fórmulas Γ dado, chamado de teoria, outras fórmulas que sejam consequência lógica de Γ; Quando um SD infere uma fórmula A a partir de Γ escreve-se Γ A; este elemento chama-se sequente, e é constituído do antecedente (ou hipóteses) Γ e do consequente (ou conclusão) A. 2
3 Sistemas Dedutivos Existem vários procedimentos para realizar inferências: 1. Método axiomático; 2. Sistema de dedução natural; 3. Método dos tableaux analíticos;
4 Sistemas Dedutivos Objetiva-se construir Sistemas Dedutivos que sejam: 1. Corretos, isto é, que produzam apenas conclusões que são consequência lógica das hipóteses dadas: se Γ A então Γ A 2. Completos, isto é, que sejam capazes de produzir todas as inferência válidas: se Γ A então Γ A 4
5 Método Axiomático É o SD mais antigo, tendo sido usado desde a apresentação da Geometria Euclidiana; Aqui será tratada apenas o método axiomático para a Lógica Proposicional Clássica; O método possui 2 elementos: 1. Axiomas, constituídos por fbf à quais se atribui um status de verdade básica ; 2. Regras de inferência, que indicam como obter novas fórmulas a partir das fórmulas já inferidas. 5
6 Método Axiomático A substituição de um átomo p por uma fórmula B em uma fórmula A, representada por A[p:=B] é definida por: 1. p[p:=b]=b; 2. q[p:=b]=q, se q p; 3. (A) [p:=b]= (A [p:=b]); 4. (A 1 A 2 ) [p:=b]= (A 1 [p:=b]) (A 2 [p:=b]); 5. (A 1 A 2 ) [p:=b]= (A 1 [p:=b]) (A 2 [p:=b]); e 6. (A 1 A 2 ) [p:=b]= (A 1 [p:=b]) (A 2 [p:=b]). 6
7 Método Axiomático Exemplo de substituição: Substituição de p por (r s) em (p (p q)): (p (p q))[p := (rs)] = (p[p:=(rs)](pq) [p:=(rs)]) = ((rs)(p[p:=(rs)q[p:=(rs))) = ((rs)((rs)q)) Se B é resultante da substituição de um ou mais átomos da fórmula A, diz-se que B é uma instância de A. 7
8 Método Axiomático Axiomas da lógica proposicional clássica: 1. p (q p) 2. (p (q r)) ((p q) (p r)) 3. p (q (p q)) 4. (p q ) p 5. (p q ) q 6. p (p q) 7. q (p q) 8. (p r) ((q r) ((p q) r)) 9. (p q) ((p q) p) 10. p p 8
9 Método Axiomático Regra de inferência (Modus Ponens): a partir de A B e de A infere-se B; Uma dedução é uma sequência de fórmulas A 1, A 2 A n tal que cada fórmula de sequência é: 1. Uma instância de axioma; ou 2. Pode ser deduzida das fórmulas anteriores pela aplicação das regras de inferência. Um teorema é uma fórmula A para a qual existe uma dedução A 1, A 2 A n = A. Neste caso escreve-se A. 9
10 Método Axiomático Exemplo de teorema: 1. (p ((p p) p)) ((p (p p)) (p p)) (instância do ax.2 com p:=p, q:=(pp) e r:= p; 2. (p ((p p) p)) (instância do ax. 1 com p:=p, q:=(pp)) 3. ((p (p p)) (p p)) (modus ponens de 1 e 2) 4. (p (p p)) (instância do ax. 1 com p:=p, q:=p) 5. (pp) (modus ponens de 3 e 4) 10
11 Método Axiomático Exemplo de teorema: 1. (p p) ((q p) (p p)) (instância do ax.1 com p:=(p p) e q:=(qp)) 2. p p (axioma 10) 3. (q p) (p p) (modus ponens de 1 e 2) 4. (q p) (p p) (((q p) (pp)) q) (instância do ax. 6 com p:= (q p) (p p) e q:=q) 5. (((q p) (pp)) q) (modus ponens de 3 e 4) 11
12 Método Axiomático O método axiomático possui a propriedade da substituição uniforme, isto é, se A é um teorema e se B é uma instância de A, então B também é um teorema. (((p q p) (p p)) (p q)) é um teorema, pois esta formula é obtida do teorema (((q p) (p p)) q) pela substituição q:= p q. 12
13 Método Axiomático Diz-se que a fórmula A é dedutível a partir de uma teoria se há uma dedução, ou seja sequência de fórmulas A 1, A 2 A n = A tal que cada fórmula na sequência é: 1. uma fórmula de ; 2. uma instância de um axioma; ou 3. pode ser obtida das fórmulas anteriores por meio das regras de inferência. 13
14 Método Axiomático O Teorema da Dedução: Γ, A B se e somente se Γ A B Exemplos de aplicação: pg. 39 Exercícios: pg
15 Método Axiomático Exemplo de dedução: pq, pr p q r Usando o Teorema da Dedução: pq, pr, p q r 15
16 Método Axiomático 1. pq (hipótese) 2. pr (hipótese) 3. p (hipótese) 4. q (modus ponens de 1 e 3) 5. r (modus ponens de 2 e 3) 6. q(r (q r)) (instância do axioma 3) 7. r (q r) (modus ponens de 4 e 6) 8. (q r) (modus ponens de 5 e 7) 16
17 Dedução Natural Método proposto por Gentzen; Não há axiomas; As inferências são baseadas em regras de inferência em que hipóteses podem ser introduzidas e descartadas para consolidação da prova; Para cada conectivo há uma regra para inserção e para remoção do conectivo. 17
18 Dedução Natural Regras de Inferência: Para a implicação (): A B A [A] i B (E) (I) i B _ A B 18
19 Dedução Natural Para a disjunção (): A (I) _ B (I) [A] i [B] j A B A B (E) i,j A B C C C Para a conjunção (): A B (I) A B (E) _A B _(E) A B A B 19
20 Dedução Natural Para a negação (): A A (I) (E) A [A] i [A] i (I) I (E) i A A O símbolo representa contradição. 20
21 Dedução Natural Exemplos de dedução natural: pgs. 43, 44, 45; Definição formal: pg. 46; Exercícios: pg. 47; Prática com a ferramenta JAPE: rsonal/jape.org/ 21
22 Tableaux Analíticos É um procedimento de decisão: permite determinar a validade de um sequente, ou seja, se B 1,,B n A 1,,A m ou não; Os métodos axiomático e da dedução natural permitem determinar se Γ A, e não se Γ A; observe ainda que Γ A não implica Γ A; O método dos tableaux analíticos é baseado em refutação: para provar Γ A mostra-se que {A} 22
23 Tableaux Analíticos Utiliza fórmulas marcadas pelos símbolos T (true) e F (false), por exemplo T A e F B ; O passo inicial para um sequente B 1,,B n A 1,,A m é a criação do tableau inicial: T B 1 T B n F A 1 F A m 23
24 Tableaux Analíticos Em seguida usam se as regras de expansão e : 1 2 T AB T A T B F AB F A F B F AB T A F B T A F A 24
25 Tableaux Analíticos Em seguida usam se as regras de expansão e : 1 2 F AB F A F B T AB T A T B T AB F A T B F A T A 25
26 Tableaux Analíticos Uma expansão é indicada pela adição de 1 e 2 ao fim dos ramos que contém ; Uma expansão é indicada por uma bifurcação em dois ramos, iniciados por 1 e 2; Um ramo sem mais fórmulas a serem expandidas é dito saturado; Como o processo de expansão reduz o tamanho das fórmulas, o processo de expansão sempre termina; 26
27 Tableaux Analíticos Um ramo é fechado se contém um par de fórmulas conjugadas TA e FA; Um ramo fechado não precisa mais ser expandido; Um tableaux está fechado se todos seus ramos estão fechados; Um sequente B 1,,B n A 1,,A m foi deduzido pelo método dos tableaux analíticos se existir um tableau fechado para ele; Portanto uma dedução A neste método corresponde a construir um tableau fechado para FA. 27
28 Tableaux Analíticos Exemplo: p p 1. F p p 2. F p,1 3. F p,1 4. T p, 3 5. X (fechamento) 2,4 28
29 Tableaux Analíticos Exemplo: p q, q r p r 1. T p q 2. T q r 3. F p r 4. T p, 3 5. F r, 3 6. F p T q, 1 7. X F q T r, 2 8. X X 29
30 Tableaux Analíticos Exemplo: 1. T p p, p q r r 2. T p q r 3. F r 4. F p q T r, 2 5. F p F q X, 4 6. X Se o tableau não é fechado, o ramo aberto indica uma valoração V que é um contra-exemplo, no caso T p, F r e F q, ou ainda V (p)=1, V (q)=0 e V (r)=0. 30
31 Tableaux Analíticos Mais exemplos Exercícios (pg. 55). 31
32 Correção e Completude Sistema dedutivo correto: se Γ A então Γ A Sistema dedutivo completo: se Γ A então Γ A Os métodos vistos são corretos e completos para a Lógica Proposicional; Exercícios pg
AXIOMATIZAÇÃ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 maisAula 8: Tableaux Analíticos
Lógica para Computação Segundo Semestre, 2014 Aula 8: Tableaux Analíticos DAINF-UTFPR Prof. Ricardo Dutra da Silva O métodos de Dedução Natural não permite inferir a falsidade de um sequente, ou seja,
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 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 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 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 maisLógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
Leia mais3.4 Fundamentos de lógica paraconsistente
86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,
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 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 A (ou lógica de 1ª ordem) é uma extensão da lógica proposicional que aumenta sua expressividade,
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 mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisLógica Computacional
Lógica Computacional Modus Ponens e Raciocínio Hipotético Introdução e eliminação da Implicação e da Equivalência Completude e Coerência do Sistema de Dedução Natural 24 Outubro 2016 Lógica Computacional
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
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 maisIntrodução. Programação em Lógica. Resolução na Lógica Proposional. Resolução na Lógica Proposional. Resolução na Lógica Proposional.
Ciência da Computação Introdução Programação em Lógica Prof. Sergio Ribeiro Sistemas dedução da Lógica: Estabelecem estruturas que permitem a representação e dedução do conhecimento. Vários tipos: Sistema
Leia maisLógica Computacional
Aula Teórica 13: Dedução Natural em 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
Leia maisLógica para Computação Primeiro Semestre, Aula 10: Resolução. Prof. Ricardo Dutra da Silva
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 10: Resolução Prof. Ricardo Dutra da Silva A resolução é um método de inferência em que: as fórmulas devem estar na Forma Clausal; deduções
Leia maisConhecimento e Raciocínio Lógica Proposicional
Conhecimento e Raciocínio Lógica Proposicional Agente Baseado em Conhecimento ou Sistema Baseado em Conhecimento Representa conhecimento sobre o mundo em uma linguagem formal (KB) Raciocina sobre o mundo
Leia maisAula 6: Dedução Natural
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado
Leia maisAula 6: Dedução Natural
Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado
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 maisSistema dedutivo. Sistema dedutivo
Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a 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 Resolução e PROLOG Passos para obter a forma clausal de uma fbf: 1. Obter a forma normal
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
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 2 de junho de 2009 1 A linguagem da Lógica Proposicional Errata Caso você encontre algum erro nesse capítulo ou tenha algum
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
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 maisAula 7: Dedução Natural 2
Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 7: Dedução Natural 2 Prof. Ricardo Dutra da Silva -introdução Dada uma premissa A, nós podemos concluir A B para qualquer fórmula B. A justificativa
Leia maisDedução Natural para Lógica Proposicional
Dedução Natural para Lógica Proposicional Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 11 de dezembro de 2012 Motivação (I) Considere
Leia maisLógica proposicional. Capítulo 1
Capítulo 1 Lógica proposicional 1.1 Introdução A lógica proposicional, à qual este capítulo é dedicado, pode ser vista como a parte da lógica que se ocupa do estudo do comportamento dos conectivos lógicos
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
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 maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
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 maisLógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
Leia maisResolução Proposicional Fernando Bozza, Vanessa Maria da Silva
Resolução Proposicional Fernando Bozza, Vanessa Maria da Silva febezza@gmail.com, vvan_@hotmail.com Curso Bacharelado em Sistemas de Informação DAINF - Universidade Tecnológica Federal do Paraná (UTFPR)
Leia maisLógica Computacional Aulas 8 e 9
Lógica Computacional Aulas 8 e 9 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 11 Integridade e completude dum sistema dedutivo D 1 111 Integridade do sistema de dedução natural DN 1 112 3 12 Decidibilidade
Leia maisLógica Computacional
Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia maisLógica. Professor Mauro Cesar Scheer
Lógica Professor Mauro Cesar Scheer Objetivos Reconhecer e manipular com os símbolos formais que são usados no Cálculo Proposicional (CPC) e Cálculo de Predicados (CP). Determinar o valor de verdade de
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional As notações lógicas formais representam proposições em forma simbólica fbf Lembrando: fbf: fórmula bem formulada; Essas fbfs também são chamadas de fbfs proposicionais
Leia maisLógica Computacional
Aula Teórica 22: em Lógica de Primeira Ordem 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 maisRelações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5)
Relações semânticas entre os conectivos da Lógica Proposicional(Capítulo 5) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Conjunto de conectivos completo 2. na
Leia maisAula 4: Consequência Lógica e Equivalência Lógica
Lógica para Computação Segundo Semestre, 2014 Aula 4: Consequência Lógica e Equivalência Lógica DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 4.1. Em lógica proposicional dizemos que uma fórmula B
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 maisA LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX Ana Claudia de Jesus Golzio * Angela Pereira Rodrigues * Resumo: (Feitosa,
Leia maisLógica e prova de resolução Marco Henrique Terra
Lógica e prova de resolução Marco Henrique Terra Introdução à Inteligência Artificial Introdução n Este capítulo trata de lógica. l Inicialmente discute-se se a notação empregada em lógica. l Depois mostra-se
Leia maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
Leia maisLógica Computacional. Nelma Moreira. Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto
Lógica Computacional Nelma Moreira Departamento de Ciência de Computadores Faculdade de Ciências, Universidade do Porto email: nam@nccuppt 2004 Agradecimentos Estas notas baseam-se parcialmente nos Apontamentos
Leia maisLógica Computacional
Aula Teórica 8: Forma Normal Conjuntiva 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 maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisSumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
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 maisassim são válidas devido à sua estrutura e ao significado dos quantificadores universal e existencial
LÓGICA DE PREDICADOS Na ló predicados uma wff verdadeira significa uma wff vá lida, isto é, uma wff que seja válida em qualquer interpretação possível. AXIOMAS E REGRAS DE INFERêNCIA: wffs predicativas
Leia maisLógica Proposicional Dedução Natural
Lógica Matemática Lógica Proposicional Dedução Natural Tiago Massoni "testando" argumentos dado que d c como fazer? e t d então c t 2 Assim... Testar argumentos com tabela verdade é proibitivo não escalável
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 para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação rimeiro Teste 8 de Maio de 2010 11:00 12:30 Nome: Número: 1. (2.0) Escolha a única resposta correcta para as seguintes questões.
Leia maisMétodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional(Capítulo 4)
Métodos para determinação de propriedades semânticas de fórmulas da Lógica Proposicional(Capítulo 4) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Tabela-Verdade
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
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 maisLógica Computacional
Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Marco Giunti Departamento de Informática, Faculdade de Ciências e Tecnologia, NOVA LINCS, Universidade
Leia maisLMT. Um Procedimento Unificado para Prova e Geração de Contra-Exemplos na Lógica Minimal Implicacional
LMT Um Procedimento Unificado para Prova e Geração de Contra-Exemplos na Lógica Minimal Implicacional Jefferson de Barros Santos Bruno Lopes Vieira Edward Hermann Haeusler VII Workshop de Verão UnB Departamento
Leia maisUNIVERSIDADE ESTADUAL PAULISTA CAMPUS UNIVERSITÁRIO DE BAURU FACULDADE DE CIÊNCIAS DEPARTAMENTO DE MATEMÁTICA
UNIVERSIDADE ESTADUAL PAULISTA CAMPUS UNIVERSITÁRIO DE BAURU FACULDADE DE CIÊNCIAS DEPARTAMENTO DE MATEMÁTICA A LÓGICA TK NOS SISTEMAS: HILBERTIANO, DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Mini-curso
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 maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:
Leia maisUM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3
UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3 A TABLEAUX SYSTEM FOR THE PARACONSISTENT LOGIC J 3 Helen Gomes da Silva 1 Hércules de Araujo Feitosa 2 Gabriel Alexandre da Cruz 3 Resumo: A Lógica
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisLógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux
Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux Logic of Pragmatic Truth presented in a Tableaux deductive system ISSN 36-9664 Volume 7, dez. 06 Edição ERMAC Helen Gomes da Silva
Leia maisLógica Proposicional e Dedução Natural 1/48. Douglas O. Cardoso docardoso.github.io
Lógica Proposicional e Dedução Natural douglas.cardoso@cefet-rj.br docardoso.github.io Lógica Proposicional e Dedução Natural 1/48 Roteiro 1 Uma Introdução Intuitiva 2 Proposições 3 DN: regras básicas
Leia maisLógicas Construtivas: Intuicionismo, uma
Lógicas Construtivas: Intuicionismo, uma Introdução Ricardo Bianconi 1 Introdução Vamos tratar agora de Lógicas Construtivas, ou seja, aquelas em que se admitem apenas argumentos construtivos. O que seriam
Leia mais2 Preliminares. (ii) α é uma subfórmula de α; (iii) Se γ β é uma subfórmula de α então também são γ, β para =,,.
2 Preliminares Com intuito de fixar a notação, apresentaremos, neste capítulo, resultados e definições essenciais que serão utilizados ao longo da tese. Para indicar identidade de duas expressões, usaremos.
Leia maistraço de inferência, premissas conclusão rrt
Introdução Como vimos antes, quando da exposição informal, uma das importantes noções lógicas é a de regra de inferência. gora introduziremos essa noção de maneira formal (mais precisamente, considerando
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisLógica para computação
Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados
Leia maisFormas Normais para Lógicas Modais
GoBack Formas Normais para Lógicas Modais Cláudia Nalon http://www.cic.unb.br/docentes/nalon nalon@{cic.unb.br, unb.br} Universidade de Brasília Instituto de Ciências Exatas Departamento de Ciência da
Leia maisn. 11 Argumentos e Regras de Inferência
n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições
Leia maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
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 maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução 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 É possível
Leia maisLista: Lógica Proposicional - Dedução Natural (Gabarito)
Universidade de Brasília - Instituto de Ciências Exatas Departamento de Ciência da Computação CIC 117366 Lógica Computacional 1 - Turmas A e B (2018/1) 16 de abril de 2018 Lista: Lógica Proposicional -
Leia maisCONTEÚDO LÓGICA FUZZY LÓGICA FUZZY. Proposições Fuzzy. Regras são implicações lógicas. Introdução Introdução, Objetivo e Histórico
CONTEÚDO Introdução Introdução, Objetivo e Histórico Conceitos ásicos Definição, Características e Formas de Imprecisão Conjuntos Fuzz Propriedades, Formas de Representação e Operações Relações, Composições,
Leia maisAfirmações Matemáticas
Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,
Leia mais4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
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 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 maisLógica para Computação
Aula 07 - Lógica Proposicional 1 Faculdade de Informática - PUCRS August 27, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Nesta aula,
Leia maisLinguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da
istemas de Apoio à Decisão Clínica, 09-1 1 Linguagem com sintaxe e semântica precisas: lógica. Mecanismo de inferência: derivado da sintaxe e da semântica. Importante: distinguir entre os fatos e sua representação
Leia maisA semântica da Lógica Proposicional(Capítulo 2)
A semântica da Lógica Proposicional(Capítulo 2) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Interpretação 2. Semântica dos conectivos 3. Exemplos 4. Questão desafio
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia maisLógica de Predicados
Lógica de Predicados 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
Leia maisLógica para Programação
Licenciatura Engenharia Informática e de Computadores Lógica para rogramação epescagem do rimeiro Teste 13 de Julho de 2010 09:00 10:30 Nome: Número: Esta prova, individual e sem consulta, tem 9 páginas
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisLógica Proposicional Propriedades Semânticas
Lógica Proposicional José Gustavo de Souza Paiva Introdução Relacionamento dos resultados das interpretações semânticas de fórmulas Teoria dos modelos estudo das relações entre propriedades sintáticas
Leia mais