Fundamentos 1. Lógica de Predicados
|
|
|
- Vinícius Freire
- 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 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) b) P(4) c) P(6)
16 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) é Verdade b) P(4) c) P(6)
17 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) é Verdade b) P(4) é Verdade c) P(6)
18 Exercícios Rosen pg 46 1) Considere P(x) como o predicado x 4. Quais são os valores verdade das proposições abaixo? a) P(0) é Verdade b) P(4) é Verdade c) P(6) é Falso
19 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) b) P(lemon) c) P(true) d) P(false)
20 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) é Verdade b) P(lemon) c) P(true) d) P(false)
21 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) é Verdade b) P(lemon) é Falso c) P(true) d) P(false)
22 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) é Verdade b) P(lemon) é Falso c) P(true) é Falso d) P(false)
23 Exercícios Rosen pg 46 2) Considere P(x) como o predicado a palavra x contém a letra a. Quais são os valores verdade das proposições abaixo? a) P(orange) é Verdade b) P(lemon) é Falso c) P(true) é Falso d) P(false) é Verdade
24 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.
25 Conjuntos Diz se que os elementos pertencem ao conjunto. Notação de pertinência: a A a A
26 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
27 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
28 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}
29 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,...}
30 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 P(x) = x 1 < 4 P(x) = 5x + 6 = 0
31 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 CV={3} P(x) = x 1 < 4 P(x) = 5x + 6 = 0
32 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 CV={3} P(x) = x 1 < 4 CV={0,1,2,3,4} P(x) = 5x + 6 = 0
33 Exercícios Determinar o conjunto verdade em N dos predicados. P(x) = 2x = 6 CV={3} P(x) = x 1 < 4 CV={0,1,2,3,4} P(x) = 5x + 6 = 0 CV={ }
34 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
35 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
36 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}
37 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?
38 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.
39 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.
40 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.
41 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.
42 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
43 Condicional Seja: P(x) = x é divisível por x Quais são os valores verdades de P(x)?
44 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
45 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)?
46 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
47 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)?
48 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
49 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)?
50 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
51 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)?
52 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
53 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)?
54 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
55 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?
56 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)
57 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)
58 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}
59 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?
60 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...
61 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}
62 Perguntas????
63 Exercícios Rosen pagina a,b,c 12 a,b,c
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.
Fundamentos 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
Ló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
Ló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
Ló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
Conteú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
Ló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
Ló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
Ló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
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
Bases 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.
MÓ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
Ló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
Ló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
Aulas 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
Matemá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
Ló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
Predicados 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
Fundamentos 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
Quantificadores, 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
1 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,
Matemá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+:
Já 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.
Matemá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
3 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
Ló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
Afirmaçõ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,
Teoria 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
Cá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
Atençã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
MD 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
MATEMÁ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
Teoria 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
Matemá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
Introduçã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
Matemá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
Sí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
Ló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
INE5403 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
Matemá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
Programaçã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
Cá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
Proposiçõ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
Ló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
Matemá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
Introduçã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
Aplicaçõ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.
Curso: 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
Matemá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
Ló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
Definiçã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
Os 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
Ló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),
MAT105 - 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
Campos 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:
Questõ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
INE5403 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
Matemá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,
1) 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,
CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA
CONJUNTOS RELAÇÕES DE PERTINÊNCIA, INCLUSÃO E IGUALDADE; OPERAÇÕES ENTRE CONJUNTOS, UNIÃO, INTER- SEÇÃO E DIFERENÇA CONJUNTO: É um conceito primitivo associado à idéia de coleção.. - INDICAÇÃO: Os conjuntos
2 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
Aprendendo. 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:
Matemá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
Introduçã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
1 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
OFICINA 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
Exercí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
Equaçã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
Todos 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.
Conteú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
Apresentaçã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
Aula 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
Prof. 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
Tutoria 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
Resumo. 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.
A = B, isto é, todo elemento de A é também um elemento de B e todo elemento de B é também um elemento de A, ou usando o item anterior, A B e B A.
Capítulo 1 Números Reais 1.1 Conjuntos Numéricos Um conjunto é uma coleção de elementos. A relação básica entre um objeto e o conjunto é a relação de pertinência: quando um objeto x é um dos elementos
Fundamentos 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
a. O conjunto de todos os brasileiros. b. O conjunto de todos os números naturais. c. O conjunto de todos os números reais tal que x²-4=0.
Introdução aos conjuntos No estudo de Conjuntos, trabalhamos com alguns conceitos primitivos, que devem ser entendidos e aceitos sem definição. Para um estudo mais aprofundado sobre a Teoria dos Conjuntos,
Teoria 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
Sistemas 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.
Matemática Computacional
Matemática Computacional SLIDE 1I Professor Júlio Cesar da Silva juliocesar@eloquium.com.br site: http://eloquium.com.br/ twitter: @profjuliocsilva facebook: https://www.facebook.com/paginaeloquium Google+:
Sumário. 2 Índice Remissivo 9
i Sumário 1 Teoria dos Conjuntos e Contagem 1 1.1 Teoria dos Conjuntos.................................. 1 1.1.1 Comparação entre conjuntos.......................... 2 1.1.2 União de conjuntos...............................
Notas de Aula de Probabilidade A
I- CONCEITOS INICIAIS. 1.1- INTRODUÇÃO. PROBABILIDADE POPULAÇÃO AMOSTRA ESTATÍSTICA 1.2- CONJUNTOS. 1.2.1- DEFINIÇÃO. Conjunto é uma coleção de objetos chamados de elementos do conjunto. Em geral denota-se
INTRODUÇÃ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
Vimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Teoria Ingênua dos Conjuntos (naive set theory)
Teoria Ingênua dos Conjuntos (naive set theory) MAT 131-2018 II Pouya Mehdipour 5 de outubro de 2018 Pouya Mehdipour 5 de outubro de 2018 1 / 22 Referências ALENCAR FILHO, E. Iniciação à Lógica Matemática,
Negaçã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
n. 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.
INSTITUTO FEDERAL FARROUPILHA CÂMPUS ALEGRETE
1 1. LÓGICA SETENCIAL E DE PRIMEIRA Conceito de proposição ORDEM Chama-se proposição todo o conjunto de palavras ou símbolos que exprimem um pensamento de sentido completo, seja este verdadeiro ou falso.
Aula 4: Álgebra booleana
Aula 4: Álgebra booleana Circuitos Digitais Rodrigo Hausen CMCC UFABC 01 de fevereiro de 2013 http://compscinet.org/circuitos Rodrigo Hausen (CMCC UFABC) Aula 4: Álgebra booleana 01 de fevereiro de 2013
Lógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Capí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
Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática
Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática 2014 Na teoria dos conjuntos três noções são aceitas sem denição (noção primitiva):: Conjunto;
Proposta 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
Proposta 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
Teoria da Computação
Introdução Março - 2009 1 Noções e Terminologia Matemática Conjuntos Um conjunto é um grupo de objetos, chamados elementos ou membros, representado como uma unidade. O conjunto { 3, 41, 57} possui os elementos
MATEMÁTICA. Aula 2 Teoria dos Conjuntos. Prof. Anderson
MATEMÁTICA Aula 2 Teoria dos Conjuntos Prof. Anderson CONCEITO Na teoria dos conjuntos, um conjunto é descrito como uma coleção de objetos bem definidos. Estes objetos são chamados de elementos ou membros
COMO 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
Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES
Lógica Matemática e Computacional Não sou o melhor, sei disso, mas faço o melhor que posso!! RANILDO LOPES 2. Conceitos Preliminares 2.1. Sentença, Verdade e Proposição Cálculo Proposicional Como primeira