18/11/2013

Proposio
Sentena declarativa exclusivamente verdadeira ou falsa
Alguns mamferos pe ovos
Alguns mamferos tm pena
A acelerao de um corpo rgido proporcional fora aplicada
A soma dos ngulos de um tringulo igual a 180 graus
Para todo inteiro no negativo , 2 + + 41 primo
Para todo inteiro , se > 2 ento no existem inteiros positivos
, , tais que + =
Para todo inteiro par > 2, existem dois primos e tais que
+ =

PROPOSIES E PROVAS
Matemtica Discreta
Prof. Joo Paulo Lima
Universidade Federal Rural de Pernambuco
Departamento de Estatstica e Informtica

Copyright 2006 by The McGraw-Hill Companies, Inc. All rights reserved.

Axioma

Conjectura

Postulado

Proposio que no foi

Proposio assumida como verdadeira sem prova

2 lei de Newton: a acelerao de um corpo rgido proporcional
fora aplicada
Axioma de Euclides: a soma dos ngulos de um tringulo igual a
180 graus

provada ou refutada
Conjectura de Goldbach:

para todo inteiro par > 2,

existem dois primos e
tais que + =

Teorema

Lema e Corolrio

Proposio garantida por prova

Para todo inteiro , se 2 par ento par

Menor importncia que teorema

2 irracional
Teorema de Pitgoras: em qualquer tringulo retngulo, o
quadrado do comprimento da hipotenusa igual soma dos
quadrados dos comprimentos dos catetos (2 + 2 = 2 )
ltimo teorema de Fermat: para todo inteiro , se > 2 ento no
existem inteiros positivos , , tais que + =

Lema
Pr-teorema
Proposio provada usada como trampolim para provar teorema
Corolrio
Ps-teorema
Proposio que decorre imediatamente de um teorema

18/11/2013

Mundo

Modelos de uma proposio

Toda proposio de interesse verdadeira ou falsa em

(): conjunto dos mundos em que uma proposio

relao a um mundo

verdadeira

2 lei de Newton: verdadeira no mundo macroscpico (mecnica

clssica), falsa no mundo microscpico (mecnica quntica)

Axioma de Euclides: verdadeiro apenas na geometria planar

10

Consequncia Lgica

Prova

consequncia lgica de se verdadeira em todos

Meio de mostrar que um teorema consequncia lgica

os possveis mundos em que verdadeira

sse () ()

de um conjunto de axiomas
Provas dos teoremas da mecnica clssica
Provas dos teoremas da geometria Euclideana

11

12

Conectivo Lgico

Negao

Smbolo usado para criar novas proposies a partir de

proposies existentes

no
Verdadeira se falsa

18/11/2013

13

14

Disjuno

Conjuno

ou

Verdadeira se pelo menos uma entre e verdadeira

Verdadeira se ambas e so verdadeiras

15

16

Implicao

Dupla Implicao

implica em

se e somente se

Se ento

Verdadeira se falsa ou verdadeira

Verdadeira se ambas e so verdadeiras

ou se ambas e so falsas

: antecedente
: consequente

17

18

Conectivos Lgicos :: Resumo

Equivalncia Lgica
Proposies so logicamente equivalentes se possuem

os mesmos valores de verdade em todos os mundos

18/11/2013

19

20

Inversa, Conversa e Contrapositiva

Inversa, Conversa e Contrapositiva

= o animal um morcego

Inversa:
Se o animal no um morcego, ento ele no um mamfero

= o animal um mamfero
Se o animal um morcego, ento ele um mamfero

Conversa:
Se o animal um mamfero, ento ele um morcego
Logicamente equivalente inversa

Contrapositiva:
Se o animal no um mamfero, ento ele no um morcego
Logicamente equivalente proposio original

21

22

Quantificador Universal

Quantificador Existencial

para todo

existe

, 0, 2 + + 41 primo

, mamfero e pe ovos

Para provar que verdadeiro, provar para todos os

Para provar que verdadeiro, mostrar um exemplo

O ornitorrinco um mamfero que pe ovos

valores possveis
Exemplo no prova vlida

Para provar que falso, provar para todos os valores

Para provar que falso, mostrar um contraexemplo

= 40 2 + + 41 = 402 + 40 + 41 = 1681 = 41 2

possveis
Exemplo no prova vlida

23

24

Prova por Casos

Prova por Casos

Testar todos os possveis casos

Dado:
se Dewey no for eleito, ento vou comer meu chapu
Dewey no foi eleito

Dado: rosas so vermelhas e violetas so azuis

Prove: rosas so vermelhas

Prove: vou comer meu chapu

Rosas so vermelhas

Violetas so azuis

Rosas so vermelhas e
violetas so azuis

Dewey no foi eleito

Vou comer meu chapu

Se Dewey no for
eleito, ento vou comer
meu chapu

18/11/2013

25

Prova por Casos

Ex: prove que + 1

com
= 1,
= 2,
= 3,
= 4,

4
1+1
2+1
3+1
4+1

3
3
3
3

Prova Direta

3 se um inteiro positivo

31 , 23
32 , 33
33 , 43
34 , 53

26

Prova por aplicao de regras de inferncia

Regra de Inferncia
Funo que recebe hipteses (premissas), as analisa e retorna
concluses

31 , 8 3
32 , 27 9
33 , 64 27
34 , 125 81

Eliminao da conjuno:

Modus ponens:

27

Prova Direta

28

Prova Direta
Ex: d uma prova direta do teorema se um inteiro

Regras de inferncia podem ser encadeadas

mpar, ento 2 mpar

Premissas:

um inteiro mpar
Se par, ento existe um inteiro tal que = 2
Se mpar, ento existe um inteiro tal que = 2 + 1

Como mpar, ento = 2 + 1

2 = 2 + 1 2

2 = 4 2 + 4 + 1
2 = 2(2 2 + 2) + 1
Logo, 2 mpar

29

30

Prova por Contrapositiva

No-Prova

Teorema: para todo inteiro , se 2 par ento par

Prova de que 1 = 1

Prova: provar a contrapositiva

1 =

Se mpar ento 2 mpar

1. Se mpar, ento = 2 + 1 para algum inteiro

(por definio)
2. 2 = 2 + 1 2 = 4 2 + 4 + 1 = 2 2 2 + 2 + 1

1 = 1 1 = 1 1 = 1 = 1
Onde est o erro?

1 1 1 1
= nem sempre verdade

3. Como inteiro, 2 2 + 2 inteiro

4. De acordo com (1), 2 mpar

18/11/2013

31

32

No-Prova

Prova de Existncia

Outros erros clssicos:

= , logo =

Teorema: existem nmeros irracionais e tais que

racional

No vale para = 0

Prova: considere =

< , logo <

No vale para 0

2e= 2

racional ou irracional?

33

Prova de Existncia
Se
Se

2
2
=

2
2

Prova por Contradio

Prova por reduo ao absurdo

for racional: ento o teorema est provado

for irracional: considere = 2
2

= 2

2 2

34

Negao do teorema leva a uma contradio

e= 2

Teorema:

2 irracional

Prova: assumir que

= 2 =2

2 racional e chegar a um absurdo

Logo, o teorema est provado

35

Prova por Contradio

36

Prova por Contradio

Se

Mas se par e par, ento e no so primos

Logo,

2 racional, ento 2 = , e inteiros primos

entre si
2 = 2 2
2 = 2 2
2 par, logo par
Se par, ento = 2
2 = 42
2 2 = 42
2 = 22
2 par, logo par

entre si (contradio)
2 irracional

18/11/2013

37

Prova por Induo

Ser vista em aulas futuras