Fundamentos 1. Lógica de Predicados
|
|
- Sabina Araújo
- 5 Há anos
- Visualizações:
Transcrição
1 Fundamentos 1 Lógica de Predicados
2 Predicados Estudamos até agora a lógica proposicional
3 Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão.
4 Predicados Estudamos até agora a lógica proposicional A lógica proposicional têm possibilidade limitada de expressão. Exemplo: Todo computador conectado à rede da universidade está funcionando adequadamente Devemos usar a lógica de predicados para expressar adequada mente
5 Lógica de Predicados Expressa adequadamente o significado das proposições em matemática e em linguagem natural. Exemplo: Existe um computador na rede da universidade que está sob o ataque de um hacker.
6 Predicados A frase x>0 descreve uma propriedade da váriavel x.
7 Predicados A frase x>0 descreve uma propriedade da váriavel x. Propriedade: x é positivo.
8 Predicados A frase x>0 descreve uma propriedade da váriavel x. Propriedade: x é positivo. Uma propriedade também é denominada um predicado.
9 Predicados A frase x>0 descreve uma propriedade da váriavel x. Propriedade: x é positivo. Note que essa declaração não é Verdadeira nem Falsa quando o valor da variável não é especificado.
10 Predicados A frase x>0 descreve uma propriedade da váriavel x. Propriedade: x é positivo. A notação P(x) é usada para representar alguma propriedade, ou predicado, não explicitada que a variável x possa ter.
11 Predicados X > 3 Predicado P Variável / sujeito da declaração Também chamada de função proposicional P em x.
12 Predicados Uma vez que um valor é dado para a variável x, a declaração P(x) torna se uma proposição e tem um valor verdade. Exemplo: P(x) = x > 3 P(4) é Verdadeiro P(2) é Falso
13 Predicados Podemos ter predicados com mais de uma variável. Q(x,y) = x = y + 3 Q(1,2) é Falso Q(3,0) é Verdadeiro
14 Predicados Predicados ocorrem em programas if x>0 then x:= x + 1
15 Conjuntos É uma estrutura na qual todas as outras estruturas são construídas. São usadas para agrupar objetos. Um conjunto é uma coleção não ordenada de objetos. (usar letras maiúsculas). Objetos de um conjunto são chamados de elementos, ou membros, do conjunto.
16 Conjuntos Diz se que os elementos pertencem ao conjunto. Notação de pertinência: a A a A
17 Descrever um conjunto 1. Listar todos os seus elementos. 1. A = {a,b,c,d} 2. V = {a, e, i, o, u} 2. Usar... quando for obvio os elementos. 1. A = { 1, 2, 3, 4,..., 99} 3. Usar notação de construção de conjunto (quando não dá para listar) Estabelece uma propriedade
18 Conjuntos Importantes N = {0, 1, 2, 3,...} Conjunto dos números naturais Z = {..., -2, -1, 0, 1, 2, 3,...} Conjunto dos números inteiros Z + = {1, 2, 3,...} R Conjunto dos números inteiros positivos Conjunto dos números reais
19 Descrever um conjunto 1. Usar notação de construção de conjunto (quando não dá para listar) Estabelece uma propriedade O = {x x é um número inteiro positivo e impar menor que 10} O = {x Z + x é impar e x < 10}
20 Conjunto Verdade Um predicado é verdadeiro para um conjunto de elementos, este conjunto é chamado de conjunto verdade. Exemplo: P(x) = x + 1 > 8 Domínio: conjunto dos números naturais Conjunto Verdade: { x x pertence a N ^ x + 1 > 8} {8, 9, 10,...}
21 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0
22 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0 CV={3}
23 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0 CV={3} CV={0,1,2,3,4}
24 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 CV={3} P(x) = 5x + 6 = 0 CV={ } CV={0,1,2,3,4}
25 Operações Lógicas Sobre Predicados As operações lógicas que usamos para proposições estendem se a predicados. M(x) = x é médico P(x) = x é professor M(x) ^ P(x) x é médico e professor
26 Operações Lógicas sobre Predicados Conjunção P(x) = x>2 Q(x) = x<8 P(x) ^ Q(x) = 2 < x < 8 CV =??? em N
27 Operações Lógicas sobre Predicados Conjunção P(x) = x > 2 Q(x) = x < 8 P(x) ^ Q(x) = 2 < x < 8 CV = {3,4,5,6,7}
28 Operações Lógicas sobre Predicados Disjunção P(x) = x < 2 Q(x) = x > 8 P(x) v Q(x) = x < 2 ou x > 8 CV em N??? 0? 1? 2? 5?
29 Operações Lógicas sobre Predicados Negação P(x) = x é par ~P(x) =??? O conjunto verdade de um é o complemento do conjunto verdade do outro.
30 Operações Lógicas sobre Predicados Negação P(x) = x é par ~P(x) = x é impar O conjunto verdade de um é o complemento do conjunto verdade do outro.
31 Operações Lógicas sobre Predicados Negação P(x) = x é par ~P(x) = x é impar Q(x) = x < y ~Q(x) =??? O conjunto verdade de um é o complemento do conjunto verdade do outro.
32 Operações Lógicas sobre Predicados Negação P(x) = x é par ~P(x) = x é impar Q(x) = x < y ~Q(x) = x y O conjunto verdade de um é o complemento do conjunto verdade do outro.
33 Operações Lógicas sobre Predicados Condicional Temos: P(x) = x 2 5x + 6 = 0 Q(x) = x 2 9 = 0 P(x) Q(x) Lê se: Se x 2 5x + 6 = 0 então x 2 9 = 0
34 Condicional Seja: P(x) = x é divisível por x Quais são os valores verdades de P(x)?
35 Condicional Seja: P(x) = x é divisível por x Quais são os valores verdades de P(x)? 12/1 = 12 12/2 = 6 12/3 = 4 12/4 = 3 12/6 = 2 12/12 = 1
36 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x é divisível por x Quais são os valores verdades de Q(x)?
37 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x é divisível por x Quais são os valores verdades de Q(x)? 45/1 = 45 45/3 = 15 45/5 = 9 45/9 = 5 45/15 = 3 45/45 = 1
38 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(1) Q(1)?
39 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(1) Q(1)? P(1) = V Q(1) = V P(1)Q(1) = V V P(1)Q(1) = V
40 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(5) Q(5)?
41 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(5) Q(5)? P(5) = F Q(5) = V P(5)Q(5) = F V P(5)Q(5) = V
42 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(7) Q(7)?
43 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(7) Q(7)? P(7) = F Q(7) = F P(7)Q(7) = F F P(7)Q(7) = V
44 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(2) Q(2)?
45 Condicional Seja: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual valor verdade de P(2) Q(2)? P(2) = V Q(2) = F P(2)Q(2) = V F P(2)Q(2) = F
46 Propriedade da Condicional Sabemos que: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N?
47 Propriedade da Condicional Sabemos que: P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? Dica: P(x) Q(x) ~P(x) v Q(x)
48 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) Conjunto Verdade é o complemento do Conjunto Verdade de P(x)
49 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) Conjunto Verdade é o complemento do Conjunto Verdade de P(x) ~P(x) CV= N {1,2,3,4,6,12}
50 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) O que podemos concluir?
51 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) CV = N {1,2,3,4,6,12} {1,3,5,9,15,45} Resumindo...
52 Condicional P(x) = x 12 CV = {1,2,3,4,6,12} Q(x) = x 45 CV = {1,3,5,9,15,45} Qual o conjunto verdade de P(x) Q(x) em N? ~P(x) CV= N {1,2,3,4,6,12} Q(x) CV = {1,3,5,9,15,45} P(x) Q(x) ~P(x) v Q(x) CV = N {1,2,3,4,6,12} {1,3,5,9,15,45} CV = N {2,4, 6,12}
53 Perguntas????
54 Exercícios Rosen Lógica: pg 46 exercícios 1,2,3 Conjuntos: pg 119 exercícios 1,2
Fundamentos 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 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 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 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 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 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 dos Exercícios (Rosen 47) Prioridade dos Quantificadores (Rosen 38) Ligando Variáveis (Rosen 38) Quantificadores Agrupados Negando expressões com 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 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 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. 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 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) Predicados com duas variáveis. Equivalências lógicas (Rosen 39) Negando
Leia maisMatemática Básica Noções Básicas de Operações com Conjuntos / Conjuntos Numéricos
Matemática Básica Noções Básicas de Operações com Conjuntos / Conjuntos Numéricos 02 1. Noção intuitiva de conjunto Intuitivamente, entendemos como um conjunto: toda coleção bem definida de objetos (chamados
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 maisAulas 10 e 11 / 18 e 20 de abril
1 Conjuntos Aulas 10 e 11 / 18 e 20 de abril Um conjunto é uma coleção de objetos. Estes objetos são chamados de elementos do conjunto. A única restrição é que em geral um mesmo elemento não pode contar
Leia mais3 Cálculo Proposicional
3 Cálculo Proposicional O Cálculo Proposicional é um dos tópicos fundamentais da Lógica e consiste essencialmente da formalização das relações entre sentenças (ou proposições), de nidas como sendo frases
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. 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 maisFundamentos de Lógica e Algoritmos. Aula 1.3 Proposições e Conectivos. Prof. Dr. Bruno Moreno
Fundamentos de Lógica e Algoritmos Aula 1.3 Proposições e Conectivos Prof. Dr. Bruno Moreno bruno.moreno@ifrn.edu.br Argumentos Lógicos As premissas do argumento são chamadas de proposições; A conclusão
Leia maisJá falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.
Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.
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 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 Computacional
Matemática Computacional SLIDE V Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
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 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
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 maisMatemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
Leia maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
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 maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
Leia maisProposições. Belo Horizonte é uma cidade do sul do Brasil = 4. A Terra gira em torno de si mesma. 5 < 3
Proposições Lógicas Proposições O principal conceito usado nos estudos da lógica matemática é o de uma proposição. Uma proposição é essencialmente uma afirmação, transmite pensamentos completos, afirmando
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 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/53 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 maisAprendendo. Raciocínio. Lógico
Aprendendo Raciocínio Lógico Sentenças Abertas Raciocínio Lógico Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos:
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 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 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 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 maisMatemática Discreta - 07
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 07 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
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 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 maisSímbolo Nome lê-se como Categoria = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10.
Símbolo Nome lê-se como Categoria adição mais aritmética + 4 + 6 = 10 significa que se se somar 4 a 6, a soma, ou resultado, é 10. Exemplo: 43 + 65 = 108; 2 + 7 = 9 subtração menos aritmética - 9-4 = 5
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 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 mais1) Seja o conjunto A = (0;1). Quantas relações binárias distintas podem ser definidas sobre o conjunto A?
RESUMO A relação binária é uma relação entre dois elementos, sendo um conjunto de pares ordenados. As relações binárias são comuns em muitas áreas da matemática. Um par ordenado consiste de dois termos,
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 maisCurso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza
Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS Prof.: Marcelo Maraschin de Souza 3. Conjuntos Definição: Um conjunto é uma coleção desordenada de zero ou mais objetos, denominados
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 maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
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 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 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 maisMatemática Discreta. Exercícios. 19 de fevereiro de Os exercícios estão classificados de acordo com a seguinte legenda.
Matemática Discreta Exercícios 19 de fevereiro de 2018 Sumário 1 Elementos de Lógica 2 Os exercícios estão classificados de acordo com a seguinte legenda. -: exercícios de interesse marginal: complementam
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 maisIntrodução à Computação (IC) Linguagem C: Operadores relacionais e lógicos; e Estrutura condicional
Introdução à Computação (IC) Linguagem C: Operadores relacionais e lógicos; e Estrutura condicional Prof.ª Dr.ª Symone Gomes Soares Alcalá Universidade Federal de Goiás (UFG) Regional Goiânia (RG) Campus
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
Leia maisTodos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar
O que procuramos? Todos os pássaros têm pena. Nem todos os passáros voam. Todo inteiro primo maior que dois é ímpar Pode ser tratado no cálculo sentencial, o qual não captura toda estrutura da sentença.
Leia maisOFICINA DA PESQUISA APOSTILA 3 MATEMÁTICA COMPUTACIONAL. Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva
OFICINA DA PESQUISA DISCIPLINA: LÓGICA MATEMÁTICA E COMPUTACIONAL APOSTILA 3 MATEMÁTICA COMPUTACIONAL Autor do Conteúdo: Prof. Msc. Júlio Cesar da Silva juliocesar@eloquium.com.br Alterações eventuais
Leia maisCampos Sales (CE),
UNIERSIDADE REGIONAL DO CARIRI URCA PRÓ-REITORIA DE ENSINO E GRADUAÇÃO PROGRAD UNIDADE DESCENTRALIZADA DE CAMPOS SALES CAMPI CARIRI OESTE DEPARTAMENTO DE MATEMÁTICA DISCIPLINA: Tópicos de Matemática SEMESTRE:
Leia maisExercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues
Exercícios e Respostas Lógica Matemática Prof. Jacson Rodrigues As respostas encontram-se em itálico. 1. Quais das frases a seguir são sentenças? a. A lua é feita de queijo verde. erdadeira, pois é uma
Leia maisDefinição: Todo objeto parte de um conjunto é denominado elemento.
1. CONJUNTOS 1.1. TEORIA DE CONJUNTOS 1.1.1. DEFINIÇÃO DE CONJUNTO Definição: Conjunto é toda coleção de objetos. Uma coleção de números é um conjunto. Uma coleção de letras é um conjunto. Uma coleção
Leia maisEquação algébrica Equação polinomial ou algébrica é toda equação na forma anxn + an 1 xn 1 + an 2 xn a 2 x 2 + a 1 x + a 0, sendo x
EQUAÇÃO POLINOMIAL Equação algébrica Equação polinomial ou algébrica é toda equação na forma a n x n + a n 1 x n 1 + a n 2 x n 2 +... + a 2 x 2 + a 1 x + a 0, sendo x C a incógnita e a n, a n 1,..., a
Leia maisAplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1
Aplicações da teoria de conjuntos álgebra booleana Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1 CONJUNTOS Conjuntos são fundamentais para formalização de qualquer teoria.
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 maisAula 04 Operações Lógicas sobre Proposições. Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes
Aula 04 Operações Lógicas sobre Proposições Disciplina: Fundamentos de Lógica e Algoritmos Prof. Bruno Gomes Agenda da Aula Tabela da Verdade; Operações Lógicas sobre Proposições; Revisando As proposições
Leia maisMAT105 - Fundamentos de Matemática Elementar I
MAT105 - Fundamentos de Matemática Elementar I Prof. Dr. Diogo Machado (diogo.machado@ufv.br) 1o semestre de 2016 Universidade Federal de Viçosa - UFV Departamento de Matemática Um dos mais importantes
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 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 maisn. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS
n. 28 RELAÇÕES BINÁRIAS ENTRE CONJUNTOS Uma relação é um conjunto de pares ordenados, ou seja, um subconjunto de A B. Utilizando pares ordenados podemos definir relações por meio da linguagem de conjuntos.
Leia maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número
Leia maisProposta de teste de avaliação
Proposta de teste de avaliação Matemática A 10. O ANO DE ESCOLARIDADE Duração: 90 minutos Data: Grupo I Na resposta aos itens deste grupo, selecione a opção correta. Escreva, na folha de respostas, o número
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 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 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 maisIntrodução à Computação
Introdução à Computação Programação para Engenharia Cinara Menegazzo 2016/01 1 Proposição: Afirmação que se faz a respeito de um domínio de problema João é inteligente. Maria é a melhor aluna da turma.
Leia maisRaciocínio Lógico. Sentenças Abertas
Raciocínio Lógico Sentenças Abertas Sentenças matemáticas abertas ou simplesmente sentenças abertas são expressões que não podemos identificar como verdadeiras ou falsas. Exemplos: Ø x + 4 = 12. Essa expressão
Leia maisTutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Inclusão Operações com conjuntos
Tutoria Matemática para Informática Teoria geral dos conjuntos Pertinência Є (pertence) ou Є (não pertence) Sempre verificando de elemento para conjunto { } ou Ø = vazio {Ø} = conjunto com elemento vazio
Leia maisTeoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos. Teoria dos Conjuntos
Pode-se dizer que a é em grande parte trabalho de um único matemático: Georg Cantor (1845-1918). noção de conjunto não é suscetível de definição precisa a partir d noções mais simples, ou seja, é uma noção
Leia 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 maisSistemas Inteligentes
Sistemas Inteligentes Aula 21/10 Agentes Lógicos Agente Baseado em Conhecimento Agentes Baseados em Conhecimento ou Agentes Lógicos. Podem lidar mais facilmente com ambientes parcialmente observáveis.
Leia maisExistem conjuntos em todas as coisas e todas as coisas são conjuntos de outras coisas.
MÓDULO 3 CONJUNTOS Saber identificar os conjuntos numéricos em diferentes situações é uma habilidade essencial na vida de qualquer pessoa, seja ela um matemático ou não! Podemos dizer que qualquer coisa
Leia maisIntrodução à Computação
Introdução à Computação Tipos de Dados, Expressões, Operadores e Comandos Básicos Prof.: Julliano Rosa Nascimento julliano.rn@gmail.com Roteiro Tipos de Dados: Revisão Expressões Operadores Comandos Básicos
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia maisProf. João Giardulli. Unidade I LÓGICA
Prof. João Giardulli Unidade I LÓGICA Introdução A primeira qualidade do estilo é a clareza. Aristóteles Introdução Aristóteles é considerado o precursor da lógica. Aristóteles (384-322 a.c.) Introdução
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 mais2016 / Nome do aluno: N.º: Turma:
Teste de Matemática A 2016 / 2017 Teste N.º 1 Matemática A Duração do Teste: 90 minutos 10.º Ano de Escolaridade Nome do aluno: N.º: Turma: Grupo I Os cinco itens deste grupo são de escolha múltipla. Em
Leia maisIntrodução à Programação I
Introdução à Programação I Programação Estruturada Álgebra Booleana e Expressões Compostas Material da Prof. Ana Eliza Definição: Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem
Leia maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 2: Introdução à lógica Seção 2.3 Equivalências, contradições e tautologias 1 Proposições compostas Composta de duas ou mais proposições simples Tanto a primeira como
Leia maisCoordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
Leia maisInteligência Artificial. Sistemas Baseados em Conhecimento. Representação de Conhecimento (continuação)
Universidade Estadual do Oeste do Paraná Curso de Bacharelado em Ciência da Computação http://www.inf.unioeste.br/~claudia/ia2018.html Inteligência Artificial Sistemas Baseados em Conhecimento Representação
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 maisResumo. Sistemas e Sinais Conjuntos e Funções. Conjuntos. Aula de Hoje
Resumo Sistemas e Sinais Conjuntos e Funções lco@ist.utl.pt Instituto Superior Técnico Conjuntos. Atribuição e asserção. Operadores, variáveis e predicados. Quantificadores. Produto cartesiano. Funções.
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 maisAlgoritmia e Programação APROG. Algoritmia 1. Lógica Proposicional (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12
APROG Algoritmia e Programação Algoritmia 1 Lógica (Noções Básicas) Nelson Freire (ISEP DEI-APROG 2013/14) 1/12 Sumário Lógica Qual é o interesse para a algoritmia? O que é? Cálculo (Noções Básicas) Operações
Leia maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia mais