Provas e Proposies

Provas
Com provas voc nunca precisa se desculpar
Pois elas fornecem uma maneira de garantir
que o que voc afirma sempre verdadeiro
Iremos aprender como definir a noo de
prova mais precisamente
Provas em matemtica e em computao
requer que definamos precisamente a
proposio a ser provada
2

Proposio
Uma proposio uma sentena que ou
verdadeira ou falsa
Exemplos:

Hoje tera-feira
Para todos os inteiros n, n2 + n + 41 primo

2+2=4
Contra-exemplo

Que dia hoje?

3

Teorema e axioma
Um teorema uma proposio que garantida
por uma prova
Um axioma uma proposio que se assume
como verdadeira e que no precisa de prova.
Exemplo: axiomas de Peano, que definem um
nmero natural.
0 um nmero natural
Se n um nmero natural, ento s(n) um
nmero natural
4

Conectivos lgicos
Podemos formar novas proposies a partir
daquelas que temos.
Sejam P e Q proposies.
Negao: P, verdade quando P falsa
Disjuno: P v Q, verdade qdo pelo menos
uma das proposies (P ou Q) for verdadeira
Conjuno: P Q, verdade quando ambas as
proposies so verdadeiras
5

Implicao
Implicao: PQ, verdade se P falsa ou Q
verdadeira. P chamado de antecedente e Q de
consequente.
Tabela-verdade

Esses operadores podem ser usados para

construirmos proposies mais complexas.

Predicados
Algumas vezes temos uma lista de proposioes
A = ``02+0+41 primo
B = ``12+1+41 primo
C = ``22+2+41 primo
etc
Seria til termos uma noo de uma funo, que para um
dado nmero natural n produzisse uma proposio que
estabelecesse algo em torno de n.
P(n): ``n2+n+41 primo

uma funo que mapeia cada n para

PREDICADO
uma proposio que depende de n de
7
alguma maneira

Predicados
Quando queremos falar que todos possuem a
propriedade estabelecida pelo predicado
usamos o quantificador universal
O quantificador universal denotado pelo
smbolo (lemos: ``para todo):
n N. n2+n+1 primo
Quando o domnio (no caso N) est claro no
contexto, ento podemos omit-lo:
n. n2+n+1 primo
8

Como podemos provar uma sentena

universalmente quantificada?
No nosso exemplo, podemos checar que para
n=1, at n=39, P(n) verdade. No entanto, para
n=40, P(40) falso. P(40) um contra-exemplo.
Ao longo do curso iremos aprender algumas
formas de provar essas sentenas
Mas, para refutar P(n) bastaramos encontrar
um valor de n para o qual P(n) no
verdade.
9

Conjectura
Uma conjectura uma proposio que ainda
no foi provada e nem refutada.
Exemplo: a conjectura de Goldbach:
n se n par ento a,b tal que a e b so primos
e a+b = n.
Quantificador Existencial: existe pelo menos
um, alguns -
10

Quantificador existencial
Podemos provar uma sentena quantificada
existencialmente encontrando um exemplo que a
torne verdadeira.
Exemplo:
n tal que n2+n+1 primo
verdade, pois para n= 1, P(1) verdade.
No entanto, refutar P(n) implicaria em provar
que para todo n, P(n) falso.
nP(n) = n P(n)

nP(n)=n P(n)
11

Quantificadores
O quantificador universal se assemelha
conjuno, ao passo que o quantificador
existencial se assemelha disjuno.

Exemplo: seja o conjunto S = {1,2,3}

x S. P(x) equivalente
P(1) P(2) P(3)
x S. P(x) equivalente
P(1) P(2) P(3)
12

Provas por enumerao

Ilustra o conceito fundamental de provas formais
pela enumero dos possveis casos.
Bastante simples e baseada no signficado lgico de
cada conectivo.
Exemplo: Rosas so vermelhas e violetas so azuis.
Prove que violetas so azuis.
P: Rosas so vermelhas
Q: Violetas so azuis
Analisamos todos os casos onde PQ verdade.
H apenas um e nesse caso Q verdade. Logo
finalizamos a prova.
13

Provas por enumerao

Mais um exemplo

P
Q
Dado: Se Joo no plantou uma rvore eu plantarei
bananeira
Joo no plantou uma rvore
Prove: Eu plantarei bananeira.
Identificamos os casos onde P Q verdade e
onde P verdade. S h um caso, nesse caso Q
tambm verdade. Logo ``eu plantarei
bananeira.
14

Provas por aplicao de regras de

inferncia
Quando fazemos provas por enumerao
podemos identificar um padro geral chamado
de regra de inferncia.
Exemplo:
a) A proposio P pode ser inferida de PQ (elim1-)
b) A proposio Q pode ser inferida de PQ (elim2-)
PQ
P

PQ
Q

Premissa e concluso da regra

15

Provas por aplicao de regras de

inferncia
Modus ponens (do latim: mtodo de
substituio):
A proposio Q pode ser inferida das
proposies P e PQ
P

PQ
Q

Essa regra tambm conhecida como

eliminao da implicao.

um dos passos mais comuns usados em

provas.

16

Provas por aplicao de regras de

inferncia: mais regras
P

Conhecida como introduo do

(intr- ).

PQ

P
PQ

Aqui temos duas premissas

(como no modus ponens)

intr1-

intr2-

PQ

17

Provas por aplicao de regras de

inferncia: mais regras

Lei do terceiro excludo

P P
P P

Princpio da contradio

Posso derivar qualquer

proposio do falso ou absurdo
18

Provas por aplicao de regras de

inferncia: mais regras
[P]

Introduo da implicao
P uma suposio ou hiptese

Q
PQ

Se partindo da suposio de P eu
chego em Q aps um nmero finito
de passos, ento eu deduzo PQ.
Nesse momento a hiptese foi
descartada. No importa mais se
verdadeira ou falsa
19

Provas por aplicao de regras de

inferncia: combinando regras
Na prtica, quando fazemos uma prova
combinamos vrias regras
Exemplo: Se temos as premissas AB e BC.
Primeiro aplicamos a eliminao do para inferir B
da premissa 1 e depois aplicamos modus ponens
para inferir C a partir da premissa 2.
AB

BC

B
C

20

Provas por aplicao de regras de

inferncia: mais regras
QR

PQ

PR
Exemplo: Se chover hoje, ento no jogamos
vlei. Se no jogamos vlei hoje, ento jogaremos
vlei amanh. Prove que: Se chover hoje ento
jogaremos vlei amanh.
P: Hoje chove

Q: No jogamos vlei hoje

R: Jogaremos vlei amanh

21

Provas por aplicao de regras de

inferncia: equivalnca de expresses
Existem muitas equivalncias entre as expresses
lgicas que podem ser teis em provas.
Exemplos:
P P
P Q P Q
(PQ) PQ

e (PQ)PQ (De Morgan)

Dizemos que as expresses de cada lado do

so logicamente equivalentes.
Voc pode conferir usando a tabela-verdade

22

Provas por aplicao de regras de

inferncia: exemplos
Sejam as seguintes premissas:

1. Essa tarde no est ensolarada e est mais fria

que ontem
2. Iremos nadar somente se estiver ensolarado.
3. Se no formos nadar iremos ao cinema

4. Se formos ao cinema chegaremos em casa s

20h.
Prove: Chegaremos em casa s 20h.
23

Provas por aplicao de regras de

inferncia: exemplos
Q
P
1. Essa tarde no est ensolarada e est mais fria
que ontem:
P Q

2. Iremos nadar somente se estiver ensolarado

R

RP

3. Se no formos nadar iremos ao cinema R S

T
4. Se formos ao cinema chegaremos em casa s
20h.
ST
Prove: Chegaremos em casa s 20h. T

24

Provas por aplicao de regras de

inferncia: exemplos
Premissas:
Concluso: T

P Q
1

RP

R S

ST

Prova:
Vamos pensar no nosso objetivo: T
Se tivermos S temos T
Se tivermos R temos S

25

Provas por contrapositiva

Voc pode verificar que P Q Q P
Dizemos que Q P a contrapositiva de
PQ
Muitas vezes quando queremos provar P Q
mais fcil provar Q P .
Nesses casos fazemos a prova de Q P no
lugar de P Q
Ela tambm conhecida como prova indireta.
26

Provas por contrapositiva: exemplo

Para qualquer inteiro n, se n2 par ento n par.

Iremos provar a contrapositiva: Se n mpar ento

n2 mpar.
1) Se n mpar ento (por definio) n = 2a+1, para
algum inteiro a.
2) Logo , n2 = (2a+1)2 = 4a2+4a+1 = 2(2a2 + 2a) + 1.

3) Como a um inteiro, ento 2a2 + 2a um inteiro

m.
4) Logo n2 =2m + 1 mpar (por definio).
27

Provas por casos

Algumas vezes temos um conjunto de possveis
casos numa prova. No sabemos que casos so
verdadeiros, mas sabemos que pelo menos um
deles verdadeiro. O seguinte exemplo ilustra esse
tipo de prova.
Existem nmeros irracionais x e y de forma que xy
racional.
Considere x =2 e y= 2
Somente existem dois casos
a) xy racional

ou

b) xy irracional
28

Exemplo: Existem nmeros irracionais x e y

de forma que xy racional.
Considerando o caso em que x =2 e y= 2

Somente existem dois casos

a) 22 racional

ou

b) 22 irracional

No caso a ns ento mostramos que existem

nmeros irracionais x e y de forma que xy racional.
No caso b, considere y = 2 e x=22.
Dessa forma temos que xy (22)2 = yy.y
Logo xy igual a 2, que racional
Como um dos casos (a) ou (b) deve ser verdadeiro,
conseguimos concluir a prova.
29

Provas por casos

Observe que mesmo aps a prova ns no
sabemos quais dos dois casos verdade.
Dessa forma no podemos exibir os nmeros
irracionais que satisfazem o teorema.
Esse um exemplo de prova no construtiva, no
qual um teorema existencial foi provado sem a
construo de um exemplo.

30

Prova por contradio

[P]

Assume-se o oposto do que se quer

provar, ao chegar a uma
contradio a prova finalizada.

Tambm conhecida como reductio

ad absurdum (reduo ao absurdo)

31

Prova por contradio: exemplo

Teorema: 2 irracional.
1) Assuma que 2 racional

2) Existem inteiros a e b sem fator comum alm de 1

de forma que 2 = a/b (def. de nmeros racionais)
3) Logo, 2 = a2/b2 a2 = 2b2
4) De 3 temos que a2 par
5) Pelo teorema j provado, de 4 temos que a par

6) Se a par ento a = 2.c, onde c um inteiro

7) De 3 e 6: 2b2=4c2, logo b2 = 2c2 b2 par
8) Se b2 par ento b par (teorema j provado)
9) Se a e b so pares ento 2 fator comum deles
10) O passo 9 contradiz o passo 2: 2 irracional. 32

Exemplos
1) D uma prova do teorema `` Se 3n + 2 mpar,
ento n mpar.

2) Mostre que a proposio P(0) verdade quando

P(n) significa: ``Se n>1, ento n2 > n
3) Seja P(n) a proposio ``Se a e b so inteiros
positivos com a b, ento an bn. Prove P(0).
O exemplo 3: Prova trivial
4) Prove que se n um inteiro e n3 + 5 mpar, ento
n par. Usando:

a) a contrapositiva;
b) prova por contradio.

33