Lógica de Predicados. Correção dos Exercícios Regras de Inferência
|
|
- Afonso Mirandela Leal
- 6 Há anos
- Visualizações:
Transcrição
1 Lógica de Predicados Correção dos Exercícios Regras de Inferência
2 O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados Quantificadores Agrupados Negando Quantificadores Equivalências Lógicas Tradução
3 Rosen 58 1) Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais. a) x y (x<y) b) x y (((x x y z (xy = z)
4 Rosen (59) 9. Considere L(x,y) como a proposição x ama y, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo. d) Ninguém ama todos
5 Rosen (59) 9. Considere L(x,y) como a proposição x ama y, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo. d) Ninguém ama todos Existe alguém que ama todo mundo x y L(x,y) Se isso não for verdade então Ninguém ama todos
6 Rosen (59) 9. Considere L(x,y) como a proposição x ama y, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo. d) Ninguém ama todos ~ x y L(x,y) Existe alguém que ama todo mundo x y L(x,y) Se isso não for verdade então Ninguém ama todos
7 Rosen (59) 9. Considere L(x,y) como a proposição x ama y, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo. d) Ninguém ama todos ~ x y L(x,y) e) Há alguém a quem Lídia não ama Reescrevendo: Lidia não ama alguém: y ~L(Lidia,y)
8 Rosen (59) 9. Considere L(x,y) como a proposição x ama y, em que o domínio para x e y são todas as pessoas do mundo. Use quantificadores para expressar cada proposição abaixo. d) Ninguém ama todos ~ x y L(x,y) e) Há alguém a quem Lídia não ama y ~L(Lidia,y) f) Há alguém a quem ninguém ama Reescrevendo: Há alguém a quem todos não amam y x ~L(x,y)
9 Rosen (61) 30) Reescrever cada uma das proposições para que as negações apareçam apenas inseridas nos predicados (ou seja, nenhuma negação esteja do lado de fora de um quantificador ou de uma expressão que envolva conectivos lógicos). Aplicação direta das leis de De Morgan
10 Regras de Inferências Regras de Inferências para sentença quantificadas: Instanciação Universal Generalização Universal Instanciação Existencial Generalização Existencial
11 Instanciação Universal Premissa: xp(x) é verdade Conclusão: P(a) é verdade, onde a é um elemento qualquer do domínio.
12 Instanciação Universal Premissa 1: Todo homem é mortal Premissa 2: Sócrates é homem Logo...
13 Instanciação Universal Premissa 1: Todo homem é mortal Premissa 2: Sócrates é homem Logo... Sócrates é mortal
14 Generalização Universal Premissa: P(a) é verdade para um a qualquer Conclusão: xp(x) é verdade Pode ocasionar raciocínios incorretos.
15 Instanciação Existencial Premissa: xp(x) é verdade Conclusão: P(a) é verdade, onde a é um elemento selecionado do domínio.
16 Generalização Existencial Premissa: P(a) é verdade para um a especifico. Conclusão: xp(x) é verdade
17 Provando Argumentos P1: Todos os alunos da classe de Fundamentos 1 estão no curso de Computação. D(x) = x está na classe de Fundamentos 1 C(x) = x está no curso de Computação Domínio = {pessoas da universidade} Traduzindo...
18 Provando Argumentos P1: Todos os alunos da classe de Fundamentos 1 estão no curso de Computação. D(x) = x está na classe de Fundamentos 1 C(x) = x está no curso de Computação Domínio = {pessoas da universidade} Traduzindo x(d(x)c(x))
19 Provando Argumentos P1: x(d(x)c(x)) P2: Diego é um aluno da classe de Fundamentos 1. D(x) = x está na classe de Fundamentos 1 C(x) = x está no curso de Computação Domínio = {pessoas da universidade} Traduzindo...
20 Provando Argumentos P1: x(d(x)c(x)) P2: Diego é um aluno da classe de Fundamentos 1. D(x) = x está na classe de Fundamentos 1 C(x) = x está no curso de Computação Domínio = {pessoas da universidade} Traduzindo D(Diego)
21 Provando Argumentos P1: x(d(x)c(x)) P2: D(Diego). Aplicar Instanciação Universal em P1...
22 Provando Argumentos P1: x(d(x)c(x)) P2: D(Diego). 3: D(Diego) C(Diego) Aplicar Modus Ponens em P2 e 3.
23 Provando Argumentos P1: x(d(x)c(x)) P2: D(Diego). 3: D(Diego) C(Diego) 4: C(Diego) Concluímos que... D(x) = x está na classe de Fundamentos 1 C(x) = x está no curso de Computação
24 Provando Argumentos P1: x(d(x)c(x)) P2: D(Diego). 3: D(Diego) C(Diego) 4: C(Diego) Concluímos que: Diego está no curso de computação
25 Provando Argumentos P1: x(d(x)c(x)) P2: D(Diego). 3: D(Diego) C(Diego) 4: C(Diego) Modus Ponens Universal Concluímos que: Diego está no curso de computação
26 Exercício Um estudante desta classe não tem lido o livro. Todos nesta classe fizeram a prova 1 Logo, alguém fez a prova 1 sem ter lido o livro. Mostre que o argumento é válido.
27 Exercício Um estudante desta classe não tem lido o livro. Todos nesta classe fizeram a prova 1 Logo, alguém fez a prova 1 sem ter lido o livro. Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1 Traduzindo a Premissa 1
28 Exercício x(c(x) ^ ~B(x)) Todos nesta classe fizeram a prova 1 Logo, alguém fez a prova 1 sem ter lido o livro. Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1
29 Exercício x(c(x) ^ ~B(x)) Todos nesta classe fizeram a prova 1 Logo, alguém fez a prova 1 sem ter lido o livro. Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1 Traduzindo a Premissa 2
30 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, alguém fez a prova 1 sem ter lido o livro. Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1
31 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, alguém fez a prova 1 sem ter lido o livro. Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1 Traduzindo a Conclusão
32 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Domínio = {todas as pessoas} C(x) = x é estudante desta classe B(x) = x tem lido o livro P(x) = x fez a prova 1
33 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3)?????? 1 Instanciação Existencial
34 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial
35 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4)??? 3 Simplificação
36 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação
37 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5)???? 3 Simplificação
38 Exercício x(c(x) ^ ~B(x)) x(c(x) P(x)) Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação
39 Exercício Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6)??? 2 Instanciação Universal
40 Exercício Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal
41 Exercício Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7)??? 4,6 Modus Ponens
42 Exercício Logo, x(p(x)^~b(x)) Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7) P(a) 4,6 Modus Ponens
43 Exercício Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7) P(a) 4,6 Modus Ponens 8)???? 5,7 Conjunção
44 Exercício Provando... 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7) P(a) 4,6 Modus Ponens 8) P(a) ^ ~B(a) 5,7 Conjunção
45 Exercício 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7) P(a) 4,6 Modus Ponens 8) P(a) ^ ~B(a) 5,7 Conjunção 9)??? 8 General. Existencial
46 Exercício 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal 7) P(a) 4,6 Modus Ponens 8) P(a) ^ ~B(a) 5,7 Conjunção 9) x(p(x) ^ ~B(x)) 8 General. Existencial
47 Exercício 1) x(c(x) ^ ~B(x)) 2) x(c(x) P(x)) 3) C(a) ^ ~B(a) 1 Instanciação Existencial 4) C(a) 3 Simplificação 5) ~B(a) 3 Simplificação 6) C(a)P(a) 2 Instanciação Universal Onde queríamos chegar 7) P(a) 4,6 Modus Ponens 8) P(a) ^ ~B(a) 5,7 Conjunção 9) x(p(x) ^ ~B(x)) 8 General. Existencial
48 Perguntas????
49 Exercícios para a mente. Rosen pg 73 Exercício 16
Lógica de Predicados. Correção dos Exercícios
Lógica de Predicados Correção dos Exercícios Conteúdo Correção Exercícios Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen 58 1) Transcreva as proposições para
Leia maisConteúdo. Correção Exercícios Revisão para Prova
Conteúdo Correção Exercícios Revisão para Prova Rosen 58 1) Transcreva as proposições abaixo para o português, em que o domínio para cada variável consista nos números reais. a) x y (x
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Negando quantificadores agrupados (Rosen 57) Tradução Lógica - Português (Rosen 55) Tradução Português Lógica(Rosen 56) Exercícios Rosen (59) 9) Considere
Leia maisConteúdo. Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42)
Conteúdo Correção de Exercício Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Correção exercicios 11) P(x) = x = x 2 P(0) P(1) P(2) 12) Q(x) = x + 1 = 2x Q(0) Q(-1) Q(1) Correção
Leia maisLógica de Predicados
Lógica de Predicados Rosen 47 6) Considere N(x) como o predicado x visitou Dakota do Norte, em que o domínio são os estudantes de sua escola. Expresse cada uma dessas quantificações em português. a) x
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 maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Operações Lógicas sobre Predicados Condicional Quantificador de Unicidade (Rosen 37) Quantificadores com Restrição (Rosen 38) Tradução Português-Lógica
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 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 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 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 Agrupados Dois quantificadores estão agrupados se um está no escopo do outro. Exemplo:
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) Quantificadores Agrupados Negando expressões com quantificadores
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com quantificadores Agrupados Prioridade dos Quantificadores
Leia maisLógica de Predicados
Lógica de Predicados Conteúdo Correção Exercícios Quantificadores Agrupados; (Rosen 50) Traduzindo sentenças. Exercícios Quais as negações de: 1) Existe um político honesto 2) Todos os brasileiros comem
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 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 maisCálculo de Predicados
Cálculo de Predicados (Lógica da Primeira Ordem) Prof. Tiago Semprebom, Dr. Eng. Instituto Federal de Educação, Ciência e Tecnologia Santa Catarina - Campus São José tisemp@ifsc.edu.br 18 de maio de 2013
Leia maisLógica de Predicados. Quantificadores
Lógica de Predicados Quantificadores Conteúdo Correção de Exercícios Operações Lógicas Quantificadores Rosen (pg 33) Tradução Português Lógica Rosen (pg 42) Exercícios Determinar o conjunto verdade em
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. p : Hoje não é sexta-feira. q : Todo homem é mortal. r : Existem pessoas inseguras.
Tópicos Introdução à Lógica Edna A. Hoshino DCT - UFMS fevereiro de 2011 1 Tabela-Verdade Equivalências Proposicionais Formas Normais 2 Variáveis e Predicados Quantificadores 3 para predicados e quantificadores
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 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 maisLógica Matemática - Quantificadores
Lógica Matemática - Quantificadores Prof. Elias T. Galante - 2017 Quantificador Universal Seja p(x) uma sentença aberta em um conjunto não-vazio A e seja V p o seu conjunto verdade: V p = {x x A p(x)}.
Leia maisSemana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial
Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por
Leia maisÁrea de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01. SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores)
Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 SOLUÇÃO DE LISTA DE EXERCÍCIOS Lista 04 (Predicados e Quantificadores) Leitura necessária: Matemática Discreta e Suas Aplicações, 6 a Ediçã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 maisMCTB Matemática Discreta
Matemática Discreta Jair Donadelli CMCC UFABC jair.donadelli@ufabc.edu.br 2019-1 Semana 1 1 2 Lógica informal Matemática Discreta Estudo de estruturas matemáticas que são discretas (em oposição às que
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 maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/59 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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 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 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 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 PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia maisLÓGICA APLICADA A COMPUTAÇÃO
LÓGICA APLICADA A COMPUTAÇÃO 2009.3 Aquiles Burlamaqui Ementa 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
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 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
FACULDADE PITÁGORAS Curso Superior em Tecnologia: Banco de dados e Sistemas para Internet Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL EXERCÍCIOS
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
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 maisGabarito da Avaliação 3 de Lógica Computacional 1
Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com
Leia maisCOMO LER NOTAÇÃO LÓGICA
COMO LER NOTAÇÃO LÓGICA DARREN BRIERTON TRADUÇÃO DE AISLAN ALVES BEZERRA Conectivos Proposicionais O primeiro conjunto de símbolos que introduzir-vos-ei são chamados de conectivos proposicionais porque
Leia maisExpandindo o Vocabulário. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto. 12 de junho de 2019
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA Expandindo o Vocabulário Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de junho de 2019
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 maisNOÇÕES DE LÓGICA MATEMÁTICA. O CÁLCULO DE PREDICADOS DE 1 a ORDEM
NOÇÕES DE LÓGICA MATEMÁTICA O CÁLCULO DE PREDICADOS DE 1 a ORDEM O Cálculo de Predicados, dotado de uma linguagem mais rica, tem várias aplicações importantes não só para matemáticos e filósofos como também
Leia maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisTécnicas de Inteligência Artificial
Universidade do Sul de Santa Catarina Ciência da Computação Técnicas de Inteligência Artificial Aula 04 Lógica Proposicional e Lógica dos Predicados Max Pereira Proposicional A lógica está relacionada
Leia mais1 Demonstrações: linguagem
1 Demonstrações: linguagem O trabalho dos matemáticos, de um modo geral, é descobrir e comunicar certas verdades e uma demonstração é um argumento cujo objetivo é convencer outras pessoas de que algo é
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
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 maisResumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Leia maisCálculo dos Predicados
Cálculo dos Predicados As sentenças assim formuladas foram chamadas de proposições categóricas e, segundo Aristóteles, podem ser de 4 tipos: Afirmação Universal A Todos os atletas são saudáveis Afirmação
Leia maisORIENTAÇÃO. Leia o Guia Logístico de Avaliação UNITINS publicado no site
!"#$%&"$!'!'"& '&()**+,(,-$%.!! /)(,-$'(),*0)**+ /'$/1'"%%!2%/! )**+, ORIENTAÇÃO Leia o Guia Logístico de Avaliação UNITINS publicado no site www.educon.br/unitins ATENÇÃO: 1. Verifique se a numeração
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 maisEP33D Matemática Discreta 2013/2S
EP33D Matemática Discreta 2013/2S Lista 01 Lógica Proosicional Problema 1. Qual é a negação de cada roosição a seguir? a) Hoje é quinta-feira. b) Não há oluição em São Paulo. c) 2+1=3 d) O verão no Rio
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 maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
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 maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA COMPUTAÇÃO PROF. MAURO ROISENBERG UFSC - CTC - INE Prof. Mauro Roisenberg - UFSC/CTC/INE/2007 p. 1 LÓGICA MATEMÁTICA Lógica é uma ciência de índole Matemática
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 maisLógica para Computação
Aula 19 - Lógica de Predicados 1 Faculdade de Informática - PUCRS October 6, 2015 1 Este material não pode ser reproduzido ou utilizado de forma parcial sem a permissão dos autores. Sinopse Lógica de Predicados
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 maisMATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI
MATEMÁTICA DISCRETA E LÓGICA MATEMÁTICA PROF. APARECIDO EDILSON MORCELLI CONSTRUÇÃO DA TABELA- VERDADE Dada a fórmula: {A [C (A C)]} Observamos três ocorrências de conectivos:,,. O último é a primeira
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Leia maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
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 maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisSimplificação de Enunciados com um Quantificador Petrucio Viana
GAN00166: Lógica para Ciência da Computação Texto da Aula 19 Simplificação de Enunciados com um Quantificador Petrucio Viana Departamento de Análise, IME UFF Sumário 1 Transformação de enunciados quantificados
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 maisUnidade III. Essa estruturação por meio de diagramas permite uma codificação posterior praticamente em qualquer linguagem de programação.
Unidade III 7 FLUXOGRAMAS O uso da lógica é fundamental para a execução de tarefas do dia a dia de todos os profissionais, em especial para os profissionais de TI. Esses profissionais continuamente se
Leia maisLógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática
Lógica é a disciplina que lida com métodos de raciocínio. Lógica é o estudo sistemático da estrutura das proposições e das condições gerais de inferências válidas, por um método que abstrai o conteúdo
Leia maisCorreção Prova-2 LPL
Correção Prova-2 LPL 2009-1 Felipe Lunkes Fin e Deiwys Grumovski Joinville, 30 de Agosto de 2009 1. Utilizando o método de demonstração por absurdo ou indireta, demonstre a validade do argumento (s p),
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 maisUsando as regras de Morgan, de a negação das proposições:
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com EXERCÍCIOS Usando as regras de Morgan, de a negação das proposições: a) É falso que não está frio
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 maisAula 1 Aula 2 Aula 3. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisApresentação do curso
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo
Leia maisPara Computação. Aula de Monitoria - Miniprova
Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A 10.º Ano Versão Nome: N.º Turma: Apresente o seu raciocínio de forma clara, indicando todos os cálculos que tiver de efetuar e todas as justificações necessárias. Quando,
Leia maisLógica de Predicados
Lógica de Predicados Emerson L. Monte Carmelo Doherty Andrade Departamento de Matemática Universidade Estadual de Maringá - UEM 2006 1 Predicados A Lógica proposicional não é suficientemente poderosa para
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia maisNOTAS DE AULAS DE LÓGICA Professor Joselias Lógica
Lógica Existem muitas definições para a palavra lógica, porém no caso do nosso estudo não é relevante um aprofundamento nesse ponto, é suficiente apenas discutir alguns pontos de vista sobre o assunto.
Leia mais. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisAtenção: Esse conectivo transmite a ideia de e / ou e não apenas a de exclusão como muitas pessoas imaginam.
CONCEITO DE PROPOSIÇÃO É todo conjunto de palavras ou símbolos que exprimem uma ideia de sentido completo e que, além disso, pode ser julgado como verdadeiro (V) ou falso (F). NÃO SÃO PROPOSIÇÕES Frases
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 maisIntrodução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisCálculo de Predicados 1
Matemática Discreta - Departamento de Matemática - EST-IPV - 2005/2006 - II Capítulo II Cálculo de Predicados 1 1 Predicados e quantificadores Consideremos as afirmações seguintes: x é par. (1.1) x é tão
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 maisTécnicas de Inteligência Artificial
Universidade do Sul de Santa Catarina - UNISUL Ciência da Computação Técnicas de Inteligência Artificial Aula 05 Lógica Proposicional Lógica de Predicados Prof. Max Pereira Proposicional A lógica está
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 maisUnidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.
Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,
Leia maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
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 maisFundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
Leia mais