MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Documentos relacionados
Teoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO

MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos

Álgebra Linear e Geometria Analítica

Centro de Informática UFPE

LFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos

1 Operações com conjuntos

complemento para a disciplina de Matemática Discreta versão 1 - Jerônimo C. Pellegrini Relações de Equivalência e de Ordem

Revisão de Matemática Discreta

SMA Elementos de Matemática Notas de Aulas. Ires Dias - Sandra Maria Semensato de Godoy

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /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.

Para Computação. Aula de Monitoria - Miniprova

Matemática para Ciência de Computadores

Fundamentos 1. Lógica de Predicados

Lógica e Matemática Discreta

Teoria Elementar dos Conjuntos

Matemática Discreta - 07

. 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.

Universidade do Estado de Santa Catarina - UDESC Centro de Ciências Tecnológicas - CCT Licenciatura em Matemática

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

Teoria Elementar dos Conjuntos

Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:

Teoria intuitiva de conjuntos

1 TEORIA DOS CONJUNTOS

MD Lógica de Proposições Quantificadas Cálculo de Predicados 1

Teoria Ingênua dos Conjuntos (naive set theory)

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

SMA0341 e SLC Elementos de Matemática Notas de Aulas

Aula 1 Conjuntos. Meta. Introduzir as noções básicas de conjunto e produto cartesiano de. conjuntos. Objetivos

Introdução à Lógica Matemática

2.1 Conjuntos e Álgebra de Conjuntos Operações com Conjuntos... 24

ENFOQUE USANDO CORTES DE DEDEKIND

n. 25 DIAGRAMAS DE VENN

Matemática Discreta - 07

MDI0001 Matemática Discreta Aula 01

Universidade Federal do Pampa - UNIPAMPA

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

1 Análise combinatória

A ordem em que os elementos se apresentam em um conjunto não é levada em consideração. Há

Pontifícia Universidade Católica do Rio Grande do Sul

Matemática discreta e Lógica Matemática

01/09/2014. Capítulo 3. Propriedades semânticas da Lógica Proposicional

Universidade de Caxias do Sul Centro de Ciências Exatas e Tecnologia Departamento de Informática. Matemática Discreta. Márcia Rodrigues Notare

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Par ordenado [ordered pair]. É uma estrutura do tipo x, y. Se x y x,y y,x.

UNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Matemática para Ciência de Computadores

Lógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65

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

LÓGICA EM COMPUTAÇÃO

DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS DA NATUREZA CRITÉRIOS ESPECÍFICOS DE AVALIAÇÃO

Curso: Ciência da Computação Turma: 6ª Série. Teoria da Computação. Aula 2. Conceitos Básicos da Teoria da Computação

INE Fundamentos de Matemática Discreta para a Computação

MD Teoria dos Conjuntos 1

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:

3 Cálculo Proposicional

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

NHI Lógica Básica (Lógica Clássica de Primeira Ordem)

Alfabeto da Lógica Proposicional

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.

Metas/Objetivos/Domínios Conteúdos/Conceitos Número de Aulas

SMA Elementos de Matemática Notas de Aulas

Sumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14

Metas/ Objetivos Conceitos/ Conteúdos Aulas Previstas. Lógica e Teoria dos conjuntos: Introdução à lógica bivalente e à Teoria dos conjuntos

1 Conjuntos, Números e Demonstrações

Demonstrações. Terminologia Métodos

Aplicações da teoria de conjuntos álgebra booleana. Pontifícia Universidade Católica de Goiás Msc. Gustavo Siqueira Vinhal 2016/1

Lógica Matemática - Quantificadores

Introdução a Topologia Geral

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

DISCIPLINA: MATEMÁTICA DISCRETA I PROFESSOR: GISLAN SILVEIRA SANTOS CURSO: SISTEMAS DE INFORMAÇÃO SEMESTRE: TURNO: NOTURNO

Dedução Natural e Sistema Axiomático Pa(Capítulo 6)

DEPARTAMENTO DE MATEMÁTICA E INFORMÁTICA DISCIPLINA:

Matemática Discreta para Ciência da Computação

ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN

1 Tipos de Provas 3. 2 Conjuntos 9. 3 Famílias indexadas de conjuntos 21

Matemática Discreta - Departamento de Matemática - EST-IPV / III

Fundamentos de Álgebra Moderna Profª Ana Paula CONJUNTOS

Notas de Aula de Fundamentos de Matemática

Universidade de Brasília Departamento de Matemática. Álgebra 1. Lineu Neto

Fundamentos 1. Lógica de Predicados

P L A N I F I C A Ç Ã O A N U A L

Universidade Federal de Viçosa Centro de Ciências Exatas Departamento de Matemática MAT Introdução à Álgebra 2015/I

Universidade Federal de Viçosa Departamento de Matemática III LISTA DE MAT INTRODUÇÃO À ÁLGEBRA

Terminologia, Técnicas de Prova, Enumerabilidade

Notas de Aula de Probabilidade A

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

Reticulados e Álgebras de Boole

Interbits SuperPro Web

Antes de abordarmos os temas centrais deste curso é conveniente recordar algumas noções básicas usadas sistematicamente no que se segue.

Curso: Ciência da Computação Disciplina: Matemática Discreta 3. CONJUNTOS. Prof.: Marcelo Maraschin de Souza

Notas de Aula Álgebra 1. Martino Garonzi. Universidade de Brasília. Primeiro semestre 2019

DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS - Grupo 500. Planificação Anual /Critérios de avaliação

Aula 1 Aula 2. Ana Carolina Boero. Página:

Argumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009

Lógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.

Transcrição:

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 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

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

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

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

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

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

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

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

OPERAÇÕES SOBRE CONJUNTOS União: A B = {x : x A ou x B}. Diagrama de Venn: A B A B 11

OPERAÇÕES SOBRE CONJUNTOS Interseccão: A B = {x : x A e x B}. Diagrama de Venn: A B A B 12

OPERAÇÕES SOBRE CONJUNTOS Diferença: A B = {x : x A e x B}. Diagrama de Venn: A B A B 13

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

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

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

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

CONJUNTOS DISJUNTOS A e B são disjuntos se, e somente se, A B =. 18

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

CONJUNTO POTÊNCIA P(A) = {X : X A}. Exemplo: P({a, b}) = {, {a}, {b}, {a, b}}. Quantos elementos tem o conjunto potência? 20

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

RELAÇÕES E FUNÇÕES

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

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

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

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

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

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

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

FUNDAMENTOS DE LÓGICA

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) 2 + 2 = 4. (verdadeira) 1 + 1 = 1. (falsa) 31

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

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

TABELAS DA VERDADE: Negação: α α V F F V 34

TABELAS DA VERDADE: Conjunção: α β α β V V V V F F F V F F F F 35

TABELAS DA VERDADE: Disjunção: α β α β V V V V F V F V V F F F 36

TABELAS DA VERDADE: Condicional: α β α β V V V V F F F V V F F V 37

TABELAS DA VERDADE: Bicondicional: α β α β V V V V F F F V F F F V 38

EXPRESSÕES PARA A CONDICIONAL α β se α então β α implica β se α, β α somente se β α é suficiente para β β se α β caso α β é necessário para α 39

EXPRESSÕES PARA A BICONDICIONAL α β α se e somente se β α é necessário e suficiente para β se α então β, e vice-versa 40

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

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

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

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

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

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

PREDICADOS E QUANTIFICADORES Exemplos de fórmulas atômicas: irmãos(abel, Caim) 2 + 2 = 4 x 0 x = y + 1 irmãos, = e são predicados. Predicados denotam relações. 47

PROPOSIÇÕES SIMPLES Uma proposição simples é representada por uma fórmula atômica. Exemplos: irmãos(abel, Caim) (verdadeira) 2 + 2 = 4 (verdadeira) 1 0 (falsa) 0 = 1 + 1 (verdadeira) 48

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) 2 + 2 = 4 1 0 49

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 + 1 50

EXEMPLO Sejam: A(x): x é uma arara. M(x): x é multicor. Q(x): x é pequena. G(x): x faz ninho em árvores altas. 51

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

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

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

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

TÉCNICAS PARA IMPLICAÇÃO (α β) Prova por vacuidade: Base: contradição β é tautologia. Método: Provar que α é falsa. Exemplo: é subconjunto de qualquer conjunto. 56

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

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

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

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

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

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

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

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

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

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

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

FIM 68