Matemática Discreta. Lógica de Predicados. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
|
|
- Cecília Bicalho Palhares
- 6 Há anos
- Visualizações:
Transcrição
1 Matemática Discreta Lógica de Predicados Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto
2 Quantificadores Como expressar a sentença Para todo número inteiro x, o valor de x é positivo. usando lógica proposicional? Esta sentença contém duas características distintas das anteriores: quantificadores, e predicados.
3 Quantificadores Quantificadores Quantificadores são expressões como para todo, para cada, para algum, que dizem de alguma forma quantos objetos têm uma certa propriedade.
4 Quantificador Universal x Lê-se: para todo x, para cada x, todo x. ( x)(x > 0) representa a senteça: Para todo número inteiro x, o valor de x é positivo.
5 Quantificador Universal ( x)(x > 0) O quantificador e sua variável sempre aparecem entre parênteses. Em seguida, outro par de parênteses contém a propriedade, ou predicado, referente àquela variável. Quando o predicado não foi definido, escreve-se: ( x)p(x).
6 Quantificador Universal ( x)(x > 0) O valor-verdade da expressão depende do domínio da variável. Se o domínio são os números inteiros positivos, então a expressão acima é verdadeira. Se o domínio são todos os números inteiros, então a expressão acima é falsa.
7 Quantificador Universal ( x)p(x) O valor-verdade da expressão depende do domínio da variável. Se o domínio são todos os livros da biblioteca da UTFPR - Ponta Grossa e o predicado, P(x), diz que x tem capa vermelha, então a expressão é falsa.
8 Quantificador Universal Dê o valor-verdade da expressão ( x)p(x) em cada uma das interpretações: P(x) é a propriedade de que x é amarelo e o domínio é o conjunto de todas as flores. falso P(x) é a propriedade de que x é uma planta e o domínio é o conjunto de todas as flores. verdadeiro P(x) é a propriedade de que x é positivo ou negativo e o domínio é o conjunto dos números inteiros. falso
9 Quantificador Universal Dê o valor-verdade da expressão ( x)p(x) em cada uma das interpretações: P(x) é a propriedade de que x é amarelo e o domínio é o conjunto de todas as flores. falso P(x) é a propriedade de que x é uma planta e o domínio é o conjunto de todas as flores. verdadeiro P(x) é a propriedade de que x é positivo ou negativo e o domínio é o conjunto dos números inteiros. falso
10 Quantificador Existencial x Lê-se: para algum x, existe um x, pelo menos um x. ( x)(x > 0) representa a senteça: Algum número inteiro x é positivo.
11 Quantificador Existencial ( x)(x > 0) Da mesma forma, o valor-verdade da expressão depende do domínio da variável. Se o domínio contém um número positivo, então a expressão é verdadeira. Caso contrário, é falsa.
12 Quantificador Existencial ( x)p(x) O valor-verdade da expressão depende do domínio da variável. Se o domínio são todos os livros da biblioteca da UTFPR - Ponta Grossa e o predicado diz x tem capa vermelha, então a expressão é verdadeira. (Deve existir algum livro com capa vermelha na biblioteca!)
13 Quantificadores - Interpretação Exemplo: A expressão ( x)( y)q(x, y) deve ser lida da seguinte forma: Para cada x existe um y tal que a propriedade Q(x, y) é satisfeita. Dê o valor verdade da expressão ( x)( y)q(x, y) para a seguinte interpretação: Q(x, y) é a propriedade de que x < y e o domínio é o conjunto de todos os inteiros. verdadeiro
14 Quantificadores - Interpretação Exemplo: A expressão ( x)( y)q(x, y) deve ser lida da seguinte forma: Para cada x existe um y tal que a propriedade Q(x, y) é satisfeita. Dê o valor verdade da expressão ( x)( y)q(x, y) para a seguinte interpretação: Q(x, y) é a propriedade de que x < y e o domínio é o conjunto de todos os inteiros. verdadeiro
15 Quantificadores - Interpretação Dê o valor verdade da expressão ( x)( y)q(x, y) para a seguinte interpretação: Q(x, y) é a propriedade de que x < y e o domínio é o conjunto de todos os inteiros. falso Conclusão: a ordem dos quantificadores faz diferença.
16 Quantificadores - Interpretação Dê o valor verdade da expressão ( x)( y)q(x, y) para a seguinte interpretação: Q(x, y) é a propriedade de que x < y e o domínio é o conjunto de todos os inteiros. falso Conclusão: a ordem dos quantificadores faz diferença.
17 Quantificadores - Interpretação Constantes podem fazer parte do predicado. Exemplo: o valor-verdade da expressão ( x)q(x, 5) quando Q(x, y) é a propriedade de que x < y e o domínio de x é o conjunto de todos os inteiros é...falso Exemplo: o valor-verdade da expressão ( y)q(5, y) quando Q(x, y) é a propriedade de que x < y e o domínio de y é o conjunto de todos os inteiros é...verdade
18 Quantificadores - Interpretação Constantes podem fazer parte do predicado. Exemplo: o valor-verdade da expressão ( x)q(x, 5) quando Q(x, y) é a propriedade de que x < y e o domínio de x é o conjunto de todos os inteiros é falso. Exemplo: o valor-verdade da expressão ( y)q(5, y) quando Q(x, y) é a propriedade de que x < y e o domínio de y é o conjunto de todos os inteiros é verdade.
19 Predicados bem formados Expressões devem obedecer regras de sintaxe para serem predicados bem formados: P(x)( x) ( y) não é um predicado bem formado. P(x) Q(y) (não é predicado, não tem quantificadores). ( x)(p(x) Q(x)) é predicado bem formado e o escopo de x é P(x) Q(x).
20 Predicados bem formados ( x)(( y)(p(x, y) Q(x, y)) R(x)) é predicado bem formado. o escopo do quantificador x é ( y)[p(x, y) Q(x, y)] R(x); o escopo do quantificador y é P(x, y) Q(x, y).
21 Predicados bem formados ( x)s(x) ( y)t (y) é predicado bem formado.
22 Variáveis livres Se uma variável aparece em alguma fórmula bem formada e não faz parte de nenhum quantificador, então é uma variável livre. Exemplo: y é uma variável livre em ( x)[q(x, y) ( y)r(x, y)], porque y ocorre pela primeira vez sem estar acompanhado de um quantificador. Nem sempre expressões que contêm variáveis livres têm valor-verdade definido. (Lembre que sem valor-verdade definido não é sentença lógica!)
23 Variáveis livres Exemplo: Considere o domínio de todos os números inteiros. P(x) : x > 0 Qual o valor verdade de P(y) P(5)? Qual o valor verdade de P(y) P(5)?
24 Variáveis livres Exemplo: Considere o domínio de todos os números inteiros. P(x) : x > 0 Qual o valor verdade de P(y) P(5)? indefinido Qual o valor verdade de P(y) P(5)? verdade Nos dois casos, y é uma variável livre, não está associada a um quantificador.
25 Escopo dos quantificadores Exemplo Para a fórmula bem formada: ( x)( y)[s(x, y) L(y, a)]. O escopo de ( y) é S(x, y) L(y, a). O escopo de ( x) é ( y)[s(x, y) L(y, a). Considere a interpretação onde o domínio são todas as cidades brasileiras; S(x, y) é a propriedade de que x e y estão no mesmo estado; e L(y, z) é a propriedade de que y e z começam com a mesma letra; e a é uma constante com o valor Americana. Qual o valor-verdade nessa interpretação da wff?
26 Tradução Muitas frases podem ser escritas por predicados lógicos. Considere a frase: Todo papagaio é feio. É o mesmo que dizer: Para qualquer coisa, se essa coisa é um papagaio, então é feio.
27 Tradução Muitas frases podem ser escritas por predicados lógicos. Considere a frase: Todo papagaio é feio. É o mesmo que dizer: Para qualquer coisa, se essa coisa é um papagaio, então é feia. Sejam P(x) : x é um papagaio e F (x) : x é feia. Simbolicamente: ( x)(p(x) F (x)).
28 Tradução Dica da Gersting: o quantificador universal e o conectivo de implicação quase sempre estão juntos. Poderíamos substituir, neste contexto, ( x)(p(x) F (x)) por ( x)(p(x) F (x))? Não! nem tudo no mundo é papagaio feio!
29 Tradução Dica da Gersting: o quantificador universal e o conectivo de implicação quase sempre estão juntos. Poderíamos substituir, neste contexto, ( x)(p(x) F (x)) por ( x)(p(x) F (x))? Não! nem tudo no mundo é papagaio feio!
30 Tradução Considere a frase: Existe um papagaio feio. É o mesmo que dizer: Existe uma coisa, que é um papagaio e é feia. Sejam P(x) : x é um papagaio e F (x) : x é feia. Simbolicamente: ( x)(p(x) F (x)).
31 Tradução Dica da Gersting: o quantificador existencial e o conectivo quase sempre estão juntos. Poderíamos substituir, neste contexto, ( x)(p(x) F (x)) por ( x)(p(x) F (x))?
32 Tradução Poderíamos substituir, neste contexto, ( x)(p(x) F (x)) por ( x)(p(x) F (x))? O que precisa acontecer para que nosso predicado seja verdade? Se não existirem papagaios é verdade. Mas existem... Então, para ser verdade, se existe um papagaio, ele tem que ser feio. Mas isso não é (sempre) verdade! Então essa tradução está mal feita.
33 Tradução A palavra só é bastante problemática. Sua posição na frase, muda completamente o significado da mesma: Só João ama Maria. João só ama Maria. João ama só Maria.
34 Tradução Reescrevendo: Só João ama Maria. é João. João só ama Maria. amar Maria. João ama só Maria. Maria. Se alguma coisa ama Maria, então essa coisa Se João faz alguma coisa, então essa coisa é Se João ama alguma coisa, então essa coisa é
35 Tradução Prática: Considere: S(x) : x é um estudante, I (x) : x é inteligente, e M(x) : x gosta de música. Escreva predicados bem formados para as seguintes sentenças (o domínio são todas as pessoas): 1 Todos os estudantes são inteligentes. 2 Alguns estudantes inteligentes gostam de música. 3 Todos que gostam de música são estudantes estúpidos. 4 Só estudantes inteligentes gostam de música.
36 GERSTING, Judith L. Mathematical Structures for Computer Science 5th Ed.
Cá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 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 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 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 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 maisMatemática Discreta - 03
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 03 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 maisTeoria dos Conjuntos. Matemática Discreta. Teoria dos Conjuntos - Parte I. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG.
Matemática Discreta Teoria dos Conjuntos - Parte I Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017 Letras maiúsculas: conjuntos. Letras minúsculas: elementos do conjunto. Pertinência: o símbolo
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
Lógica Proposicional Equivalências Lógicas Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 36 Este material é preparado
Leia mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
Leia maisAULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE
Disciplina: Matemática Computacional Prof. Diana de Barros Teles AULA 5 QUANTIFICADORES, PREDICADOS E VALIDADE Quantificadores: são frases do tipo para todo, ou para cada, ou para algum, isso é, frases
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 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 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 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 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 maisArgumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
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 maisElementos de Lógica Matemática p. 1/2
Elementos de Lógica Matemática Uma Breve Iniciação Gláucio Terra glaucio@ime.usp.br Departamento de Matemática IME - USP Elementos de Lógica Matemática p. 1/2 Vamos aprender a falar aramaico? ǫ > 0 ( δ
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 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 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. 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 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 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 maisINTRODUÇÃO À LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição
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 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 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 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 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 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 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 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 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 maisIndução Matemática. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Indução Matemática Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Indução Matemática junho - 2018 1 / 38 Este material é preparado usando como referências os
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 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 maisLógica de Predicados. Correção dos Exercícios Regras de Inferência
Lógica de Predicados Correção dos Exercícios Regras de Inferência O que foi visto até agora... Predicado Proposição Quantificadores Conjuntos Quantificadores com restrição Operações Lógicas com predicados
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 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 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 maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
Leia maisNegação. Matemática Básica. Negação. Negação. Humberto José Bortolossi. Parte 3. Regras do Jogo. Regras do Jogo
Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Parte 3 Parte 3 Matemática Básica 1 Parte 3 Matemática Básica 2 Qual é a negação do predicado
Leia maisFundamentos 1. Lógica de Predicados
Fundamentos 1 Lógica de Predicados Predicados Estudamos até agora a lógica proposicional Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressã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 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 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 maisBases Matemáticas. Aula 1 Elementos de Lógica e Linguagem Matemática. Prof. Rodrigo Hausen. 24 de junho de 2014
Aula 1 Elementos de Lógica e Linguagem Matemática Prof. Rodrigo Hausen 24 de junho de 2014 Definição Uma proposição é uma sentença declarativa que é verdadeira ou falsa, mas não simultaneamente ambas.
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 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. 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 maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisEste material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta..
This is page i Printer: Opaque this 1 Lógica Este material se compõe de exercícios de Lógica relacionadas as disciplinas de Fundamentos de Matemática e Matemática Discreta.. 1.1 Tabela Verdade 1. (FM-2003)
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 maisLógica de Predicados ( 1.3)
Lógica de Predicados ( 1.3) Podemos usar lógica proposicional para provar que certas inferências são válidas. Por exemplo, Se está frio então vai nevar. Assim: Se não nevar então não está frio Em lógica
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
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 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. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017
Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4
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 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 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 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 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 mais1. = F; Q = V; R = V.
ENADE 2005 e 2008 Nas opções abaixo, representa o condicional material (se...então...), v representa a disjunção (ou um, ou outro, ou ambos) e ~ representa a negação (não). Com o auxílio de tabelas veritativas,
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 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 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 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 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 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 maisGestão Empresarial Prof. Ânderson Vieira
NOÇÕES DE LÓGICA Gestão Empresarial Prof. Ânderson ieira A maioria do texto apresentado neste arquivo é do livro Fundamentos de Matemática Elementar, ol. 1, Gelson Iezzi e Carlos Murakami (eja [1]). Algumas
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 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 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 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 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 maisInvariantes de Laço. Profa. Sheila Morais de Almeida. junho DAINF-UTFPR-PG
Invariantes de Laço Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Invariantes de Laço junho - 2018 1 / 28 Este material é preparado usando como referências
Leia maisUnidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano
A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo
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 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 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 mais2º. Semestre de 2006 Marcelo Nogueira São José dos Campos - SP
(Exercício 01) Simbolize, no nível proposicional, os seguintes argumentos: (a) Os vencimentos aumentam somente se há inflação. Se há inflação, então o custo de vida aumenta. Os vencimentos não aumentaram.
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 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 maisFaculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof.
Faculdade de Informática PUCRS Lógica para Computação Lista de Exercícios Sintaxe e Semântica da Lógica de Predicados Prof. Alfio Martini 1. Seja OP = {{d}, {f, g}, Ar F }, onde d é uma constante, Ar F
Leia maisSimbolização de Enunciados com um Quantificador
Lógica para Ciência da Computação I Lógica Matemática Texto 13 Simbolização de Enunciados com um Quantificador Sumário 1 Quantificadores: simbolização e sintaxe 2 2 Explicitando e quantificando variáveis
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 maisDedução Natural para a Lógica de Predicados
Dedução Natural para a Lógica de Predicados Matemática Discreta I Rodrigo Ribeiro Departamento de Ciências Exatas e Aplicadas Universidade de Federal de Ouro Preto 14 de dezembro de 2012 Lógica de Predicados
Leia maisLÓGICA FORMAL parte 2 QUANTIFICADORES, PREDICADOS E VALIDADE
LÓGICA FORMAL parte 2 QUANTIFICADORES, PREDICADOS E VALIDADE Algumas sentenças nã pdem ser expressas apenas cm us de símbls prpsicinais, parênteses e cnectivs lógics exempl: a sentenç a Para td x, x >0
Leia maisFórmulas Bem Formadas (wff) Prioridade dos Conectivos. Prioridade dos Conectivos. Semântica do CR. Semântica do CR
1 Fórmulas Bem Formadas (wff) 1. um átomo é uma wff 2. se α e β são wff e X uma variável livre, então são também wff: INTELIGÊNCIA ARTIFICIAL LÓGICA RELACIONAL (PARTE II) Huei Diana Lee wff lê-se α não
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 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 mais2 AULA. Conectivos e Quantificadores. lógicas. LIVRO. META: Introduzir os conectivos e quantificadores
1 LIVRO Conectivos e Quantificadores Lógicos META: Introduzir os conectivos e quantificadores lógicos. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de: Compreender a semântica dos conectivos
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 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 maisMatemática Discreta. Teoria de Conjuntos - Parte 2. Profa. Sheila Morais de Almeida. abril DAINF-UTFPR-PG
Matemática Discreta Teoria de Conjuntos - Parte 2 Profa. Sheila Morais de Almeida DAINF-UTFPR-PG abril - 2017 Operações em conjuntos As operações entre conjuntos podem ser unárias, binárias, ternárias,
Leia maisAntonio Paulo Muccillo de Medeiros
Antonio Paulo Muccillo de Medeiros Conceito É a área da matemática que estuda os argumentos (premissas e conclusão). Estuda os métodos e princípios que permitam distinguir argumentos corretos e incorretos.
Leia mais