Fundamentos de Matemtica

Humberto Jos Bortolossi

Departamento de Matemtica Aplicada Universidade Federal Fluminense

Aula 2 9 de janeiro de 2013

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

10

Se A, ento B : notaes

Notao Se A, ento B . A B. A implica B . A condio suciente para B . B condio necessria para A.

Exemplo Se 0 < a < b, ento a2 < b2 . 0 < a < b a2 < b 2 . 0 < a < b implica a2 < b2 . 0 < a < b condio suciente para a2 < b2 . a2 < b2 condio necessria para 0 < a < b.

Aula 2

Fundamentos de Matemtica

11

Demonstraes: direta e por absurdo

Aula 2

Fundamentos de Matemtica

12

Demonstrao direta

Demonstrao direta
Mostra-se que todas as situaes que satisfazem a hiptese A tambm satisfazem a tese B . Feito isto, segue-se que a sentena se A, ento B verdadeira, pois ela no possui contraexemplos.

Aula 2

Fundamentos de Matemtica

13

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

14

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

15

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

16

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

17

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

18

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

19

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

20

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

21

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

22

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

23

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

24

Demonstrao direta: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro par, ento m2 um inteiro par. Demonstrao: se m um inteiro par, ento m divisvel por 2, isto , m = 2 k para algum inteiro k . Ento, m2 = (2 k )2 = 4 k 2 = 2 (2 k 2 ). Segue-se que m2 divisvel por 2. Logo, m2 um nmero par.

Aula 2

Fundamentos de Matemtica

25

Demonstrao por absurdo

Demonstrao por absurdo

Nesta tcnica, para demonstrar que a sentena se A, ento B verdadeira, supomos inicialmente que ela seja falsa. A seguir, a partir desse pressuposto, usando argumentos vlidos, deve-se chegar a dois fatos contraditrios (por exemplo, que um nmero inteiro par e mpar ao mesmo tempo ou que uma sentena verdadeira ou falsa ao mesmo tempo). Feito isto, como em uma teoria consistente no podem existir contradies, conclumos que nosso pressuposto da sentena se A, ento B ser falsa est errado e, assim, a sentena se A, ento B deve ser verdadeira.

Aula 2

Fundamentos de Matemtica

26

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

27

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

28

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

29

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

30

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

31

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

32

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

33

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

34

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

35

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

36

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

37

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

38

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

39

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

40

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

41

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

42

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

43

Demonstrao por absurdo: exerccio resolvido

Mostre que a sentena abaixo verdadeira! Se m um inteiro e m2 par, ento m par. Demonstrao: suponha, por absurdo, que a sentena seja falsa. Ento ela possui um contraexemplo! Portanto, existe um m que satisfaz a hiptese, mas no satisfaz a tese, isto , existe um m tal que m inteiro e m2 par, mas m mpar. Mas, se m mpar, existe inteiro k tal que m = 2 k + 1. Ento m2 = (2 k + 1)2 = 4 k 2 + 4 k + 1 = 2 (2 k 2 + 2 k ) + 1. Segue-se que m2 mpar. Um nmero inteiro no pode ser par e mpar ao mesmo tempo. Temos ento uma contradio. Assim, a premissa de que a sentena inicial falsa est errada, o que nos leva a concluir que a sentena inicial verdadeira!

Aula 2

Fundamentos de Matemtica

44

A se, e somente se, B

Aula 2

Fundamentos de Matemtica

45

A se, e somente se, B

Regras do Jogo
Dizemos que uma sentena A se, e somente se, B verdadeira quando as sentenas se A, ento B e se B , ento A

so simultaneamente verdadeiras.

Aula 2

Fundamentos de Matemtica

46

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

47

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

48

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

49

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

50

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

51

A se, e somente se, B : verdadeira ou falsa?

m um inteiro e m2 par se, e somente se, m um inteiro par.

A sentena verdadeira, pois as duas sentenas se m um inteiro e m2 par, ento m um inteiro par e m um inteiro par, ento m um inteiro e m2 par so simultaneamente verdadeiras (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

52

A se, e somente se, B : verdadeira ou falsa?

m e n so inteiros pares se, e somente se, o produto m n um inteiro par.

A sentena falsa, pois a sentena se o produto m n um inteiro par, ento m e n so inteiros pares falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

53

A se, e somente se, B : verdadeira ou falsa?

m e n so inteiros pares se, e somente se, o produto m n um inteiro par.

A sentena falsa, pois a sentena se o produto m n um inteiro par, ento m e n so inteiros pares falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

54

A se, e somente se, B : verdadeira ou falsa?

m e n so inteiros pares se, e somente se, o produto m n um inteiro par.

A sentena falsa, pois a sentena se o produto m n um inteiro par, ento m e n so inteiros pares falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

55

A se, e somente se, B : verdadeira ou falsa?

m e n so inteiros pares se, e somente se, o produto m n um inteiro par.

A sentena falsa, pois a sentena se o produto m n um inteiro par, ento m e n so inteiros pares falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

56

A se, e somente se, B : verdadeira ou falsa?

m um inteiro mltiplo de 3 se, e somente se, m um inteiro mltiplo de 9.

A sentena falsa, pois a sentena se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9 falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

57

A se, e somente se, B : verdadeira ou falsa?

m um inteiro mltiplo de 3 se, e somente se, m um inteiro mltiplo de 9.

A sentena falsa, pois a sentena se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9 falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

58

A se, e somente se, B : verdadeira ou falsa?

m um inteiro mltiplo de 3 se, e somente se, m um inteiro mltiplo de 9.

A sentena falsa, pois a sentena se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9 falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

59

A se, e somente se, B : verdadeira ou falsa?

m um inteiro mltiplo de 3 se, e somente se, m um inteiro mltiplo de 9.

A sentena falsa, pois a sentena se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9 falsa (justicativas j foram apresentadas anteriormente).

Aula 2

Fundamentos de Matemtica

60

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

61

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

62

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

63

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

64

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

65

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

66

A se, e somente se, B : notaes

Notao A se, e somente se, B . A B. A se, e s se, B .

Exemplo m um inteiro e m2 par se, e somente se, m par. m um inteiro e m2 par m par. m um inteiro e m2 par se, e s se, m par.

Outra notao: A condio necessria e suciente para B . Exemplo: m ser um nmero inteiro e m2 ser um nmero par condio necessria e suciente para que m seja par.

Aula 2

Fundamentos de Matemtica

67

Quatro observaes

Aula 2

Fundamentos de Matemtica

68

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

69

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

70

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

71

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

72

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

73

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

74

Observao 1

O pai de Joo disse que: Se Joo for aprovado no vestibular, ento Joo ter um carro novo.

Admita que o pai de Joo esteja dizendo a verdade. Joo no foi aprovado no vestibular. Podemos ento garantir que Joo no vai ganhar um carro novo de seu pai? Resposta: no! O pai de Joo disse que se Joo passar no vestibular, ento Joo vai ganhar um carro novo. O pai de Joo no fez nenhuma promessa (nada armou) caso Joo no fosse aprovado no vestibular. Joo pode ganhar ou no um carro novo de seu pai. Nada podemos armar.

Aula 2

Fundamentos de Matemtica

75

Observao 2

A sentena abaixo verdadeira ou falsa? Se x R e x 2 < 0, ento x = log10 2.

Resposta: a sentena verdadeira, pois ela no possui contraexemplos uma vez que no existe nenhum x que satisfaa a hiptese. Neste caso, dizemos que a sentena verdadeira por vacuidade.

Aula 2

Fundamentos de Matemtica

76

Observao 2

A sentena abaixo verdadeira ou falsa? Se x R e x 2 < 0, ento x = log10 2.

Resposta: a sentena verdadeira, pois ela no possui contraexemplos uma vez que no existe nenhum x que satisfaa a hiptese. Neste caso, dizemos que a sentena verdadeira por vacuidade.

Aula 2

Fundamentos de Matemtica

77

Observao 2

A sentena abaixo verdadeira ou falsa? Se x R e x 2 < 0, ento x = log10 2.

Resposta: a sentena verdadeira, pois ela no possui contraexemplos uma vez que no existe nenhum x que satisfaa a hiptese. Neste caso, dizemos que a sentena verdadeira por vacuidade.

Aula 2

Fundamentos de Matemtica

78

Observao 2

A sentena abaixo verdadeira ou falsa? Se x R e x 2 < 0, ento x = log10 2.

Resposta: a sentena verdadeira, pois ela no possui contraexemplos uma vez que no existe nenhum x que satisfaa a hiptese. Neste caso, dizemos que a sentena verdadeira por vacuidade.

Aula 2

Fundamentos de Matemtica

79

Observao 2

A sentena abaixo verdadeira ou falsa? Se x R e x 2 < 0, ento x = log10 2.

Resposta: a sentena verdadeira, pois ela no possui contraexemplos uma vez que no existe nenhum x que satisfaa a hiptese. Neste caso, dizemos que a sentena verdadeira por vacuidade.

Aula 2

Fundamentos de Matemtica

80

Observao 3

A sentena abaixo verdadeira ou falsa? Se x R e x 2 5 x + 6 = 0, ento x = 2 ou x = 3 ou x = 5.

Resposta: a sentena verdadeira, pois todas as situaes que satisfazem a hiptese (no caso, os nmeros x = 2 e x = 3) tambm satisfazem a tese.

Aula 2

Fundamentos de Matemtica

81

Observao 3

A sentena abaixo verdadeira ou falsa? Se x R e x 2 5 x + 6 = 0, ento x = 2 ou x = 3 ou x = 5.

Resposta: a sentena verdadeira, pois todas as situaes que satisfazem a hiptese (no caso, os nmeros x = 2 e x = 3) tambm satisfazem a tese.

Aula 2

Fundamentos de Matemtica

82

Observao 3

A sentena abaixo verdadeira ou falsa? Se x R e x 2 5 x + 6 = 0, ento x = 2 ou x = 3 ou x = 5.

Resposta: a sentena verdadeira, pois todas as situaes que satisfazem a hiptese (no caso, os nmeros x = 2 e x = 3) tambm satisfazem a tese.

Aula 2

Fundamentos de Matemtica

83

Observao 3

A sentena abaixo verdadeira ou falsa? Se x R e x 2 5 x + 6 = 0, ento x = 2 ou x = 3 ou x = 5.

Resposta: a sentena verdadeira, pois todas as situaes que satisfazem a hiptese (no caso, os nmeros x = 2 e x = 3) tambm satisfazem a tese.

Aula 2

Fundamentos de Matemtica

84

Observao 3

A sentena abaixo verdadeira ou falsa? Se x R e x 2 5 x + 6 = 0, ento x = 2 ou x = 3 ou x = 5.

Resposta: a sentena verdadeira, pois todas as situaes que satisfazem a hiptese (no caso, os nmeros x = 2 e x = 3) tambm satisfazem a tese.

Aula 2

Fundamentos de Matemtica

85

Observao 4

Proposio sinnimo de sentena.

Um teorema uma proposio que merece destaque e tem importncia central no desenvolvimento de uma determinada teoria.

Um lema uma proposio auxiliar usada na demonstrao de uma outra proposio.

Um corolrio tra proposio.

uma proposio que consequncia imediata de uma ou-

Aula 2

Fundamentos de Matemtica

86

Observao 4

Proposio sinnimo de sentena.

Um teorema uma proposio que merece destaque e tem importncia central no desenvolvimento de uma determinada teoria.

Um lema uma proposio auxiliar usada na demonstrao de uma outra proposio.

Um corolrio tra proposio.

uma proposio que consequncia imediata de uma ou-

Aula 2

Fundamentos de Matemtica

87

Observao 4

Proposio sinnimo de sentena.

Um teorema uma proposio que merece destaque e tem importncia central no desenvolvimento de uma determinada teoria.

Um lema uma proposio auxiliar usada na demonstrao de uma outra proposio.

Um corolrio tra proposio.

uma proposio que consequncia imediata de uma ou-

Aula 2

Fundamentos de Matemtica

88

Observao 4

Proposio sinnimo de sentena.

Um teorema uma proposio que merece destaque e tem importncia central no desenvolvimento de uma determinada teoria.

Um lema uma proposio auxiliar usada na demonstrao de uma outra proposio.

Um corolrio tra proposio.

uma proposio que consequncia imediata de uma ou-

Aula 2

Fundamentos de Matemtica

89

Uma demonstrao por absurdo famosa

Aula 2

Fundamentos de Matemtica

90

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

91

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

92

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

93

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

94

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

95

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

96

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

97

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

98

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

99

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

100

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

101

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

102

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

103

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

104

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

105

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

106

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

107

Demonstrao por absurdo: exerccio resolvido

Se x R, x > 0 e x 2 = 2, ento x no um nmero racional Demonstrao: Suponha, por absurdo, que exista x R tal que x > 0, x 2 = 2 e x = m/n, com m, n N. Sem perda de generalidade, podemos supor que x = m/n, onde m e n no possuem fatores em comum. Se x = m/n e x 2 = 2, ento (m/n)2 = 2 e, por conseguinte, m2 = 2 n2 . Ento, m2 um nmero par. Por um exerccio resolvido anteriormente, conclumos que m deve ser par: m = 2 k para algum inteiro k . Desta maneira, 2 n2 = m2 = (2 k )2 = 4 k 2 . Da, segue-se que n2 = 2 k 2 . Logo, n2 par. Por um exerccio resolvido anteriormente, conclumos que n par. Mas se m par e n par, ento m e n possuem um fator em comum (2), uma contradio.

Aula 2

Fundamentos de Matemtica

108

Seo de Exerccios

Aula 2

Fundamentos de Matemtica

109

Implicaes e Teoria dos Conjuntos

Aula 2

Fundamentos de Matemtica

110

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

111

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

112

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

113

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

114

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

115

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

116

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

117

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

118

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

119

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

120

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x x =x x =1
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 0 um contraexemplo! De fato: x = 0 satisfaz a hiptese (pois 02 = 0), mas x no satisfaz a tese (pois 0 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {1}

Note que H T !

Aula 2

Fundamentos de Matemtica

121

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

122

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

123

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

124

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

125

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

126

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

127

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

128

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

129

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

130

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

131

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x =1 x x =x
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 1 satisfaz a hiptese), tambm satisfaz a tese (pois 1 1 = 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {1} {0, 1}

Note que H T !

Aula 2

Fundamentos de Matemtica

132

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

133

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

134

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

135

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

136

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

137

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

138

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

139

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

140

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

141

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

142

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x2 = 4 x = 2
(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 2 um contraexemplo! De fato: x = 2 satisfaz a hiptese (pois (2)2 = 4), mas x no satisfaz a tese (pois 2 = 2). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2, 2} {2}

Note que H T !

Aula 2

Fundamentos de Matemtica

143

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

144

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

145

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

146

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

147

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

148

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

149

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

150

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

151

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

152

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

153

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x = 2 x2 = 4
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 2 satisfaz a hiptese), tambm satisfaz a tese (pois (2)2 = 4). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {2} {2, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

154

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

155

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

156

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

157

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

158

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

159

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

160

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

161

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

162

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

163

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

164

Exemplo
Verdadeira ou falsa? Justique sua resposta!

1 > 1/x x > 1

(aqui x representa um nmero real)

Resposta: a sentena falsa, pois x = 1 um contraexemplo! De fato: x = 1 satisfaz a hiptese (pois 1 > 1 = 1/(1)), mas x no satisfaz a tese (pois 1 < 1). H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = ] , 0[ ]1, +[ ]1, +[

Note que H T !

Aula 2

Fundamentos de Matemtica

165

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

166

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

167

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

168

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

169

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

170

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

171

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

172

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

173

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

174

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

175

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x (x 2 2 x + 1) = 0 x = 0 ou x = 1 ou x = 2
(aqui x representa um nmero real)

Resposta: a sentena verdadeira, pois no existem contraexemplos! De fato: todo x que satisfaz a hiptese (no caso, apenas x = 0 e x = 1 satisfazem a hiptese), tambm satisfaz a tese. H T = = {x | x satisfaz a hiptese} {x | x satisfaz a tese } = = {0, 1} {0, 1, 2}

Note que H T !

Aula 2

Fundamentos de Matemtica

176

Moral
Verdadeira ou falsa?

Se A, ento B.
Sejam: H T = = {x | x satisfaz a hiptese A}, {x | x satisfaz a tese B }.

Relao entre Implicaes e Teoria dos Conjuntos: A sentena se A, ento B verdadeira se, e somente se, H T .

Aula 2

Fundamentos de Matemtica

177

Moral
Verdadeira ou falsa?

Se A, ento B.
Sejam: H T = = {x | x satisfaz a hiptese A}, {x | x satisfaz a tese B }.

Relao entre Implicaes e Teoria dos Conjuntos: A sentena se A, ento B verdadeira se, e somente se, H T .

Aula 2

Fundamentos de Matemtica

178

Moral
Verdadeira ou falsa?

Se A, ento B.
Sejam: H T = = {x | x satisfaz a hiptese A}, {x | x satisfaz a tese B }.

Relao entre Implicaes e Teoria dos Conjuntos: A sentena se A, ento B verdadeira se, e somente se, H T .

Aula 2

Fundamentos de Matemtica

179

Moral
Verdadeira ou falsa?

Se A, ento B.
Sejam: H T = = {x | x satisfaz a hiptese A}, {x | x satisfaz a tese B }.

Relao entre Implicaes e Teoria dos Conjuntos: A sentena se A, ento B verdadeira se, e somente se, H T .

Aula 2

Fundamentos de Matemtica

180

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

181

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

182

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

183

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

184

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

185

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

186

Exemplo
Verdadeira ou falsa? Justique sua resposta!

x R e x 2 < 0 x = log10 (2)

H T

= =

{x | x satisfaz a hiptese} {x | x satisfaz a tese }

= =

{log10 (2)}

Como o conjunto vazio est contido em qualquer outro conjunto, segue-se que H T e, portanto, a sentena verdadeira!

Por que o conjunto vazio est contido em qualquer outro conjunto? Algum sabe demonstrar esse fato?

Aula 2

Fundamentos de Matemtica

187

Conectivos Lgicos

Aula 2

Fundamentos de Matemtica

188

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Quais so todos os valores de x R que satisfazem o predicado abaixo?

Resposta: x = 1 (satisfaz p), x = 2 (satisfaz q ) e x = 2 (satisfaz q ).

Aula 2

Fundamentos de Matemtica

189

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Quais so todos os valores de x R que satisfazem o predicado abaixo?

Resposta: x = 1 (satisfaz p), x = 2 (satisfaz q ) e x = 2 (satisfaz q ).

Aula 2

Fundamentos de Matemtica

190

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Quais so todos os valores de x R que satisfazem o predicado abaixo? x +1=2 ou x2 = 4 .

Resposta: x = 1 (satisfaz p), x = 2 (satisfaz q ) e x = 2 (satisfaz q ).

Aula 2

Fundamentos de Matemtica

191

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Quais so todos os valores de x R que satisfazem o predicado abaixo? x +1=2

p

ou

x2 = 4 .
q

Resposta: x = 1 (satisfaz p), x = 2 (satisfaz q ) e x = 2 (satisfaz q ).

Aula 2

Fundamentos de Matemtica

192

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

193

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

194

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

195

Conectivo ou ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p ou q

(a disjuno entre p e q ) se x satisfaz pelo menos um dos predicados p e q . Notao para o conectivo ou: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

196

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Quais so todos os valores de x R que satisfazem o predicado abaixo?

Resposta: x = 1 (satisfaz p e q ). Note que x = 1 satisfaz q mas no satisfaz p.

Aula 2 Fundamentos de Matemtica 197

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Quais so todos os valores de x R que satisfazem o predicado abaixo?

Resposta: x = 1 (satisfaz p e q ). Note que x = 1 satisfaz q mas no satisfaz p.

Aula 2 Fundamentos de Matemtica 198

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Quais so todos os valores de x R que satisfazem o predicado abaixo? x +1=2 e x2 = 1 .

Resposta: x = 1 (satisfaz p e q ). Note que x = 1 satisfaz q mas no satisfaz p.

Aula 2 Fundamentos de Matemtica 199

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Quais so todos os valores de x R que satisfazem o predicado abaixo? x +1=2

p

x2 = 1 .
q

Resposta: x = 1 (satisfaz p e q ). Note que x = 1 satisfaz q mas no satisfaz p.

Aula 2 Fundamentos de Matemtica 200

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Quais so todos os valores de x R que satisfazem o predicado abaixo? x +1=2

p

x2 = 1 .
q

Resposta: x = 1 (satisfaz p e q ). Note que x = 1 satisfaz q mas no satisfaz p.

Aula 2 Fundamentos de Matemtica 201

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

202

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

203

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

204

Conectivo e ()
Regras do Jogo
Dizemos um objeto matemtico x satisfaz o predicado p e q

(a conjuno entre p e q ) se x satisfaz simultaneamente os dois predicados p e q . Notao para o conectivo e: .

Relao com a Teoria dos Conjuntos: se A = {x | x satisfaz p} ento {x | x satisfaz p q } = A B . e B = {x | x satisfaz q },

Aula 2

Fundamentos de Matemtica

205

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0 ou x < 2) e x >1.

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

206

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0
p

ou

x < 2)
q

x > 1.
r

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

207

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0
p

ou

x < 2)
q

x > 1.
r

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

208

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0
p

ou

x < 2)
q

x > 1.
r

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

209

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0
p

ou

x < 2)
q

x > 1.
r

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

210

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x > 0
p

ou

x < 2)
q

x > 1.
r

Resposta: x > 1. Quais so todos os valores de x R que satisfazem o predicado abaixo? x >0
p

ou

(x < 2
q

x > 1).
r

Resposta: x > 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

211

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x = 0
p

ou

x = 1)
q

2 = 3.
r

Resposta: no existe valores de x R tais que (x = 0 ou x = 1) e 2 = 3. Quais so todos os valores de x R que satisfazem o predicado abaixo? x =0
p

ou

(x = 1
q

2 = 3).
r

Resposta: x = 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

212

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x = 0
p

ou

x = 1)
q

2 = 3.
r

Resposta: no existe valores de x R tais que (x = 0 ou x = 1) e 2 = 3. Quais so todos os valores de x R que satisfazem o predicado abaixo? x =0
p

ou

(x = 1
q

2 = 3).
r

Resposta: x = 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

213

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x = 0
p

ou

x = 1)
q

2 = 3.
r

Resposta: no existe valores de x R tais que (x = 0 ou x = 1) e 2 = 3. Quais so todos os valores de x R que satisfazem o predicado abaixo? x =0
p

ou

(x = 1
q

2 = 3).
r

Resposta: x = 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

214

Conectivos e o uso de parntesis

Quais so todos os valores de x R que satisfazem o predicado abaixo? (x = 0
p

ou

x = 1)
q

2 = 3.
r

Resposta: no existe valores de x R tais que (x = 0 ou x = 1) e 2 = 3. Quais so todos os valores de x R que satisfazem o predicado abaixo? x =0
p

ou

(x = 1
q

2 = 3).
r

Resposta: x = 0. Moral: os parntesis so importantes!

Aula 2

Fundamentos de Matemtica

215

Seo de Exerccios

Aula 2

Fundamentos de Matemtica

216