Mat Discreta2

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

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
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
! 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
! 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, ...
! 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!
! 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
Tcnicas de Demonstrao
2.1 Lgica
2 Noes de Lgica e

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
2.1 Lgica
2 Noes de Lgica e

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)
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
12
Exp: No so proposio
V tomar banho. Que horas so? Parabns!
13
2.1 Lgica
2 Noes de Lgica e

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
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)
16
! Cinco conetivos que sero estudados

e (conjuno) ou (disjuno) no (negao) se-ento (condicional) se-somente-se (bicondicional)
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
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
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
F V
20
Conjuno
! Conjuno de duas proposies p e q
p%q l-se: p e q
! Reflete uma noo de simultaneidade

verdadeira, apenas quando p e q so simultaneamente verdadeiras falsa, em qualquer outro caso
21
Def: Conjuno
Semntica da Conjuno p % q
p V V F F
q V F V F
p%q V F F F
quatro linhas para expressar todas as combinaes de valores lgicos de p e q quantas linhas para n proposies?
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
23
Exerccio: Conjuno
Suponha que p e q so respectivamente V e F. Valor lgico? p % q p % q p % q
24
Exerccio: Conjuno
Determine o V(p), sabendo que V(q) = V e V(p % q) = F
25
Disjuno
! Disjuno de duas proposies p e q
p&q 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
26
Def: Disjuno
Semntica da Disjuno p & q
p V V F F
q V F V F
p&q V V V F
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
28
Exerccio: Disjuno
Suponha que p e q so respectivamente V e F. Valor lgico? p & q p & q p % (p & q)
29
Exerccio: Disjuno
Determine o V(p), sabendo que V(q) = F e V(p & q) = F
30
Condio
! Condio de duas proposies p e q
p'q 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
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
32
Def: Condio
Semntica da Condio p ' q
p V V F F
q V F V F
p'q V F V V
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
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
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
36
Bicondio
! Bicondio de duas proposies p e q
p(q 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
37
! Portanto p ( q
verdadeira, quando p e q so ambas verdadeiras ou ambas falsas falsa, quando p e q possuem valor verdade distintos
38
Def: Bicondio
Semntica da Bicondio p ( q
p V V F F
q V F V F
p(q V F F V
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.
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
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
42
2.1 Lgica
2 Noes de Lgica e

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.
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
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)
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
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
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)
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)
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
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
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
Exerccio: Tabela Verdade

(p & q) (p ' q) p%q'p& 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
2.1 Lgica
2 Noes de Lgica e

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
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)
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)
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.
59
2.1 Lgica
2 Noes de Lgica e

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
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
62
2.1 Lgica
2 Noes de Lgica e

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
64
Def: Relao de Implicao

p e q frmulas p)q
p implica em q
se e somente se
p ' q uma tautologia
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
p%q V F F F
(p % q) ' p V V V V
V V V F
F V F F
66
Def: Relao de Equivalncia

p e q frmulas p*q
p equivalente a q
se e somente se p ( q uma tautologia
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
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
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
70
Exp: Contraposio
p ' q * q ' p
p q V V V F F V F F
p'q 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
71
Exp: Reduo ao Absurdo
p ' q * p % q ' F
q p'q 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
72
! Exerccios CIC
Idempotncia " p%p *p " p&p *p Comutativa " p%q * q%p " p&q * q&p Associativa " p % (q % r) * (p % q) % r " p & (q & r) * (p & q) & r Distributiva " p & (q % r) * (p & q) % (p & r)
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
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
2.1 Lgica
2 Noes de Lgica e

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
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?
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 }
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)
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
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
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 0 (0x , A)(p(x)) (0x , A) p(x) 0x , A, p(x)
83
! Denotao alternativa para (/x , A) p(x) e (0x , A) p(x)

quando claro o conjunto de valores (/x)(p(x)) (0x)(p(x)) (/x) p(x) (0x) p(x) /x, p(x) 0x, p(x)
! Leitura de (/x , A) p(x)

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

existe pelo menos um x tal que p(x)
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 (0x , A) p(x) verdadeira " se p(x) for verdadeira para pelo menos um elemento de A
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: (0x) p(x) verdadeira, se o conjunto verdade for no-vazio falsa, caso contrrio
86
Exp: Quantificador Universal, Quantificador Existencial

(/n , N)(n < 1) falsa (0n , N)(n < 1) verdadeira (/n , N)(n! < 10) falsa (0n , N)(n! < 10) verdadeira (/n , N)(n + 1 > n) verdadeira (0n , N)(n + 1 > n) verdadeira (/n , N)(2n par) verdadeira (0n , N)(2n par) verdadeira Sempre que uma proposio quantificada universalmente verdadeira a mesma proposio quantificada existencialmente verdadeira vale sempre ???
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)(0m)(n < m) verdadeira " (0m)(/n)(n < m) falsa
88
Obs: Existe pelo menos um + Existe um nico

comum quantificar existencialmente de forma nica simbolizado por 0! existe um elemento e este nico " no pode existir mais de um
(0!n , N)(n < 1) verdadeira (0!n , N)(n! < 10) falsa (0!n , N)(n + 1 > n) falsa (0!n , N)(2n par) falsa
(0n , N)(n < 1) verdadeira (0n , N)(n! < 10) verdadeira (0n , N)(n + 1 > n) verdadeira (0n , N)(2n par) verdadeira
89
Obs: Existe pelo menos um + Existe um nico

0! equivalentemente a (0!x) p(x) * (0x) p(x) % (/x)(/y)( (p(x)%p(y) ' x = y) ) primeiro termo: existe segundo termo: nico
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) ) * (0x) ~p(x) Raciocnio anlogo para (0x , A) p(x) ~( (0x , A) p(x) ) * (/x) ~p(x)
91
Exp: Negao de Proposies Quantificadas

~( (/n , N)(n < 1) ) * (0n , N)(n 1 1) * V ~( (0n , N)(n < 1) ) * (/n , N)(n 1 1) * F ~( (/n , N)(n! < 10) ) * (0n , N)(n! 1 10) * V ~( (0n , N)(n! < 10) ) * (/n , N)(n! 1 10) * F ~( (/n , N)(n + 1 > n) ) * (0n , N)(n + 1 2 n) * F ~( (0n , N)(n + 1 > n) ) * (/n , N)(n + 1 2 n) * F ~( (/n , N)(2n par) ) * (0n , N)(2n no par) * F ~( (0n , N)(2n par) ) * (/n , N)(2n no par) * F
92
! Negao pode ser estendida para proposies que dependem de n elementos individualmente quantificados Exp: Negao de Proposies Quantificadas
Proposies quantificadas (/n)(0m)(n < m) verdadeira (0m)(/n)(n < m) falsa Negao (0n)(/m)(n 1 m) falsa (/m)(0n)(n 1 m) verdadeira
93
2.1 Lgica
2 Noes de Lgica e

94

! Teorema: uma proposio do tipo
p'q prova-se ser verdadeira sempre (tautologia) p)q
" p - hiptese " q - tese
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
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
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
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
99

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
100

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
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
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
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 (0x , A) p(x) " basta provar para um a , A " um exemplo uma prova (compare com o caso universal)
104
2.1 Lgica
2 Noes de Lgica e

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
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
107
2.1 Lgica
2 Noes de Lgica e

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)
109
Exp: Prova por Contraposio

n! > (n + 1)!'!n > 2
Por contraposio
n 2 2!'!n! 2 n + 1
Muito simples!!! testar para os casos n = 0, n = 1 e n = 2 exerccio
110
2.1 Lgica
2 Noes de Lgica e

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)
! 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
113

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

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 3 0 Logo, absurdo supor que o neutro da adio em N no nico Portanto, 0 o nico neutro da adio em N
115

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
116

P. Blauth Menezes
blauth@inf.ufrgs.br
Departamento de Informtica Terica Instituto de Informtica / UFRGS
117

Mat Discreta2

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Mat Discreta2

Enviado por

Direitos autorais:

Formatos disponíveis

Matemtica Discreta para Computao e Informtica

Departamento de Informtica Terica Instituto de Informtica / UFRGS

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.2 Tcnicas de Demonstrao

! Para desenvolver qq algoritmo (qq software)

! Existem linguagens de progr. baseadas em Lgica

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Diretrizes Curriculares do MEC para Cursos de Computao e Informtica

! Para matrias da rea de Formao Tecnolgica, como Inteligncia Artificial

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

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

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.2 Tcnicas de Demonstrao

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.2 Tcnicas de Demonstrao

! Forma tradicional de tratar com a verdade

! Denotao do valor verdade de uma proposio p

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.2 Tcnicas de Demonstrao

! possvel construir proposies mais complexas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Exp: Proposies Compostas

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Cinco conetivos que sero estudados

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

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

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Reflete uma noo de simultaneidade

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Reflete uma noo de pelo menos uma

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Entretanto, partindo de uma premissa falsa

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Reflete a noo de condio nos dois sentidos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

2.2 Tcnicas de Demonstrao

Frmulas, Linguagem Lgica e Tabelas Verdade

! Frmulas Lgicas ou simplesmente Frmulas

! Se a frmula contm variveis

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

! Precedncia entre os conetivos

! Ordem de precedncia entre os conetivos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes

Exp: Precedncia de Conetivos

Matemtica Discreta para Computao e Informtica - P. Blauth Menezes