Pr-Clculo

Humberto Jos Bortolossi

Departamento de Matemtica Aplicada Universidade Federal Fluminense

Aula 1 9 de agosto de 2010

Aula 1

Pr-Clculo

Apresentao do curso

Aula 1

Pr-Clculo

Contedo do curso

Conjuntos numricos. Mdulo e razes. Resoluo e representao geomtricas das solues de equaes e inequaes. Polinmios. Funo real de varivel real. Leitura grca. Trigonometria. Funes trigonomtricas.

Aula 1

Pr-Clculo

Bibliograa
Iaci Malta; Sinsio Pesco; Hlio Lopes. Clculo a Uma Varivel. Volume 1: Uma Introduo ao Clculo. Coleo MatMdia, Edies Loyola, Editora PUC-Rio, 2002.

Aula 1

Pr-Clculo

Bibliograa
Elon Lages Lima; Paulo Cezar Pinto Carvalho; Eduardo Wagner; Augusto Csar Morgado. A Matemtica do Ensino Mdio. Volume 1. Coleo do Professor de Matemtica, Sociedade Brasileira de Matemtica, 2003.

Aula 1

Pr-Clculo

Bibliograa

James Stewart. Clculo, volume 1, Quarta edio, Editora Pioneira, 2001.

Aula 1

Pr-Clculo

Bibliograa

George B. Thomas. Clculo, volume 1, Dcima edio, Editora Addison-Wesley, 2003.

Aula 1

Pr-Clculo

Bibliograa

Howard Anton. Clculo Um Novo Horizonte, volume 1, Sexta edio, Editora Bookman, 2000.

Aula 1

Pr-Clculo

Outras informaes

Pgina WEB do curso: http://www.professores.uff.br/hjbortol/.

Clique no link DISCIPLINAS no menu esquerda.

Contedo: cronograma dia a dia, lista de execcios, material extra, notas das provas.

No deixe de consultar os horrios de monitoria no GMA.

Vamos denir agora um horrio de atendimento para esta turma.

Aula 1

Pr-Clculo

Outras informaes

Pgina WEB do curso: http://www.professores.uff.br/hjbortol/.

Clique no link DISCIPLINAS no menu esquerda.

Contedo: cronograma dia a dia, lista de execcios, material extra, notas das provas.

No deixe de consultar os horrios de monitoria no GMA.

Vamos denir agora um horrio de atendimento para esta turma.

Aula 1

Pr-Clculo

10

Outras informaes

Pgina WEB do curso: http://www.professores.uff.br/hjbortol/.

Clique no link DISCIPLINAS no menu esquerda.

Contedo: cronograma dia a dia, lista de execcios, material extra, notas das provas.

No deixe de consultar os horrios de monitoria no GMA.

Vamos denir agora um horrio de atendimento para esta turma.

Aula 1

Pr-Clculo

11

Datas das provas

1a VE 2a VE VR VS

04/10/2010 (peso 2) 06/12/2010 (peso 3) 13/12/2010 17/12/2010

Importante: 20% do valor das VEs so testes aplicados ao longo do curso. Frequncia mnima: 75%.

Aula 1

Pr-Clculo

12

Datas das provas

1a VE 2a VE VR VS

04/10/2010 (peso 2) 06/12/2010 (peso 3) 13/12/2010 17/12/2010

Importante: 20% do valor das VEs so testes aplicados ao longo do curso. Frequncia mnima: 75%.

Aula 1

Pr-Clculo

13

Elementos de Lgica e Linguagem Matemticas

Aula 1

Pr-Clculo

14

O signicado das palavras

linguagem do cotidiano = linguagem matemtica

Aula 1

Pr-Clculo

15

O signicado das palavras

linguagem do cotidiano = linguagem matemtica

Aula 1

Pr-Clculo

16

Exemplo
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. Depois da divulgao do resultado do vestibular, Joo foi visto com um carro novo. ento verdade que Joo foi aprovado no vestibular? Resposta: no! Joo poderia, por exemplo, no ter sido aprovado no vestibular e ter ganhado o carro em um sorteio. Equvoco: na linguagem do cotidiano, comum assumir que se a sentena Se Joo for aprovado no vestibular, ento Joo ter um carro novo. verdadeira, ento tambm verdadeira a sentena Se Joo tem um carro novo, ento Joo foi aprovado no vestibular.

Aula 1

Pr-Clculo

17

Exemplo
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. Depois da divulgao do resultado do vestibular, Joo foi visto com um carro novo. ento verdade que Joo foi aprovado no vestibular? Resposta: no! Joo poderia, por exemplo, no ter sido aprovado no vestibular e ter ganhado o carro em um sorteio. Equvoco: na linguagem do cotidiano, comum assumir que se a sentena Se Joo for aprovado no vestibular, ento Joo ter um carro novo. verdadeira, ento tambm verdadeira a sentena Se Joo tem um carro novo, ento Joo foi aprovado no vestibular.

Aula 1

Pr-Clculo

18

Exemplo
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. Depois da divulgao do resultado do vestibular, Joo foi visto com um carro novo. ento verdade que Joo foi aprovado no vestibular? Resposta: no! Joo poderia, por exemplo, no ter sido aprovado no vestibular e ter ganhado o carro em um sorteio. Equvoco: na linguagem do cotidiano, comum assumir que se a sentena Se Joo for aprovado no vestibular, ento Joo ter um carro novo. verdadeira, ento tambm verdadeira a sentena Se Joo tem um carro novo, ento Joo foi aprovado no vestibular.

Aula 1

Pr-Clculo

19

Exemplo
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. Depois da divulgao do resultado do vestibular, Joo foi visto com um carro novo. ento verdade que Joo foi aprovado no vestibular? Resposta: no! Joo poderia, por exemplo, no ter sido aprovado no vestibular e ter ganhado o carro em um sorteio. Equvoco: na linguagem do cotidiano, comum assumir que se a sentena Se Joo for aprovado no vestibular, ento Joo ter um carro novo. verdadeira, ento tambm verdadeira a sentena Se Joo tem um carro novo, ento Joo foi aprovado no vestibular.

Aula 1

Pr-Clculo

20

Exemplo
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. Depois da divulgao do resultado do vestibular, Joo foi visto com um carro novo. ento verdade que Joo foi aprovado no vestibular? Resposta: no! Joo poderia, por exemplo, no ter sido aprovado no vestibular e ter ganhado o carro em um sorteio. Equvoco: na linguagem do cotidiano, comum assumir que se a sentena Se Joo for aprovado no vestibular, ento Joo ter um carro novo. verdadeira, ento tambm verdadeira a sentena Se Joo tem um carro novo, ento Joo foi aprovado no vestibular.

Aula 1

Pr-Clculo

21

Se A, ento B: hiptese e tese

Aula 1

Pr-Clculo

22

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

23

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

24

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

25

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

26

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

27

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m e n so inteiros pares, ento o produto m n um inteiro par. Hiptese: m e n so inteiros pares. Tese: o produto m n um inteiro par.

Aula 1

Pr-Clculo

28

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Hiptese: m um inteiro mltiplo de 3. Tese: m um inteiro mltiplo de 9.

Aula 1

Pr-Clculo

29

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Hiptese: m um inteiro mltiplo de 3. Tese: m um inteiro mltiplo de 9.

Aula 1

Pr-Clculo

30

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Hiptese: m um inteiro mltiplo de 3. Tese: m um inteiro mltiplo de 9.

Aula 1

Pr-Clculo

31

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Hiptese: m um inteiro mltiplo de 3. Tese: m um inteiro mltiplo de 9.

Aula 1

Pr-Clculo

32

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Hiptese: m um inteiro mpar. Tese: existe um inteiro k tal que m = 2 k 2 + 1.

Aula 1

Pr-Clculo

33

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Hiptese: m um inteiro mpar. Tese: existe um inteiro k tal que m = 2 k 2 + 1.

Aula 1

Pr-Clculo

34

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Hiptese: m um inteiro mpar. Tese: existe um inteiro k tal que m = 2 k 2 + 1.

Aula 1

Pr-Clculo

35

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Hiptese: m um inteiro mpar. Tese: existe um inteiro k tal que m = 2 k 2 + 1.

Aula 1

Pr-Clculo

36

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Hiptese: n um inteiro positivo. Tese: n2 + n + 41 um nmero primo.

Aula 1

Pr-Clculo

37

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Hiptese: n um inteiro positivo. Tese: n2 + n + 41 um nmero primo.

Aula 1

Pr-Clculo

38

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Hiptese: n um inteiro positivo. Tese: n2 + n + 41 um nmero primo.

Aula 1

Pr-Clculo

39

Se A, ento B: hiptese e tese

Na sentena

Se A, ento B.
A denominada hiptese e B denominada tese.

Exemplo: Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Hiptese: n um inteiro positivo. Tese: n2 + n + 41 um nmero primo.

Aula 1

Pr-Clculo

40

Se A, ento B: exemplo e contraexemplo

Aula 1

Pr-Clculo

41

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

42

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

43

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

44

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

45

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

46

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

47

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

48

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

49

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Exemplo: m = 18. Satisfaz a hiptese: m = 18 mltiplo de 3. Satisfaz a tese: m = 18 mltiplo de 9. Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9.

Aula 1

Pr-Clculo

50

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 51

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 52

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 53

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 54

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 55

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Exemplo: m = 1. Satisfaz a hiptese: m = 1 um inteiro mpar. Satisfaz a tese: se k = 0, ento 2 k 2 + 1 = 2 (0)2 + 1 = 1 = m. Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0.
Aula 1 Pr-Clculo 56

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 57

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 58

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 59

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 60

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 61

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo. Exemplo: n = 1. Satisfaz a hiptese: n = 1 um inteiro positivo. Satisfaz a tese: n2 + n + 41 = (1)2 + 1 + 41 = 43 um nmero primo. Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo.
Aula 1 Pr-Clculo 62

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

63

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

64

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

65

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

66

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

67

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

68

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

69

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

70

Se A, ento B: exemplo e contraexemplo

Um exemplo matemtico que para uma sentena Se A, ento B. satisfaz a hiptese A e satisfaz um objeto a tese B.

Um contraexemplo para uma sentena Se A, ento B. um objeto matemtico que satisfaz a hiptese A e no satisfaz a tese B.

Se m e n so inteiros pares, ento o produto m n um inteiro par. Exemplo: m = 2 e n = 2. Satisfaz a hiptese: m = 2 e n = 2 so inteiros pares. Satisfaz a tese: m n = (2) (2) = 4 um inteiro par. Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese.

Aula 1

Pr-Clculo

71

Se A, ento B: verdadeira ou falsa?

Aula 1

Pr-Clculo

72

Se A, ento B: verdadeira ou falsa?

Regras do Jogo
Com relao a uma sentena da forma Se A, ento B.: (1) Ela possui um e somente um dos atributos: verdadeira e falsa. (2) Ela verdadeira se no possui contraexemplos. (3) Ela falsa se possui pelo menos um contraexemplo. (4) (Demonstrao por absurdo) Se ao admitirmos que ela possui um determinado atributo (verdadeira ou falsa, respectivamente), chegamos uma contradio da regra (1), devemos concluir que o atributo correto o outro (falsa ou verdadeira, respectivamente).

Aula 1

Pr-Clculo

73

Se A, ento B: verdadeira ou falsa?

Regras do Jogo
Com relao a uma sentena da forma Se A, ento B.: (1) Ela possui um e somente um dos atributos: verdadeira e falsa. (2) Ela verdadeira se no possui contraexemplos. (3) Ela falsa se possui pelo menos um contraexemplo. (4) (Demonstrao por absurdo) Se ao admitirmos que ela possui um determinado atributo (verdadeira ou falsa, respectivamente), chegamos uma contradio da regra (1), devemos concluir que o atributo correto o outro (falsa ou verdadeira, respectivamente).

Aula 1

Pr-Clculo

74

Se A, ento B: verdadeira ou falsa?

Regras do Jogo
Com relao a uma sentena da forma Se A, ento B.: (1) Ela possui um e somente um dos atributos: verdadeira e falsa. (2) Ela verdadeira se no possui contraexemplos. (3) Ela falsa se possui pelo menos um contraexemplo. (4) (Demonstrao por absurdo) Se ao admitirmos que ela possui um determinado atributo (verdadeira ou falsa, respectivamente), chegamos uma contradio da regra (1), devemos concluir que o atributo correto o outro (falsa ou verdadeira, respectivamente).

Aula 1

Pr-Clculo

75

Se A, ento B: verdadeira ou falsa?

Regras do Jogo
Com relao a uma sentena da forma Se A, ento B.: (1) Ela possui um e somente um dos atributos: verdadeira e falsa. (2) Ela verdadeira se no possui contraexemplos. (3) Ela falsa se possui pelo menos um contraexemplo. (4) (Demonstrao por absurdo) Se ao admitirmos que ela possui um determinado atributo (verdadeira ou falsa, respectivamente), chegamos uma contradio da regra (1), devemos concluir que o atributo correto o outro (falsa ou verdadeira, respectivamente).

Aula 1

Pr-Clculo

76

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9.

Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

77

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9.

Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

78

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9.

Contraexemplo: m = 6. Satisfaz a hiptese: m = 6 mltiplo de 3. No satisfaz a tese: m = 6 no mltiplo de 9. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

79

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2k 2 +1.

Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

80

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2k 2 +1.

Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

81

Se A, ento B: verdadeira ou falsa?

Se m um inteiro mpar, ento existe um inteiro k tal que m = 2k 2 +1.

Contraexemplo: m = 3. Satisfaz a hiptese: m = 3 um inteiro mpar 3. No satisfaz a tese: no existe inteiro k tal que 2 k 2 + 1 = m, pois 2 k 2 + 1 > 0 para todo inteiro k e m = 3 < 0. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

82

Se A, ento B: verdadeira ou falsa?

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo.

Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

83

Se A, ento B: verdadeira ou falsa?

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo.

Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

84

Se A, ento B: verdadeira ou falsa?

Se n um inteiro positivo, ento n2 + n + 41 um nmero primo.

Contraexemplo: n = 40. Satisfaz a hiptese: n = 40 um inteiro positivo. No satisfaz a tese: n2 + n + 41 = (40)2 + 40 + 41 = 1681 = 412 = 41 41 no um nmero primo. Logo a sentena (proposio) falsa!

Aula 1

Pr-Clculo

85

Se A, ento B: verdadeira ou falsa?

Se m e n so inteiros pares, ento o produto m n um inteiro par.

Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese. Logo a sentena (proposio) verdadeira!

Aula 1

Pr-Clculo

86

Se A, ento B: verdadeira ou falsa?

Se m e n so inteiros pares, ento o produto m n um inteiro par.

Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese. Logo a sentena (proposio) verdadeira!

Aula 1

Pr-Clculo

87

Se A, ento B: verdadeira ou falsa?

Se m e n so inteiros pares, ento o produto m n um inteiro par.

Contraexemplo: no existe, pois todo objeto que satisfaz a hiptese, obrigatoriamente tambm ir satisfazer a tese. De fato: se m e n satisfazem a hiptese, ento m e n so inteiros pares. Mas o produto de inteiros pares inteiro par. Logo, m n inteiro par e satisfaz a tese. Logo a sentena (proposio) verdadeira!

Aula 1

Pr-Clculo

88

A recproca de Se A, ento B.

Aula 1

Pr-Clculo

89

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

90

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

91

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

92

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

93

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

94

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mltiplo de 3, ento m um inteiro mltiplo de 9. Sentena: (a sentena falsa) Recproca: se m um inteiro mltiplo de 9, ento m um inteiro mltiplo de 3. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

95

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Sentena: (a sentena falsa) Recproca: se existe um inteiro k tal que m = 2 k 2 + 1, ento m um inteiro mpar. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

96

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Sentena: (a sentena falsa) Recproca: se existe um inteiro k tal que m = 2 k 2 + 1, ento m um inteiro mpar. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

97

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Sentena: (a sentena falsa) Recproca: se existe um inteiro k tal que m = 2 k 2 + 1, ento m um inteiro mpar. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

98

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m um inteiro mpar, ento existe um inteiro k tal que m = 2 k 2 + 1. Sentena: (a sentena falsa) Recproca: se existe um inteiro k tal que m = 2 k 2 + 1, ento m um inteiro mpar. Recproca: (a recproca verdadeira: prove!)

Aula 1

Pr-Clculo

99

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m e n so inteiros pares, ento o produto m n um inteiro par. Sentena: (a sentena verdadeira) Recproca: se o produto m n um inteiro par, ento m e n so inteiros pares. Recproca: (a recproca falsa: prove!)

Aula 1

Pr-Clculo

100

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m e n so inteiros pares, ento o produto m n um inteiro par. Sentena: (a sentena verdadeira) Recproca: se o produto m n um inteiro par, ento m e n so inteiros pares. Recproca: (a recproca falsa: prove!)

Aula 1

Pr-Clculo

101

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m e n so inteiros pares, ento o produto m n um inteiro par. Sentena: (a sentena verdadeira) Recproca: se o produto m n um inteiro par, ento m e n so inteiros pares. Recproca: (a recproca falsa: prove!)

Aula 1

Pr-Clculo

102

A recproca de Se A, ento B.

A recproca de uma sentena na forma

Se A, ento B.
a sentena

Se B, ento A.

Sentena: se m e n so inteiros pares, ento o produto m n um inteiro par. Sentena: (a sentena verdadeira) Recproca: se o produto m n um inteiro par, ento m e n so inteiros pares. Recproca: (a recproca falsa: prove!)

Aula 1

Pr-Clculo

103