Você está na página 1de 117

Matemtica Discreta para Computao e Informtica

P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica Instituto de Informtica / UFRGS

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica


P. Blauth Menezes 1 2 3 4 5 6 7 8 9 10 11 Introduo e Conceitos Bsicos Noes de Lgica e Tcnicas de Demonstrao lgebra de Conjuntos Relaes Funes Parciais e Totais Endorrelaes, Ordenao e Equivalncia Cardinalidade de Conjuntos Induo e Recurso lgebras e Homomorfismos Reticulados e lgebra Booleana Concluses

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2 Lgica e Tcnicas de

Demonstrao

2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Lgica Matemtica
bsica para qq estudo em Computao e Informtica em particular, para estudo de Matemtica Discreta

Para desenvolver qq algoritmo (qq software)


necessrios conhecimentos bsicos de Lgica

Existem linguagens de progr. baseadas em Lgica


desenvolvidas segundo o paradigma lgico exemplo: Prolog

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Diretrizes Curriculares do MEC para Cursos de Computao e Informtica


Lgica Matemtica uma ferramenta fundamental na definio de conceitos computacionais

Para matrias da rea de Formao Tecnolgica, como Inteligncia Artificial


Como base ao estudo da Inteligncia Artificial so imprescindveis conhecimentos de Lgica Matemtica, ...

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Lgica permite definir Teorema Por que teoremas e suas demonstraes so fundamentais para a Computao e Informtica?
teorema (freqentemente) pode ser visto como problema a ser implementado computacionalmente demonstrao soluo computacional algoritmo o qual prova-se, sempre funciona!

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

David Parnas, importante pesquisador internacional e um dos pioneiros da Engenharia de Software


XIII SBES - Seminrios Brasileiros de Engenharia de Software o maior avano da Engenharia de Software nos ltimos dez anos foi os provadores de teoremas

Objetivo
introduzir principais conceitos e terminologia necessrios para MD no uma abordagem ampla nem detalhada existe uma disciplina especfica de Lgica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.1 Lgica
Estudo centrado em
Lgica Booleana ou Lgica de Boole George Boole: ingls, 1815-1864 um dos precursores da Lgica estudo dos princpios e mtodos usados para distinguir sentenas verdadeiras de falsas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

10

2.1.1

Proposies

Def: Proposio
Construo (sentena, frase, pensamento) que pode-se atribuir juzo tipo de juzo na Lgica Matemtica verdadeiro-falso interesse na verdade das proposies

Forma tradicional de tratar com a verdade


dois valores verdade V (verdadeiro) e F (falso) proposies s podem assumir esses valores

Denotao do valor verdade de uma proposio p


V(p)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

11

Exp: Proposio
Brasil um pas Buenos Aires a capital do Brasil 3+4>5 7-1=5 (valor verdade V) (valor verdade F) (valor verdade V) (valor verdade F)

Ou seja V(Brasil um pas) = V V(Buenos Aires a capital do Brasil) = F V(3 + 4 > 5) = V V(7 - 1 = 5) = F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

12

Exp: No so proposio
V tomar banho. Que horas so? Parabns!

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

13

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

14

2.1.2

Conetivos

Proposies introduzidas
proposies atmicas ou tomos no podem ser decompostas em proposies mais simples

possvel construir proposies mais complexas


compondo proposies usando operadores lgicos ou conetivos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

15

Exp: Proposies Compostas


Windows sistema operacional e Pascal ling. de programao Vou comprar um PC ou um MAC Linux no um software livre Se chover canivetes, ento todos esto aprovados em MD A = B se e somente se (A B e B A)

Proposies compostas podem ser usadas para construir novas proposies compostas
A = B se e somente se (A B e B A)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

16

Cinco conetivos que sero estudados


e (conjuno) ou (disjuno) no (negao) se-ento (condicional) se-somente-se (bicondicional)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

17

Negao
Uma proposio p ou verdadeira ou falsa Negao de uma proposio
introduzindo a palavra no prefixando a proposio por no fato que (ou equivalente)

Exp: Negao
Brasil um pas Linux um software livre 3+4>5
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Brasil no um pas Linux no um software livre No fato que 3 + 4 > 5


18

Negao de p
p l-se: no p ou p

Semntica da negao
se p verdadeira, ento p falsa se p falsa, ento p verdadeira

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

19

Tabela Verdade
descreve os valores lgicos de uma proposio em termos das combinaes dos valores lgicos das proposies componentes e dos conetivos usados

Def: Negao
Semntica da Negao p

p p V F
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

F V
20

Conjuno
Conjuno de duas proposies p e q
pq l-se: p e q

Reflete uma noo de simultaneidade


verdadeira, apenas quando p e q so simultaneamente verdadeiras falsa, em qualquer outro caso

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

21

Def: Conjuno
Semntica da Conjuno p q

p V V F F

q V F V F

pq V F F F

quatro linhas para expressar todas as combinaes de valores lgicos de p e q quantas linhas para n proposies?
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

22

Exp: Conjuno
Verdadeira Windows sist. operacional e Pascal ling. de programao Falsa Windows sistema operacional e Pascal planilha eletrnica Windows editor de textos e Pascal ling. de programao Windows editor de textos e Pascal planilha eletrnica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

23

Exerccio: Conjuno
Suponha que p e q so respectivamente V e F. Valor lgico? p q p q p q

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

24

Exerccio: Conjuno
Determine o V(p), sabendo que V(q) = V e V(p q) = F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

25

Disjuno
Disjuno de duas proposies p e q
pq l-se: p ou q

Reflete uma noo de pelo menos uma


verdadeira, quando pelo menos uma das proposies verdadeira falsa, somente quando simultaneamente p e q so falsas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

26

Def: Disjuno
Semntica da Disjuno p q

p V V F F

q V F V F

pq V V V F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

27

Exp: Disjuno
Verdadeira Windows sist. operacional ou Pascal ling. de programao Windows sistema operacional ou Pascal planilha eletrnica Windows editor de textos ou Pascal ling. de programao Falsa Windows editor de textos ou Pascal planilha eletrnica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

28

Exerccio: Disjuno
Suponha que p e q so respectivamente V e F. Valor lgico? p q p q p (p q)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

29

Exerccio: Disjuno
Determine o V(p), sabendo que V(q) = F e V(p q) = F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

30

Condio
Condio de duas proposies p e q
pq l-se: se p ento q

Reflete a noo
partir de uma premissa p verdadeira obrigatoriamente deve-se chegar a uma concluso q verdadeira para que p q seja verdadeira
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

31

Entretanto, partindo de uma premissa falsa


qualquer concluso pode ser considerada

Portanto p q
falsa, quando p verdadeira e q falsa verdadeira, caso contrrio

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

32

Def: Condio
Semntica da Condio p q

p V V F F

q V F V F

pq V F V V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

33

Exp: Condio
Verdadeira se Windows sist. operacional ento Pascal ling. de progr. se Windows editor de textos ento Pascal ling. de programao se Windows editor de textos ento Pascal planilha eletrnica Falsa se Windows sist. operacional ento Pascal planilha eletrnica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

34

Exerccio: Condio
Determine o V(p), sabendo que V(q) = F e V(p q) = F V(q) = F e V(q p) = V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

35

Exerccio: Condio
Determine o V(p) e V(q), sabendo que V(p q) = V e V(p q) = F V(p q) = V e V(p q) = F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

36

Bicondio
Bicondio de duas proposies p e q
pq l-se: p se e somente se q

Reflete a noo de condio nos dois sentidos


considera simultaneamente ida: p premissa e q concluso volta: q premissa e p concluso
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

37

Portanto p q
verdadeira, quando p e q so ambas verdadeiras ou ambas falsas falsa, quando p e q possuem valor verdade distintos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

38

Def: Bicondio
Semntica da Bicondio p q

p V V F F

q V F V F

pq V F F V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

39

Exp: Bicondio
Verdadeira Windows sist. oper. se e somente se Pascal ling. de progr. Windows ed. de textos se e somente se Pascal planilha eletr. Falsa Windows sist. Oper. se e somente se Pascal planilha eletr. Windows ed. de textos se e somente se Pascal ling. de progr.

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

40

Exerccio: Bicondio
Determine o V(p), sabendo que V(q) = V e V(p q) = F V(q) = F e V(q p) = V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

41

Exerccio: Bicondio
Determine o V(p) e V(q), sabendo que V(p q) = V e V(p q) = V V(p q) = V e V(p q) = V V(p q) = F e V(p q) = V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

42

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

43

2.1.3

Frmulas, Linguagem Lgica e Tabelas Verdade

Frmulas Lgicas ou simplesmente Frmulas


palavras da Linguagem Lgica introduzido formalmente adiante quando do estudo da Definio Indutiva informalmente, sentena lgica corretamente construda sobre o alfabeto cujos smbolos so conetivos (, , , ) parnteses identificadores (p, q, r, ) constantes, etc.
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

44

Se a frmula contm variveis


no necessariamente possui valor verdade associado valor lgico depende do valor verdade das sentenas que substituem as variveis na frmula

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

45

Exp: Frmulas
Suponha p, q e r so sentenas variveis valores verdade constantes V e F qualquer proposio p, q e r p, p q, p q, p q e p q p (q) (p q) F (p q) (p q) p (q r) (p q) (p r)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

46

Precedncia entre os conetivos


reduzir os parnteses simplificar visualmente

Ordem de precedncia entre os conetivos


entre parnteses, dos mais internos para os mais externos negao () conjuno () e disjuno () condio () bicondio ()
47

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Exp: Precedncia de Conetivos


p (q) (p q) F (p q) (p q) p (q r) (p q) (p r) qualquer omisso de parnteses resulta em ambigidade (por qu?) p q p q F (p q) p q

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

48

Tabelas Verdade
como construir uma tabela verdade de uma dada frmula? explicitar todas as combinaes possveis dos valores lgicos das frmulas atmicas componentes frmula atmica no-constante dois valores lgicos: V e F frmula atmica constante valor verdade fixo (V ou F)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

49

Uma frmula atmica (no-constante): negao


tabela: 2 linhas 21 possveis combinaes dos valores lgicos

Duas frmulas atmicas (no-constantes): conjuno, condio


tabela: 4 linhas 22 possveis combinaes dos valores lgicos

n frmulas atmicas (no-constantes)


tabela: 2n linhas 2n possveis combinaes de valores lgicos (fcil verificar tal resultado)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

50

Exp: Tabela Verdade


Construo da tabela verdade para a frmula p q

p V V F F

q V F V F

p V V F F

q q V F V F F V F V

p V V F F

q q p q V F V F F V F V V V F V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

51

Exp: Tabela Verdade: p q F


No foi introduzida uma coluna para o valor constante F seria redundante (conteria somente F)

p V V F F

q q p q p q F V F V F F V F V F V F F V F V V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

52

Exp: Tabela Verdade: p (q r) (p q) (p r)


p q r q r p (q r) p q p r (p q) (p r) p (q r) (p q) (p r) V V V V V F V F V V F F F V V F V F F F V F F F V F F F V F F F V V V V V F F F V V V V V V F F V V V V V F V F V V V V V F F F V V V V V V V V
53

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Exerccio: Tabela Verdade


(p q) (p q) pqp q p (q p) (p q) p q q q p p (q (q p)) (p (p q)) p q (p q r) p r q r p r q r p (p r) q r (p q r) (p q r)
54

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

55

2.1.4

Lgica nas Linguagens de Programao

Em geral, LP possuem o tipo de dado lgico (booleano) predefinido Pascal


tipo de dado boolean valores lgicos V e F so true e false declarao (definio) das variveis p, q e r

p, q, r: boolean

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

56

J foi introduzido que as noes de


igualdade e contido (entre conjuntos) pertinncia (de um elemento a um conjunto) resultam em valores lgicos

Analogamente, relaes entre expresses aritmticas resultam em valores lgicos


= < <= > >= (igual) (menor) (menor ou igual) (maior) (maior ou igual)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

57

Trechos de programas em Pascal


(qual o valor lgico resultante?)

7 1 = 5 n + 1 > n Conetivos lgicos Pascal (e na maioria das LP)


not and or <= = (negao) (conjuno) (disjuno) (condio) (bicondio)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

58

Exp: Programa em Pascal


Calcular o valor lgico de p (q r) para qq valores de p, q e r lidos

program valor_logico (input, output); var p, q, r: boolean; begin read (p, q, r); if p or (q and r) then write(verdadeiro) else write(falso) end.

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

59

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

60

2.1.5

Tautologia e Contradio

Def: Tautologia, Contradio


Seja w uma frmula Tautologia w verdadeira para qq combinao possvel de valores de sentenas variveis Contradio w falsa para qq combinao possvel de valores de sentenas variveis

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

61

Exp: Tautologia, Contradio


Suponha p uma frmula p p tautologia p p contradio

p V F

p F V

p p V V

p p F F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

62

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

63

2.1.6

Implicao e Equivalncia

Conetivos condio e bicondio induzem relaes entre frmulas


Condio: implicao Bicondio: equivalncia

Importncia destas relaes


Relao de implicao relacionada com o conceito de teorema Relao de equivalncia mesmo significado entre frmulas (sintaticamente) diferentes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

64

Def: Relao de Implicao


p e q frmulas pq

p implica em q
se e somente se

p q uma tautologia

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

65

Exp: Relao de Implicao


(interprete os nomes) Adio: p p q Simplificao:p q p

p q p (p q) V V V F V V V V

pq V F F F

(p q) p V V V V

V V V F

F V F F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

66

Def: Relao de Equivalncia


p e q frmulas pq

p equivalente a q
se e somente se p q uma tautologia

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

67

Exp: Relao de Equivalncia


p q r q r p (q r) p q p r (p q) (p r) p (q r) (p q) (p r) V V V V V F V F V V F F F V V F V F F F V F F F V F F F V F F F V V V V V F F F V V V V V V F F V V V V V F V F V V V V V F F F V V V V V V V V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

68

Exp: Relao de Equivalncia


Distributividade do conetivo ou sobre o conetivo p (q r) (p q) (p r) Exerccio verificar se o conetivo e distribui-se sobre o conetivo ou

Exemplos de equivalncia que seguem


importantes para o estudo das Tcnicas de Demonstrao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

69

Exp: Bicondio Condio

p q (p q) (q p)

Bicondio pode ser expressa por duas condies: ida e volta

p q p q p q q p (p q) (q p)

(p q) (p q) (q p) V V V V

V V V F F V F F

V F F V

V F V V

V V F V

V F F V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

70

Exp: Contraposio

p q q p

p q V V V F F V F F

pq V F V V

p F F V V

q F V F V

q p V F V V

p q q p V V V V

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

71

Exp: Reduo ao Absurdo

p q p q F

q pq V F V V

q F V F V

p q F V F F

p q F p q p q F V F V V V V V V

V V V F

F V F F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

72

Exerccios CIC
Idempotncia pp p pp p Comutativa pq qp pq qp Associativa p (q r) (p q) r p (q r) (p q) r Distributiva p (q r) (p q) (p r)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

73

Exerccios CIC
Dupla negao p p DeMorgan (p q) p q (p q) p q Absoro p (p q) p p (p q) p

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

74

Exerccios ECP
Bastam os conetivos e Prove que os conetivos estudados pode ser expresso usando somente e Conetivos EXORe NAND Prove que tais conetivos podem ser expressos usando os conetivos j estudados x y V V V F F V F F x EXOR y F V V F x NAND y F V V V
75

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

76

2.1.7

Quantificadores

Proposio sobre um conjunto de valores


n>1 dependendo do valor de n assume valor verdadeiro ou falso para cada valor de n considerado, uma proposio diferente

Quantificadores
dada uma proposio sobre um conjunto de valores freqentemente desejvel quantificar os valores a serem considerados

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

77

Proposio Sobre um Conjunto


Def: Proposio sobre um Conjunto
Proposio Sobre A valor lgico depende do elemento x A considerado

Exp: Proposio sobre N


n>1 n! < 10 n+1>n 2n mpar Quais proposies so verdadeiras para qualquer n N?
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

78

p(x) proposio p a qual descreve alguma propriedade de x A

Toda a proposio p sobre A determina 2 conjuntos


Conjunto verdade de p { x A p(x) verdadeira } Conjunto falsidade de p { x A p(x) falsa }

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

79

Exp: Conjuntos Verdade e Falsidade


n>1 { 2, 3, 4, } conjunto verdade { 0, 1 } conjunto falsidade n! < 10 { 0, 1, 2, 3 } conjunto verdade { n N n > 3 } conjunto falsidade n+1>n N conjunto verdade (o prprio conjunto universo) conjunto falsidade "2n mpar" conjunto verdade N conjunto falsidade (o prprio conjunto universo)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Suponha N

80

Uma proposio p sobre A


Tautologia se p(x) verdadeira para qualquer x A conjunto verdade A Contradio se p(x) falsa para qualquer x A conjunto falsidade A

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

81

Exp: Tautologia, Contradio


n! < 10 no tautologia nem contradio para n = 0, a frmula verdadeira para n = 4, a frmula falsa n+1>n

Conjunto universo N

tautologia conjunto verdade o conjunto universo N "2n mpar" contradio conjunto falsidade o conjunto universo N
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

82

Quantificador
Com freqncia, para uma proposio p(x)
desejvel quantificar os valores de x que devem ser considerados

Quantificadores so usados em Lgica (suponha


Quantificador universal, simbolizado por (x A)(p(x)) (x A) p(x) x A, p(x)

Quantificador existencial, simbolizado por (x A)(p(x)) (x A) p(x) x A, p(x)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

83

Denotao alternativa para (x A) p(x) e (x A) p(x)


quando claro o conjunto de valores (x)(p(x)) (x)(p(x)) (x) p(x) (x) p(x) x, p(x) x, p(x)

Leitura de (x A) p(x)
qualquer x, p(x) ou para todo x, p(x)

Leitura de (x A) p(x)
existe pelo menos um x tal que p(x)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

ou

existe x tal que p(x)


84

Como a leitura induz, o valor verdade de um proposio quantificada


(x A) p(x) verdadeira se p(x) for verdadeira para todos os elementos de A (x A) p(x) verdadeira se p(x) for verdadeira para pelo menos um elemento de A

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

85

Def: Quantificador Universal, Quantificador Existencial


Seja p(x) proposio lgica sobre um conjunto A Quantificador Universal: (x A) p(x) verdadeira, se o conjunto verdade for A falsa, caso contrrio Quantificador Existencial: (x) p(x) verdadeira, se o conjunto verdade for no-vazio falsa, caso contrrio

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

86

Exp: Quantificador Universal, Quantificador Existencial


(n N)(n < 1) falsa (n N)(n < 1) verdadeira (n N)(n! < 10) falsa (n N)(n! < 10) verdadeira (n N)(n + 1 > n) verdadeira (n N)(n + 1 > n) verdadeira (n N)(2n par) verdadeira (n N)(2n par) verdadeira Sempre que uma proposio quantificada universalmente verdadeira a mesma proposio quantificada existencialmente verdadeira vale sempre ???
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

87

Generalizao de p(x)
p(x1, x2,, xn) p descreve alguma propriedade de x1 A1, x 2 A2,, xn An cada elemento x1, x 2,, xn pode ser individualmente quantificado a ordem dos quantificadores existencial e universal pode alterar o valor verdade da proposio Exemplo, para o conjunto universo N, tem-se que (n)(m)(n < m) verdadeira (m)(n)(n < m) falsa

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

88

Obs: Existe pelo menos um Existe um nico


comum quantificar existencialmente de forma nica simbolizado por ! existe um elemento e este nico no pode existir mais de um

(!n N)(n < 1) verdadeira (!n N)(n! < 10) falsa (!n N)(n + 1 > n) falsa (!n N)(2n par) falsa

(n N)(n < 1) verdadeira (n N)(n! < 10) verdadeira (n N)(n + 1 > n) verdadeira (n N)(2n par) verdadeira

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

89

Obs: Existe pelo menos um Existe um nico


! equivalentemente a (!x) p(x) (x) p(x) (x)(y)( (p(x)p(y) x = y) ) primeiro termo: existe segundo termo: nico

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

90

Negao de Proposies Quantificadas


Negao de proposio quantificada intuitiva (x A) p(x) (x A) p(x) V, se p(x) for V para todos os elementos de A Negao: no V para todos os elemento de A existe pelo menos um x tal que no fato que p(x) ~( (x A) p(x) ) (x) ~p(x) Raciocnio anlogo para (x A) p(x) ~( (x A) p(x) ) (x) ~p(x)
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

91

Exp: Negao de Proposies Quantificadas


~( (n N)(n < 1) ) (n N)(n 1) V ~( (n N)(n < 1) ) (n N)(n 1) F ~( (n N)(n! < 10) ) (n N)(n! 10) V ~( (n N)(n! < 10) ) (n N)(n! 10) F ~( (n N)(n + 1 > n) ) (n N)(n + 1 n) F ~( (n N)(n + 1 > n) ) (n N)(n + 1 n) F ~( (n N)(2n par) ) (n N)(2n no par) F ~( (n N)(2n par) ) (n N)(2n no par) F

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

92

Negao pode ser estendida para proposies que dependem de n elementos individualmente quantificados Exp: Negao de Proposies Quantificadas
Proposies quantificadas (n)(m)(n < m) verdadeira (m)(n)(n < m) falsa Negao (n)(m)(n m) falsa (m)(n)(n m) verdadeira
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

93

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

94

2.2 Tcnicas de Demonstrao


Teorema: uma proposio do tipo
pq prova-se ser verdadeira sempre (tautologia) pq
p - hiptese q - tese

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

95

Corolrio
teorema que conseqncia quase direta de outro j demonstrado

Lema
teorema auxiliar resultado importante para a prova de outro

Teoremas so fundamentais em Computao e Informtica


Exemplo: permite verificar se uma implementao correta um algoritmo que prova-se, sempre funciona

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

96

Fundamental identificar claramente a hiptese e a tese


exemplo

0 o nico elemento neutro da adio em N


reescrita identificando claramente a hiptese e a tese se 0 elemento neutro da adio em N, ento 0 o nico elemento neutro da adio em N

Na demonstrao de que p q
hiptese p suposta verdadeira no deve ser demonstrada

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

97

Todas as teorias possuem um conjunto de premissas (hipteses)


so supostas verdadeiras sobre as quais todo o raciocnio construdo

Teoria dos Conjuntos


baseada em uma premissa: noo de elemento suposta algumas abordagens consideram a noo de conjunto como sendo uma premissa

Hiptese de Church
Computao e Informtica construda sobre tal premissa

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

98

Obs: Hiptese de Church Computao e Informtica


Algoritmo, procedimento efetivo ou funo computvel um dos conceitos mais fundamentais da Computao e Informtica intuitivamente uma seqncia finita de instrues, as quais podem ser realizadas mecanicamente, em um tempo finito Tal intuio no corresponde a um conceito formal de algoritmo Incio do sculo XX pesquisadores se dedicaram a formalizar tal conceito diversas formalizaes matemticas foram desenvolvidas 1936, Alan Turing props o modelo Mquina de Turing
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

99

Obs: Hiptese de Church Computao e Informtica


1936: Alonzo Church apresentou a Hiptese de Church qualquer funo computvel pode ser processada por uma Mquina de Turing, ou seja, existe um procedimento expresso na forma de uma Mquina de Turing capaz de processar a funo Como a noo intuitiva de algoritmo no matematicamente precisa impossvel demonstrar formalmente se a Mquina de Turing o mais genrico dispositivo de computao entretanto, foi mostrado que todos os demais modelos possuem, no mximo, a mesma capacidade computacional

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

100

Obs: Hiptese de Church Computao e Informtica


Para todos o desenvolvimento subseqentes Hiptese de Church suposta premissa bsica para toda a Computao e Informtica Se for encontrado um modelo mais geral do que a Mquina de Turing?? pela semntica do estudos desenvolvidos continuam vlidos (por qu?) Teoria da Computao estuda Mquina de Turing, Hiptese de Church e conceitos correlatos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

101

Um teorema pode ser apresentado na forma p q


uma tcnica usual provar em separado ida p q volta q p p q (p q) (q p)

Para um teorema p q existem diversas tcnicas para provar (demonstrar) que, de fato, p q
Prova Direta Prova por Contraposio Prova por Reduo ao Absurdo ou Prova por Absurdo Prova por Induo

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

102

Prova por induo


aplicao particular do Princpio da Induo Matemtica captulo especfico adiante

Demais tipos de prova so introduzidos a seguir Ao longo da disciplina


cada demonstrao um exemplo das tcnicas cada exerccios de demonstrao um exerccio das tcnicas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

103

Para qualquer tcnica de demonstrao


especial ateno aos quantificadores provar a proposio (x A) p(x) provar para todo x A mostrar para um elemento a A um exemplo e no uma prova provar a proposio (x A) p(x) basta provar para um a A um exemplo uma prova (compare com o caso universal)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

104

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

105

2.2.1

Prova Direta

Def: Prova Direta ou Demonstrao Direta


Pressupe verdadeira a hiptese a partir desta, prova ser verdadeira a tese

Exp: Prova Direta


a soma de dois nmeros pares um nmero par Reescrevendo na forma de p q se n e m so dois nmeros pares quaisquer, ento n + m um nmero par
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

106

Qualquer par n pode ser definido como n = 2r, para algum natural r Suponha que n e m so dois pares quaisquer Ento existem r, s N tais que n = 2r Portanto n + m = 2r + 2s = 2(r + s) Como a soma de dois naturais r + s natural n + m = 2(r + s) Logo, n + m um nmero par e m = 2s

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

107

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

108

2.2.2

Prova por Contraposio

Baseia-se no resultado denominado contraposio


p q q p

Def: Prova (ou Demonstrao) por Contraposio


Para provar p q, prova-se q p a partir de q obter p (prova direta)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

109

Exp: Prova por Contraposio


n! > (n + 1)n > 2
Por contraposio

n 2n! n + 1
Muito simples!!! testar para os casos n = 0, n = 1 e n = 2 exerccio

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

110

Tcnicas de Demonstrao
2.1 Lgica
2.1.1 2.1.2 2.1.3 2.1.4 2.1.5 2.1.6 2.1.7 Proposies Conetivos Frmulas, Ling. Lgica e Tabelas Verdade Lgica nas Linguagens de Programao Tautologia e Contradio Implicao e Equivalncia Quantificadores

2 Noes de Lgica e

2.2 Tcnicas de Demonstrao


2.2.1 Prova Direta 2.2.1 Prova por Contraposio 2.2.1 Prova por Reduo ao Absurdo
Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

111

2.2.3

Prova por Reduo ao Absurdo

Baseia-se no resultado reduo ao absurdo


p q (p q) F

Def: Prova (Demonstrao) por Reduo ao Absurdo


Ou simplesmente Prova (Demonstrao) por Absurdo Para provar p q, prova-se (p q) F supor a hiptese p supor a negao da tese q concluir uma contradio (em geral, q q)
112

(prova direta)

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Prova por contra-exemplo


demonstrao por absurdo construo da contradio q q em geral, apresentao de um contra-exemplo

Exp: Prova por Reduo ao Absurdo


0 o nico elemento neutro da adio em N
Reescrevendo na forma de p q: se 0 elemento neutro da adio em N, ento 0 o nico elemento neutro da adio em N Uma prova por reduo ao absurdo

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

113

Exp: Prova por Reduo ao Absurdo


suponha (hiptese) 0 o elemento neutro da adio em N (negao da tese) 0 no o nico neutro da adio em N seja e um outro neutro da adio em N tal que e 0 como 0 elemento neutro, para qq n N n=0+n=n+0 em particular, para n = e: e = 0 + e = e + 0 como e elemento neutro, para qq n N n=n+e=e+n em particular, para n = 0: 0 = 0 + e = e + 0

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

114

Exp: Prova por Reduo ao Absurdo


portanto, como e = 0 + e = e + 0 e 0 = 0 + e = e + 0 pela transitividade da igualdade: e = 0 contradio!!! pois foi suposto que e 0 Logo, absurdo supor que o neutro da adio em N no nico Portanto, 0 o nico neutro da adio em N

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

115

Matemtica Discreta para Computao e Informtica


P. Blauth Menezes 1 2 3 4 5 6 7 8 9 10 11 Introduo e Conceitos Bsicos Noes de Lgica e Tcnicas de Demonstrao lgebra de Conjuntos Relaes Funes Parciais e Totais Endorrelaes, Ordenao e Equivalncia Cardinalidade de Conjuntos Induo e Recurso lgebras e Homomorfismos Reticulados e lgebra Booleana Concluses

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

116

Matemtica Discreta para Computao e Informtica


P. Blauth Menezes
blauth@inf.ufrgs.br

Departamento de Informtica Terica Instituto de Informtica / UFRGS

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

117