Fundamentos de Matemtica

Humberto Jos Bortolossi

Departamento de Matemtica Aplicada Universidade Federal Fluminense

Aula 3 11 de janeiro de 2013

Aula 3

Fundamentos de Matemtica

Negao

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Qual a negao do predicado abaixo (assumindo que x representa um nmero real)? x < 1. Resposta: x 1.

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Qual a negao do predicado abaixo (assumindo que x representa um nmero real)? x < 1. Resposta: x 1.

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Qual a negao do predicado abaixo (assumindo que x representa um nmero real)? x < 1. Resposta: x 1.

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Qual a negao do predicado abaixo (assumindo que x representa um nmero real)? x < 1. Resposta: x 1.

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p}, ento {x | x satisfaz p} = AC = U A.

conjunto universo

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p}, ento {x | x satisfaz p} = AC = U A.

conjunto universo

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p}, ento {x | x satisfaz p} = AC = U A.

conjunto universo

Aula 3

Fundamentos de Matemtica

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p}, ento {x | x satisfaz p} = AC = U A.

conjunto universo

Aula 3

Fundamentos de Matemtica

10

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p}, ento {x | x satisfaz p} = AC = U A.

conjunto universo

Aula 3

Fundamentos de Matemtica

11

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de x < ou x > x e x que pode ser escrita da seguinte forma compacta: x .

Aula 3

Fundamentos de Matemtica

12

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de x < ou x > x e x que pode ser escrita da seguinte forma compacta: x .

Aula 3

Fundamentos de Matemtica

13

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de x < ou x > x e x que pode ser escrita da seguinte forma compacta: x .

Aula 3

Fundamentos de Matemtica

14

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de x < ou x > x e x que pode ser escrita da seguinte forma compacta: x .

Aula 3

Fundamentos de Matemtica

15

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de x < ou x > x e x que pode ser escrita da seguinte forma compacta: x .

Aula 3

Fundamentos de Matemtica

16

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de < x < (isto , < x e x < ) x ou x .

Aula 3

Fundamentos de Matemtica

17

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de < x < (isto , < x e x < ) x ou x .

Aula 3

Fundamentos de Matemtica

18

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de < x < (isto , < x e x < ) x ou x .

Aula 3

Fundamentos de Matemtica

19

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de < x < (isto , < x e x < ) x ou x .

Aula 3

Fundamentos de Matemtica

20

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: (p q ) = ( p) ( q ). Exemplo: a negao de < x < (isto , < x e x < ) x ou x .

Aula 3

Fundamentos de Matemtica

21

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: ( p) = p.

Aula 3

Fundamentos de Matemtica

22

Negao
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p (a negao do predicado p) se x no satisfaz o predicado p. Notaes para a negao do predicado p: p ou p.

Fato: ( p) = p.

Aula 3

Fundamentos de Matemtica

23

Contrapositiva

Aula 3

Fundamentos de Matemtica

24

Contrapositiva
Regras do Jogo
Dada uma sentena A B , sua contrapositiva a sentena B A.

Exemplo: a contrapositiva da sentena (assumindo que m representa um nmero natural) se m2 um nmero par, ento m um nmero par a sentena se m um nmero mpar, ento m2 um nmero mpar .

Aula 3

Fundamentos de Matemtica

25

Contrapositiva
Regras do Jogo
Dada uma sentena A B , sua contrapositiva a sentena B A.

Exemplo: a contrapositiva da sentena (assumindo que m representa um nmero natural) se m2 um nmero par, ento m um nmero par a sentena se m um nmero mpar, ento m2 um nmero mpar .

Aula 3

Fundamentos de Matemtica

26

Contrapositiva
Regras do Jogo
Dada uma sentena A B , sua contrapositiva a sentena B A.

Exemplo: a contrapositiva da sentena (assumindo que m representa um nmero natural) se m2 um nmero par, ento m um nmero par a sentena se m um nmero mpar, ento m2 um nmero mpar .

Aula 3

Fundamentos de Matemtica

27

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

28

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

29

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

30

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

31

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

32

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

33

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

34

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

35

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

36

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

37

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

38

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

39

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

40

Teorema
A B verdadeira se, e somente se, sua contrapositiva B A verdadeira. Demonstrao. () Suponha, por absurdo, que A B seja verdadeira, mas que B A seja falsa. Ento, B A possui pelo menos um contraexemplo, isto , existe um objeto x que satisfaz B , mas no satisfaz A. Logo, x satisfaz A, mas no satisfaz B . Portanto, x um contraexemplo para a sentena A B . Logo, a sentena A B falsa, uma contradio. () Basta usar (), trocando A B por B A e observando que ( A) = A e ( B ) = B .

Corolrio: A B falsa se, e somente se, sua contrapositiva B A falsa.

Aula 3

Fundamentos de Matemtica

41

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

42

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

43

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

44

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

45

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

46

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

47

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

48

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

49

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

50

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

51

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

52

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

53

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

54

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

55

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

56

Contrapositiva: exerccio resolvido

Se m um inteiro, mostre que a sentena abaixo verdadeira! Se m2 par, ento m par. Demonstrao: basta demonstrar que a contrapositiva da sentena verdadeira, isto , basta demonstrar que se m mpar, ento m2 mpar. Para isso, faremos uma demonstrao direta. Seja m um nmero inteiro mpar. Ento existe k Z tal que m = 2 k + 1. Portanto, m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1 um nmero mpar.

Aula 3

Fundamentos de Matemtica

57

Quanticadores

Aula 3

Fundamentos de Matemtica

58

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

59

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

60

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

61

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

62

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

63

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

64

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

65

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x [1, [, x 2 x A sentena verdadeira. Justicativa: se x [1, [, ento x 1 e x > 0. Portanto, x x 1 x , isto , x 2 x .

Aula 3

Fundamentos de Matemtica

66

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

67

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

68

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

69

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

70

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

71

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: x R, x 2 x A sentena falsa. Justicativa: existe x R tal que x 2 < x . De fato: se x = 1/2, ento x R e x 2 = 1/4 < 1/2 = x .

Aula 3

Fundamentos de Matemtica

72

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

73

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

74

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

75

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

76

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

77

Quanticador universal ()
Regras do Jogo
Dizemos que a expresso quanticada x X , q
(l-se para todo x pertencente a X , q )

verdadeira se todo elemento x do conjunto X satisfaz o predicado q , isto , se a sentena x X q verdadeira. Note que x X , q falsa se existe pelo menos um x X que no satisfaz o predicado q .

Exemplo: a, b R, (a + b)2 = a2 + 2 ab + b2 A sentena verdadeira. Justicativa: se a, b R, ento (a + b)2 = (a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2 .

Aula 3

Fundamentos de Matemtica

78

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 79

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 80

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 81

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 82

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 83

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 84

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 85

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x 1 = 0 A sentena verdadeira. Justicativa: se x = (1 + 5)/2, ento x R e x 2 x 1 = 0.

Aula 3 Fundamentos de Matemtica 86

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x + 1 = 0 A sentena falsa. Justicativa: para todo x R, x 2 x + 1 = (x 1/2)2 + 3/4 > 0.

Aula 3 Fundamentos de Matemtica 87

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x + 1 = 0 A sentena falsa. Justicativa: para todo x R, x 2 x + 1 = (x 1/2)2 + 3/4 > 0.

Aula 3 Fundamentos de Matemtica 88

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x + 1 = 0 A sentena falsa. Justicativa: para todo x R, x 2 x + 1 = (x 1/2)2 + 3/4 > 0.

Aula 3 Fundamentos de Matemtica 89

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x + 1 = 0 A sentena falsa. Justicativa: para todo x R, x 2 x + 1 = (x 1/2)2 + 3/4 > 0.

Aula 3 Fundamentos de Matemtica 90

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: x R | x 2 x + 1 = 0 A sentena falsa. Justicativa: para todo x R, x 2 x + 1 = (x 1/2)2 + 3/4 > 0.

Aula 3 Fundamentos de Matemtica 91

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: a, b, c N | a2 = b2 + c 2 A sentena verdadeira. Justicativa: se a = 5, b = 3 e c = 4, ento a2 = 25 = 9 + 16 = b2 + c 2 .

Aula 3 Fundamentos de Matemtica 92

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: a, b, c N | a2 = b2 + c 2 A sentena verdadeira. Justicativa: se a = 5, b = 3 e c = 4, ento a2 = 25 = 9 + 16 = b2 + c 2 .

Aula 3 Fundamentos de Matemtica 93

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: a, b, c N | a2 = b2 + c 2 A sentena verdadeira. Justicativa: se a = 5, b = 3 e c = 4, ento a2 = 25 = 9 + 16 = b2 + c 2 .

Aula 3 Fundamentos de Matemtica 94

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: a, b, c N | a2 = b2 + c 2 A sentena verdadeira. Justicativa: se a = 5, b = 3 e c = 4, ento a2 = 25 = 9 + 16 = b2 + c 2 .

Aula 3 Fundamentos de Matemtica 95

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: a, b, c N | a2 = b2 + c 2 A sentena verdadeira. Justicativa: se a = 5, b = 3 e c = 4, ento a2 = 25 = 9 + 16 = b2 + c 2 .

Aula 3 Fundamentos de Matemtica 96

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 97

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 98

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 99

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 100

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 101

Quanticador existencial ()
Regras do Jogo
Dizemos que a expresso quanticada x X | q
(l-se existe x pertencente a X tal que q )

verdadeira se existe pelo menos um elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui pelo menos um exemplo. Note que x X | q falsa se todo elemento x X no satisfaz o predicado q .

Exemplo: n, a, b, c N | n > 2 e an = bn + c n A sentena falsa. Justicativa: difcil (ler a respeito do ltimo Teorema de Fermat).
Aula 3 Fundamentos de Matemtica 102

Quanticador existencial de unicidade (!)

Regras do Jogo
Dizemos que a expresso quanticada !x X | q
(l-se existe um nico x pertencente a X tal que q )

verdadeira se existe um nico elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui um nico exemplo. Note que !x X | q falsa se existe mais de um elemento x X que satisfaz o predicado q ou se todo elemento x X no satisfaz o predicado q .

Aula 3

Fundamentos de Matemtica

103

Quanticador existencial de unicidade (!)

Regras do Jogo
Dizemos que a expresso quanticada !x X | q
(l-se existe um nico x pertencente a X tal que q )

verdadeira se existe um nico elemento x do conjunto X que satisfaz o predicado q , isto , se a sentena x X q possui um nico exemplo. Note que !x X | q falsa se existe mais de um elemento x X que satisfaz o predicado q ou se todo elemento x X no satisfaz o predicado q .

Aula 3

Fundamentos de Matemtica

104

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

105

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

106

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

107

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

108

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

109

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

110

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

111

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

112

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

113

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

114

Quanticador existencial de unicidade (!)

Exemplo: !x R | 2 x 4 = 0 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x R e 2 x 4 = 2 (2) 4 = 4 4 = 0. (Unicidade) Sejam x1 , x2 R tais que 2 x1 4 = 0 e 2 x2 4 = 0. Logo 2 x1 4 = 2 x2 4. Portanto, 2 x1 = 2 x2 . Assim, x1 = x2 .

Aula 3

Fundamentos de Matemtica

115

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

116

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

117

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

118

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

119

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

120

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

121

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

122

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

123

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

124

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

125

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

126

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

127

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 4 A sentena verdadeira. Justicativa: (Existncia) Se x = 2, ento x ]0, +[ e x 2 = (2)2 = 4.
2 = 4 e x 2 = 4. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

128

Quanticador existencial de unicidade (!)

Exemplo: !x R | x 2 = 4 A sentena falsa. Justicativa: se x1 = 2 e x2 = 2, ento x1 R, 2 = 4, x 2 = 4 e x = x . x2 R, x1 1 2 2

Aula 3

Fundamentos de Matemtica

129

Quanticador existencial de unicidade (!)

Exemplo: !x R | x 2 = 4 A sentena falsa. Justicativa: se x1 = 2 e x2 = 2, ento x1 R, 2 = 4, x 2 = 4 e x = x . x2 R, x1 1 2 2

Aula 3

Fundamentos de Matemtica

130

Quanticador existencial de unicidade (!)

Exemplo: !x R | x 2 = 4 A sentena falsa. Justicativa: se x1 = 2 e x2 = 2, ento x1 R, 2 = 4, x 2 = 4 e x = x . x2 R, x1 1 2 2

Aula 3

Fundamentos de Matemtica

131

Quanticador existencial de unicidade (!)

Exemplo: !x R | x 2 = 4 A sentena falsa. Justicativa: se x1 = 2 e x2 = 2, ento x1 R, 2 = 4, x 2 = 4 e x = x . x2 R, x1 1 2 2

Aula 3

Fundamentos de Matemtica

132

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

133

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

134

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

135

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

136

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

137

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

138

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

139

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

140

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

141

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

142

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

143

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

144

Quanticador existencial de unicidade (!)

Exemplo: !x ]0, [ | x 2 = 2 A sentena verdadeira. Justicativa: (Existncia) Difcil: para justicar a existncia necessrio estudar primeiro o conceito de continuidade de funes reais.
2 = 2 e x 2 = 2. Logo (Unicidade) Sejam x1 , x2 ]0, +[ tais que x1 2 2 2 2 2 x1 = x2 e x1 + x2 = 0. Portanto, x1 x2 = 0 e x1 + x2 = 0. Assim, (x1 x2 )(x1 + x2 ) = 0 e x1 + x2 = 0. Desta maneira, x1 x2 = 0, isto , x1 = x2 .

Aula 3

Fundamentos de Matemtica

145

Cuidado: ordem dos quanticadores

a R, b R | b > a
(Verdadeira)

b R | a R, b > a
(Falsa)

Moral: cuidado com a ordem dos quanticadores!

Aula 3

Fundamentos de Matemtica

146

Cuidado: ordem dos quanticadores

a R, b R | b > a
(Verdadeira)

b R | a R, b > a
(Falsa)

Moral: cuidado com a ordem dos quanticadores!

Aula 3

Fundamentos de Matemtica

147

Cuidado: ordem dos quanticadores

a R, b R | b > a
(Verdadeira)

b R | a R, b > a
(Falsa)

Moral: cuidado com a ordem dos quanticadores!

Aula 3

Fundamentos de Matemtica

148

Cuidado: ordem dos quanticadores

a R, b R | b > a
(Verdadeira)

b R | a R, b > a
(Falsa)

Moral: cuidado com a ordem dos quanticadores!

Aula 3

Fundamentos de Matemtica

149

Cuidado: ordem dos quanticadores

a R, b R | b > a
(Verdadeira)

b R | a R, b > a
(Falsa)

Moral: cuidado com a ordem dos quanticadores!

Aula 3

Fundamentos de Matemtica

150

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

151

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

152

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

153

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

154

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

155

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

156

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

157

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

158

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

159

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

160

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

161

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

162

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

163

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

164

Negao dos quanticadores

Negao dos Quanticadores
(x X , p) = (x X | p) (x X | p) = ( x X | p) = (x X , p) (!x X | p) = (x X , p) (x X | (p (y X | p (x = y ))))

Exemplos: (x R, x 2 x ) = x R | x 2 < x (x R | x 2 x + 1 = 0) = x R, x 2 x + 1 = 0 (b R | a R, b > a) = b R, a R | b a

Aula 3

Fundamentos de Matemtica

165

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

166

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

167

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

168

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

169

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

170

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

171

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

172

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

173

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

174

Negao de uma implicao

Negao de Uma Implicao
(p q ) = x | (p q )

Exemplos: (x R x 2 x ) = x | (x R x 2 < x ) (1/x < 1 x > 1) = x | (1/x < 1 x 1) (4 x 2 9 2 x 3) = x | [4 x 2 9 (x < 2 x > 3)]

Aula 3

Fundamentos de Matemtica

175

Seo de Exerccios

Aula 3

Fundamentos de Matemtica

176