MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
|
|
|
- Yan Leal Mirandela
- 8 Há anos
- Visualizações:
Transcrição
1 MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007
2 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1
3 CONJUNTOS
4 A NOÇÃO DE CONJUNTO O que têm em comum as seguintes entidades? um grupo de pessoas um rebanho de animais um buquê de flores uma dúzia de ovos 3
5 A NOÇÃO DE CONJUNTO O que têm em comum as seguintes entidades? um grupo de pessoas um rebanho de animais um buquê de flores uma dúzia de ovos Conjunto Coleção de objetos denominados elementos ou membros do conjunto. 4
6 A NOÇÃO DE CONJUNTO O que têm em comum as seguintes entidades? um grupo de pessoas um rebanho de animais um buquê de flores uma dúzia de ovos Conjunto Coleção não ordenada de objetos (denominados elementos ou membros do conjunto). Notação x A: x pertence a A x A: x não pertence a A 5
7 COMO DEFINIR UM CONJUNTO Listar seus elementos entre chaves. Exemplos: A = {1, 3, 5, 7, 9}; V = {a, e, i, o, u}; F = {laranja, banana, abacaxi}. 6
8 COMO DEFINIR UM CONJUNTO Listar seus elementos entre chaves. Exemplos: A = {1, 3, 5, 7, 9}; V = {a, e, i, o, u}; F = {laranja, banana, abacaxi}. Utilizar a forma A = {x : P (x)}. Exemplo: A = {x : x é um inteiro positivo, ímpar e menor que 10}. 7
9 COMO DEFINIR UM CONJUNTO Listar seus elementos entre chaves. Exemplos: A = {1, 3, 5, 7, 9}; V = {a, e, i, o, u}; F = {laranja, banana, abacaxi}. Utilizar a forma A = {x : P (x)}. Exemplo: A = {x : x é um inteiro positivo, ímpar e menor que 10}. Fazer uma definição recursiva. Exemplo: (a) 1 A, (b) se x A e x + 2 < 10, então x + 2 A. 8
10 OBSERVAÇÕES Conjuntos podem ser definidos por meio de operações sobre outros conjuntos previamente definidos. Exemplo: A = {1, 9} B. Nem sempre é possível utilizar todos os tipos de definições. Exemplo: {x : x é um número real entre 0 e 1} não pode ser definido recursivamente. P (x) não pode ser qualquer propriedade. Exemplo (paradoxo de Russel): S = {x : x x}; S S? 9
11 ALGUNS CONJUNTOS IMPORTANTES : = {}, o conjunto vazio (observe que = { }). N: números naturais: {0, 1, 2, 3,...}. Z: números inteiros: {..., 3, 2, 1, 0, 1, 2, 3,...}. Q: números racionais: {x/y : x Z e y Z e y 0}. R: números reais. 10
12 OPERAÇÕES SOBRE CONJUNTOS União: A B = {x : x A ou x B}. Diagrama de Venn: A B A B 11
13 OPERAÇÕES SOBRE CONJUNTOS Interseccão: A B = {x : x A e x B}. Diagrama de Venn: A B A B 12
14 OPERAÇÕES SOBRE CONJUNTOS Diferença: A B = {x : x A e x B}. Diagrama de Venn: A B A B 13
15 ALGUMAS PROPRIEDADES DAS OPERAÇÕES Idempotência: A A = A A = A. Comutatividade: A B = B A; A B = B A. Associatividade: (A B) C = A (B C); (A B) C = A (B C). Absorção: A (A B) = A; A (A B) = A. Distributividade: A (B C) = (A B) (A C); A (B C) = (A B) (A C). De Morgan: A (B C) = (A B) (A C); A (B C) = (A B) (A C). 14
16 MAIS TRÊS OPERAÇÕES Complemento: Ā = U A (U é o conjunto universo). União generalizada: Interseção generalizada: n n i=1 A i = A 1 A 2... A n i=1 A i = A 1 A 2... A n 15
17 RELAÇÕES ENTRE CONJUNTOS Continência: A está contido em B se, e somente se, todo elemento de A é elemento de B. Ou seja: A B x (x A x B). Igualdade: A = B A B e B A. Subconjunto próprio: A B A B e A B 16
18 ALGUMAS PROPRIEDADES DA CONTINÊNCIA Reflexividade: A A. Transitividade: A B e B C A C. A B A B e B A. A B e A C B C. 17
19 CONJUNTOS DISJUNTOS A e B são disjuntos se, e somente se, A B =. 18
20 PARTIÇÃO Uma partição de um conjunto A é um conjunto {X 1, X 2,..., X n } tal que: X i, para 1 i n; X i X j =, para 1 i j n; e n i=1 X i = A. 19
21 CONJUNTO POTÊNCIA P(A) = {X : X A}. Exemplo: P({a, b}) = {, {a}, {b}, {a, b}}. Quantos elementos tem o conjunto potência? 20
22 PRODUTO CARTESIANO Par ordenado: (x, y). Propriedade fundamental: (a, b) = (c, d) a = c e b = d. Produto cartesiano de A e B: A B = {(x, y) : x A e y B} Exemplos: {a, b} {1, 2} = {(a, 1), (a, 2), (b, 1), (b, 2)}. {a, b} {a, b} = {(a, a), (a, b), (b, a), (b, b)}. Notação: A 2 denota A A = {(x, y) : x, y A} 21
23 RELAÇÕES E FUNÇÕES
24 RELAÇÕES BINÁRIAS Uma relação binária sobre A e B é um subconjunto de A B. Notações alternativas para (x, y) R: xry e R(x, y). Exemplo: Relação < sobre N: <= {(0, 1), (0, 2),..., (1, 2), (1, 3),...} 23
25 PROPRIEDADES DE RELAÇÕES BINÁRIAS Seja R uma relação binária sobre A. Então: R é reflexiva xrx para todo x A. Exemplos: e = sobre N. R é simétrica xry yrx para todo x, y A. Exemplos: = sobre N, e irmãos sobre Pessoas. R é transitiva xry e yrz xrz para todo x, y, z A. Exemplos: <, e = sobre N. 24
26 RELAÇÕES DE EQUIVALÊNCIA Relação de equivalência: aquela que é reflexiva, simétrica e transitiva. Exemplo: R = {(x, y) : x, y N e x + y é par} Seja R uma relação de equivalência sobre A, e a A. A classe de equivalência de a é: Exemplo: para a relação tem-se: E a = {b : b A e arb}. R = {(x, y) : x, y N e x + y é par} E n = {0, 2, 4, 6,...} se n é par {1, 3, 5, 7,...} se n é ímpar 25
27 RELAÇÕES DE EQUIVALÊNCIA Proposição: Seja uma relação de equivalência R sobre um conjunto não vazio A. Então {E a : a A} é uma partição de A. Prova: basta mostrar que: E a para todo a A; a A E a = A; e E a E b = se E a E b. 26
28 FUNÇÕES Uma função f, de A para B, é uma relação sobre A e B tal que: para cada a A existe exatamente um b tal que (a, b) f. Exemplos: pai de Pessoas para Pessoas. + de R R para R. 27
29 FUNÇÕES Notação e terminologia: f : A B significa que f é uma função de A para B. b = f(a) significa (a, b) f. Se b = f(a), então b é a imagem de a. Seja f : A B. Então: domínio de f: A; contra-domínio de f: B; imagem de f: {b : existe a tal que f(a) = b}. 28
30 FUNÇÕES Três tipos de funções: f é injetiva ( one-to-one ) se f(a 1 ) = b e f(a 2 ) = b a 1 = a 2. f é sobrejetiva ( onto ) se a imagem de f é o contra-domínio de f. f é bijetiva (correspondência um-para-um) se é injetiva e sobrejetiva. 29
31 FUNDAMENTOS DE LÓGICA
32 O CONCEITO DE PROPOSIÇÃO Proposição: afirmação que é verdadeira ou falsa. Exemplos: Belo Horizonte é a capital de Minas Gerais. (verdadeira) Campinas é a capital de São Paulo. (falsa) = 4. (verdadeira) = 1. (falsa) 31
33 PROPOSIÇÃO SIMPLES E COMPOSTA Proposição simples: representada por meio de variável proposicional (p, q, r, s,...). Proposição composta: combinação de proposições por meio de conectivos lógicos. Conectivos lógicos: Negação: Conjunção: Disjunção: Implicação: Bicondicional: 32
34 EXEMPLOS DE PROPOSIÇÃO SIMPLES E COMPOSTAS Proposições simples: p: você fez mais de 80 km/h. q: você foi multado. Proposições compostas: p: você não fez mais de 80 km/h. p q: você fez mais de 80 km/h, mas não foi multado. p q: você não fez mais de 80 km/h ou foi multado. p q: se você não fez mais de 80 km/h, então não foi multado. 33
35 TABELAS DA VERDADE: Negação: α α V F F V 34
36 TABELAS DA VERDADE: Conjunção: α β α β V V V V F F F V F F F F 35
37 TABELAS DA VERDADE: Disjunção: α β α β V V V V F V F V V F F F 36
38 TABELAS DA VERDADE: Condicional: α β α β V V V V F F F V V F F V 37
39 TABELAS DA VERDADE: Bicondicional: α β α β V V V V F F F V F F F V 38
40 EXPRESSÕES PARA A CONDICIONAL α β se α então β α implica β se α, β α somente se β α é suficiente para β β se α β caso α β é necessário para α 39
41 EXPRESSÕES PARA A BICONDICIONAL α β α se e somente se β α é necessário e suficiente para β se α então β, e vice-versa 40
42 TIPOS DE FÓRMULAS Tautologia: proposição que é sempre verdadeira. Contradição: proposição que é sempre falsa. Contingência: proposição que não é tautologia nem contradição. 41
43 EXEMPLOS contingência tautologia contradição p q p q (p (p q)) q p (p q) V V V V F V F F V F F V F V F F F V V F 42
44 CONSEQUÊNCIA LÓGICA α é consequência lógica de β, β = α, se e somente se α é verdadeira sempre que β é verdadeira. Exemplo: p (p q) = q, pois: p q p q p (p q) = V V V V = V F F F F V V F F F V F 43
45 CONSEQUÊNCIA LÓGICA Teorema: β = α se, e somente se, β α é tautologia. Exemplos: [(p q) (q r)] (p r) é tautologia. Logo, (p q) (q r) = p r. (p p) q é tautologia. Logo, p p = q. 44
46 EQUIVALÊNCIA LÓGICA α e β são logicamente equivalentes, β α, se e somente se α = β e β = α Exemplo: (p q) p q, pois: p q p q (p q) p q p q V V V F F F F V F F V F V V F V F V V F V F F F V V V V 45
47 EQUIVALÊNCIA LÓGICA Teorema: α β se, e somente se, α β é tautologia. Exemplos: (p q) ( p q) é tautologia. Logo, p q p q. [p (q r)] [(p q) r] é tautologia. Logo, p (q r) (p q) r. 46
48 PREDICADOS E QUANTIFICADORES Exemplos de fórmulas atômicas: irmãos(abel, Caim) = 4 x 0 x = y + 1 irmãos, = e são predicados. Predicados denotam relações. 47
49 PROPOSIÇÕES SIMPLES Uma proposição simples é representada por uma fórmula atômica. Exemplos: irmãos(abel, Caim) (verdadeira) = 4 (verdadeira) 1 0 (falsa) 0 = (verdadeira) 48
50 PROPOSIÇÕES COMPOSTAS Representadas a partir de fórmulas atômicas, utilizando-se conectivos lógicos. Exemplos: irmãos(abel, Caim) irmãos(caim, Abel) =
51 OS QUANTIFICADORES Dois conectivos lógicos adicionais: Quantificador universal: Quantificador existencial: Exemplos de fórmulas quantificadas: x x 0 x y (irmãos(x, y) irmãos(y, x)) x x 0 x y x = y + 1 x y x = y
52 EXEMPLO Sejam: A(x): x é uma arara. M(x): x é multicor. Q(x): x é pequena. G(x): x faz ninho em árvores altas. 51
53 EXEMPLO Representação de algumas afirmações: Todas as araras são multicores. x (A(x) M(x)) Nenhum pássaro pequeno faz ninho em árvores altas. x (Q(x) G(x)) Pássaros que não fazem ninhos em árvores altas não são multicores. x ( G(x) M(x)) Conclusão: Araras são grandes. x (A(x) Q(x)) 52
54 ALGUMAS EQUIVALÊNCIAS LÓGICAS x P (x) x P (x) x P (x) x P (x) xp (x) x P (x) xp (x) x P (x) x (P (x) Q(x)) x P (x) x Q(x) x (P (x) Q(x)) x P (x) x Q(x) 53
55 ALGUMAS CONSEQUÊNCIAS LÓGICAS x P (x) = P (A) P (A) = x P (x) x P (x) x Q(x) = x (P (x) Q(x)) x (P (x) Q(x)) = x P (x) x Q(x) x y P (x, y) = y x P (x, y) 54
56 TÉCNICAS ELEMENTARES DE PROVA Serão vistas técnicas de prova para proposições das formas: α β x α(x) xα(x) x α(x) x α(x) além de raciocínio por casos e por absurdo. 55
57 TÉCNICAS PARA IMPLICAÇÃO (α β) Prova por vacuidade: Base: contradição β é tautologia. Método: Provar que α é falsa. Exemplo: é subconjunto de qualquer conjunto. 56
58 TÉCNICAS PARA IMPLICAÇÃO (α β) Prova trivial: Base: α tautologia é tautologia. Método: Provar que β é sempre verdadeira. Exemplo: Se x e y são números irracionais então x y é um número racional ou irracional. 57
59 TÉCNICAS PARA IMPLICAÇÃO (α β) Prova direta: Base: Se α = β então α β é sempre verdadeira. Método: a) supor que α é verdadeira; b) mostrar que, neste caso, β é verdadeira. Exemplo: Se n é um número ímpar, então n 2 é um número ímpar. 58
60 TÉCNICAS PARA IMPLICAÇÃO (α β) Prova indireta: Base: α β β α. Método: Provar β α, utilizando um dos métodos acima. Exemplo: O princípio da casa de pombos (pigeonhole principle): se n + 1 objetos são distribuidos em n caixas, então alguma caixa conterá pelo menos dois objetos. 59
61 TÉCNICA PARA A UNIVERSAL ( x α(x)) Prova para a universal: Base: Se β = α(c) e c não ocorre em β, então β = x α(x). Método: a) Supor a existência de um c arbitrário; b) provar α(c). 60
62 TÉCNICAS ELEMENTARES DE PROVA Prova por Casos: Base: (α 1 α n ) (α 1 β) (α n β) = β Método para provar β dado que α 1 α n : 1. provar α 1 β; 2. provar α 2 β;. n. provar α n β. Exemplo: min(x, y) + max(x, y) = x + y para quaisquer x, y R. 61
63 TÉCNICAS ELEMENTARES DE PROVA Prova por Contradição (redução a absurdo) de α: Base: Se β α = contradição, então β = α. Método: a) Supor que α é sempre falsa; b) derivar uma contradição. Exemplo: 2 é irracional. 62
64 PROVA DE NÃO EXISTÊNCIA (prova de x α(x)) xα(x) é frequentemente provado por contradição: supor que existe um c tal que α(c); derivar uma contradição. 63
65 PROVA DE EXISTÊNCIA (prova de x α(x)) Prova construtiva: Base: α(c) = x α(x). Método: Provar α(c), para um elemento específico c. Exemplo: Para qualquer n N existem pelo menos n naturais consecutivos não primos. 64
66 PROVA DE EXISTÊNCIA (prova de x α(x)) Prova não construtiva: Método: Provar x α(x), sem exibir um x específico (por absurdo, por casos,... ). Exemplo: Existem dois irracionais x e y tais que x y é racional. 65
67 CONTRA-EXEMPLO (para provar x α(x)) Prova por contra-exemplo: Base: α(c) = x α(x) Método: Exibir, ou construir, um elemento c para o qual α(c) é falsa. Exemplo: Todo número primo é ímpar. 66
68 INDUÇÃO MATEMÁTICA Prova por Indução Matemática para provar x α(x), quando o universo é N: Base: α(0) x (α(x) α(x + 1)) = xα(x). Método: a) Passo Base: provar α(0); b) Passo Indutivo: provar x (α(x) α(x + 1)). 67
69 FIM 68
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
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos Karina Girardi Roggia [email protected] Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa
Álgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas [email protected] 2007/2008 Álgebra Linear e Geometria Analítica
LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos
LFA Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos Técnicas de Demonstração Um teorema é uma proposição do tipo: p q a qual, prova-se, é verdadeira sempre que: p q Técnicas de Demonstração
1 Operações com conjuntos
Notas sobre Conjuntos (2) Anjolina Grisi de Oliveira 1 Operações com conjuntos Definição 1 (União) Sejam A e B dois conjuntos arbitrários. A união dos conjuntos A e B, denotada por A B, é o conjunto que
complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem
Relações de Equivalência e de Ordem complemento para a disciplina de Matemática Discreta versão 1 Jerônimo C. Pellegrini 5 de agosto de 2013 ii Sumário Sumário Nomenclatura 1 Conjuntos e Relações 1 1.1
Revisão de Matemática Discreta
Apêndice A Revisão de Matemática Discreta Neste apêndice serão revisados, de forma sucinta, os conceitos matemáticos necessários para o entendimento do assunto tratado neste texto. Inicialmente, na Seção
SMA Elementos de Matemática Notas de Aulas. Ires Dias - Sandra Maria Semensato de Godoy
SMA - 341 - Elementos de Matemática Notas de Aulas Ires Dias - Sandra Maria Semensato de Godoy 2006 Capítulo 1 Noções de Lógica Lógica é a higiene usada pelos matemáticos para conservar suas idéias saudáveis
2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76
Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG 2019/01 Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG - 2019/01 1 / 76
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
Para Computação. Aula de Monitoria - Miniprova
Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.
Matemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes [email protected] DCC-FCUP Complexidade 2002/03 1 Teoria de Conjuntos Um conjunto é uma colecção de objectos/elementos/membros. (Cantor
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
Teoria Elementar dos Conjuntos
Teoria Elementar dos Conjuntos Este capítulo visa oferecer uma breve revisão sobre teoria elementar dos conjuntos. Além de conceitos básicos importantes em matemática, a sua imprtância reside no fato da
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 [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira ou falsa.
Tema 1 Lógica e Teoria dos Conjuntos 1. Proposições e valores lógicos. Um termo ou designação é uma expressão que nomeia ou designa um ente.. Uma proposição é toda a expressão p susceptível de ser verdadeira
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;
Introduçã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 é
Teoria Elementar dos Conjuntos
Teoria Elementar dos Conjuntos Última revisão em 27 de fevereiro de 2009 Este texto é uma breve revisão sobre teoria elementar dos conjuntos. Em particular, importam-nos os aspectos algébricos no estudo
Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Teoria intuitiva de conjuntos
Teoria intuitiva de conjuntos.................................... 1 Relação binária............................................ 10 Lista 3................................................. 15 Teoria intuitiva
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,
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 [email protected] http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
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,
SMA0341 e SLC Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA0341 e SLC0603 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2012 Sumário
Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos
Conjuntos AULA 1 Aula 1 Conjuntos Meta conjuntos. Introduzir as noções básicas de conjunto e produto cartesiano de Objetivos Ao final desta aula, você deve ser capaz de: Definir as noções básicas de conjunto
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
ENFOQUE USANDO CORTES DE DEDEKIND
Universidade Estadual de Maringá - Departamento de Matemática Cálculo Diferencial e Integral: um KIT de Sobrevivência c Publicação eletrônica do KIT http://www.dma.uem.br/kit CONSTRUÇÃO DOS REAIS: UM ENFOQUE
n. 25 DIAGRAMAS DE VENN
n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu
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 [email protected] www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Para provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há
1 Produto Cartesiano Par Ordenado A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há casos entretanto em que a ordem é importante. Daí a necessidade de se introduzir
Pontifícia Universidade Católica do Rio Grande do Sul
Pontifícia Universidade Católica do Rio Grande do Sul Faculdade de Matemática - Departamento de Matemática Estruturas Algébricas Prof. M.Sc. Guilherme Luís Roëhe Vaccaro e-mail: [email protected] Prof.
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 Sentenças, representação
01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional
Capítulo 3 Propriedades semânticas da Lógica Proposicional 1 Introdução Propriedades Definição 3.1 (propriedades semânticas básicas da Lógica Proposicional) Sejam H, G, H 1, H 2,...,H n, fórmulas da Lógica
Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare
Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática Caxias do Sul, julho de. ÍNDICE TEORIA DOS CONJUNTOS...4. RELAÇÃO DE PERTINÊNCIA...4. ALGUNS CONJUNTOS IMPORTANTES...4.
Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE
Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se
Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.
Matemática Discreta ESTiG\IPB Cap2. Relações. Funções pg 4 Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x. então Produto cartesiano do conjunto A pelo conjunto B [cartesian product].
UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação
Prova Parcial 1 2011-2 Aluno(a): Data: 08/09/2011 1. (3p) Usando regras de inferência, prove que os argumentos são válidos. Use os símbolos proposicionais indicados: a. A Rússia era uma potência superior,
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 para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes [email protected] DCC-FCUP Complexidade 2002/03 1 Relações Definição: Uma relação binária de um conjunto A num conjunto B é um subconjunto
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
P L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o
P L A N I F I C A Ç Ã 0 E n s i n o S e c u n d á r i o 2015-2016 DISCIPLINA / ANO: Matemática A 10ºano de escolaridade MANUAL ADOTADO: NOVO ESPAÇO 10 GESTÃO DO TEMPO Nº de Nº de Nº de tempos tempos tempos
LÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: [email protected]
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO (Aprovados em Conselho Pedagógico de 27 de outubro de 2015) AGRUPAMENTO DE CLARA DE RESENDE CÓD. 152 870 No caso específico
Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação
Curso: Ciência da Computação Turma: 6ª Série Aula 2 Conceitos Básicos da Computação pode ser definida como a solução de um problema ou, formalmente, o cálculo de uma função, através de um algoritmo. A
INE Fundamentos de Matemática Discreta para a Computação
INE5403 - Fundamentos de Matemática Discreta para a Computação 5) Relações 5.1) Relações e Dígrafos 5.2) Propriedades de Relações 5.3) Relações de Equivalência 5.4) Manipulação de Relações 5.5) Fecho de
MD Teoria dos Conjuntos 1
Teoria dos Conjuntos Renato Martins Assunção [email protected] Antonio Alfredo Ferreira Loureiro [email protected] MD Teoria dos Conjuntos 1 Introdução O que os seguintes objetos têm em comum? um
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (11 de setembro a 15 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
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
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.
Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial
Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por
NHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Alfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
n. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: MATEMÁTICA A ANO:10.º Planificação (Conteúdos)... Período Letivo: 1.º Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas Álgebra - Radicais
SMA 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
Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas. Lógica e Teoria dos conjuntos: Introdução à lógica bivalente e à Teoria dos conjuntos
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (15 de setembro a 16 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
1 Conjuntos, Números e Demonstrações
1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para
Demonstrações. Terminologia Métodos
Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:
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.
Ló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)}.
Relações binárias. Laura Goulart. 7 de Março de 2018 UESB. Laura Goulart (UESB) Relações binárias 7 de Março de / 1
Relações binárias Laura Goulart UESB 7 de Março de 2018 Laura Goulart (UESB) Relações binárias 7 de Março de 2018 1 / 1 Produto Cartesiano Dados E, F conjuntos quaisquer não vazios, denimos o produto cartesiano
DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO
DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: 2018-2 TURNO: NOTURNO ALUNO a): 1ª Lista de Exercícios - Introdução à Lógica Matemática, Teoria
Dedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:
DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA: Matemática A (10º Ano) METAS CURRICULARES/CONTEÚDOS... 1º Período (18 de setembro a 17 de dezembro) Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas
Matemática Discreta para Ciência da Computação
Matemática Discreta para Ciência da Computação P. Blauth Menezes [email protected] Departamento de Informática Teórica Instituto de Informática / UFRGS Matemática Discreta para Ciência da Computação
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores
1 Tipos de Provas 3. 2 Conjuntos 9. 3 Famílias indexadas de conjuntos 21
Sumário 1 Tipos de Provas 3 1.1 introdução................................... 3 1.2 Provas diretas................................. 3 1.3 Provas por redução ao absurdo....................... 5 2 Conjuntos
Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS
Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS O conjunto é um conceito fundamental em todos os ramos da matemática. Intuitivamente, um conjunto é uma lista, coleção ou classe de objetods bem
Notas de Aula de Fundamentos de Matemática
Universidade Estadual de Montes Claros Centro de Ciências Exatas e Tecnológicas Departamento de Ciências Exatas Notas de Aula de Fundamentos de Matemática Rosivaldo Antonio Gonçalves Notas de aulas que
Universidade de Brasília Departamento de Matemática. Álgebra 1. Lineu Neto
Universidade de Brasília Departamento de Matemática Álgebra 1 Lineu Neto 1- o /2004 Sumário 1 Noções de Lógica Simbólica 1 Relações entre Proposições....................... 5 Lei da Álgebra das Proposições....................
P L A N I F I C A Ç Ã O A N U A L
P L A N I F I C A Ç Ã O A N U A L DEPARTAMENTO: MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS ÁREA DISCIPLINAR: 500 - MATEMÁTICA DISCIPLINA: MATEMÁTICA A NÍVEL DE ENSINO: Secundário CURSO: Ciências e Tecnologias
Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I
1 Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT 131 - Introdução à Álgebra 2015/I Tópico: Produto Cartesiano 1. Dados os conjuntos M = {1, 3, 5} e N = {2, 4},
Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA
Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT 131 - INTRODUÇÃO À ÁLGEBRA 1. Seja A = {1, 3, 5, 7, 11}. Verifique quais das seguintes proposições são verdadeiras ou falsas.
Terminologia, Técnicas de Prova, Enumerabilidade
Terminologia, Técnicas de Prova, Enumerabilidade Mário S. Alvim ([email protected]) Fundamentos de Teoria da Computação (FTC) DCC-UFMG (2018/02) Mário S. Alvim ([email protected]) Terminologia, Técnicas
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
AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO. Escola Básica e Secundária Dr. Vieira de Carvalho. Departamento de Matemática e Ciências Experimentais
AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO Escola Básica e Secundária Dr. Vieira de Carvalho Departamento de Matemática e Ciências Experimentais Planificação Anual de Matemática A 10º ano Ano Letivo
Reticulados e Álgebras de Boole
Capítulo 3 Reticulados e Álgebras de Boole 3.1 Reticulados Recorde-se que uma relação de ordem parcial num conjunto X é uma relação reflexiva, anti-simétrica e transitiva em X. Um conjunto parcialmente
Interbits SuperPro Web
1. (Ita 2017) Sejam A {1, 2, 3, 4, 5} e B { 1, 2, 3, 4, 5}. Se C {xy : x A e y B}, então o número de elementos de C é a) 10. b) 11. c) 12. d) 13. e) 14. 2. (Ita 2017) Sejam X e Y dois conjuntos finitos
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
Notas de Aula Álgebra 1. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2019
Notas de Aula Álgebra 1 Martino Garonzi Universidade de Brasília Primeiro semestre 2019 1 2 D ora in poi ripeterò solo ed esclusivamente quello che avrò già detto. Conteúdo Capítulo 1. Conjuntos 5 1. Elementos
DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500. Planificação Anual /Critérios de avaliação
Disciplina: Matemática A _ 10º ano _ CCH 2015/2016 AGRUPAMENTO DE ESCOLAS ANSELMO DE ANDRADE DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500 Planificação Anual /Critérios de avaliação Início
Aula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: [email protected] Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Argumentaçã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
Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro
