Fundamentos de Matemtica

Humberto Jos Bortolossi

Departamento de Matemtica Aplicada Universidade Federal Fluminense

Aula 1 7 de janeiro de 2013

Aula 1

Fundamentos de Matemtica

Apresentao

Aula 1

Fundamentos de Matemtica

Ementa e Bibliograa Bsica

Ementa
Elementos de linguagem e lgica matemtica: lgica proposicional (exemplos, contraexemplos, recproca, contrapositiva); predicados, conectivos lgicos, negao e quanticadores; demonstraes. Nmeros naturais: os axiomas de Peano, o princpio da boa ordenao, o princpio da induo, o segundo princpio da induo. Recurso, iterao e induo: induo e algoritmos recursivos, induo e algoritmos iterativos.

Bibliograa Bsica
Lehman, E.; Leighton, T. Mathematics for Computer Science. Lecture Notes. MIT, 2004. Rosen, K. H. Discrete Mathematics and Its Applications. International Edition, 2007. McGraw-Hill

Malta, I.; Pesco, S.; Lopes, H. Clculo a Uma Varivel. Volume I. Uma Introduo ao Clculo. Editora PUC-Rio, 2002.
Aula 1 Fundamentos de Matemtica 3

Ementa e Bibliograa Bsica

Ementa
Elementos de linguagem e lgica matemtica: lgica proposicional (exemplos, contraexemplos, recproca, contrapositiva); predicados, conectivos lgicos, negao e quanticadores; demonstraes. Nmeros naturais: os axiomas de Peano, o princpio da boa ordenao, o princpio da induo, o segundo princpio da induo. Recurso, iterao e induo: induo e algoritmos recursivos, induo e algoritmos iterativos.

Bibliograa Bsica
Lehman, E.; Leighton, T. Mathematics for Computer Science. Lecture Notes. MIT, 2004. Rosen, K. H. Discrete Mathematics and Its Applications. International Edition, 2007. McGraw-Hill

Malta, I.; Pesco, S.; Lopes, H. Clculo a Uma Varivel. Volume I. Uma Introduo ao Clculo. Editora PUC-Rio, 2002.
Aula 1 Fundamentos de Matemtica 4

Programao e Avaliao
Programao: O curso ter aulas expositivas com o instrutor s segundas, quartas e sextas. As sesses de tera e quinta sero realizadas com o monitor e consistiro de resoluo e discusso das listas de exerccios. Avaliao: Baseada em duas provas, listas de exerccios, desempenho nas aulas e sesses de discusso. Datas das provas: 18/01/2013 (sexta-feira) e 01/02/2013 (sexta-feira).

Pgina WEB: http://www.professores.uff.br/hjbortol/disciplinas/2013.1/fgv00001/

Aula 1

Fundamentos de Matemtica

Programao e Avaliao
Programao: O curso ter aulas expositivas com o instrutor s segundas, quartas e sextas. As sesses de tera e quinta sero realizadas com o monitor e consistiro de resoluo e discusso das listas de exerccios. Avaliao: Baseada em duas provas, listas de exerccios, desempenho nas aulas e sesses de discusso. Datas das provas: 18/01/2013 (sexta-feira) e 01/02/2013 (sexta-feira).

Pgina WEB: http://www.professores.uff.br/hjbortol/disciplinas/2013.1/fgv00001/

Aula 1

Fundamentos de Matemtica

Elementos de Lgica e Linguagem Matemticas

Aula 1

Fundamentos de Matemtica

O signicado das palavras

linguagem do cotidiano = linguagem matemtica

Aula 1

Fundamentos de Matemtica

O signicado das palavras

linguagem do cotidiano = linguagem matemtica

Aula 1

Fundamentos de Matemtica

Exemplo

Joo disse que:

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

10

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil,

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

11

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

12

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do Paran

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

13

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de Paran Santa Catarina ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

14

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de eu visitarei o estado do Paran Santa Catarina Rio Grande do Sul ou ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

15

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de eu visitarei o estado do eu visitarei o estado da Paran Santa Catarina Rio Grande do Sul Bahia. ou ou ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

16

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de eu visitarei o estado do eu visitarei o estado da Paran Santa Catarina Rio Grande do Sul Bahia. ou ou ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

17

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de eu visitarei o estado do eu visitarei o estado da Paran Santa Catarina Rio Grande do Sul Bahia. ou ou ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

18

Exemplo

Joo disse que: Se eu viajar para a regio Sul do Brasil, ento eu visitarei o estado do eu visitarei o estado de eu visitarei o estado do eu visitarei o estado da Paran Santa Catarina Rio Grande do Sul Bahia. ou ou ou

A armativa de Joo verdadeira ou falsa? Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, a armativa de Joo verdadeira!

Aula 1

Fundamentos de Matemtica

19

Exemplo

A armao seguinte verdadeira ou falsa?

Se x (x 2 2 x + 1) = 0, ento x = 0 ou x = 1 ou x = 2.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa verdadeira!

Aula 1

Fundamentos de Matemtica

20

Exemplo

A armao seguinte verdadeira ou falsa?

Se x (x 2 2 x + 1) = 0, ento x = 0 ou x = 1 ou x = 2.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa verdadeira!

Aula 1

Fundamentos de Matemtica

21

Exemplo

A armao seguinte verdadeira ou falsa?

Se x (x 2 2 x + 1) = 0, ento x = 0 ou x = 1 ou x = 2.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa verdadeira!

Aula 1

Fundamentos de Matemtica

22

Exemplo

A armao seguinte verdadeira ou falsa?

Se n mpar ou m mpar, ento m + n mpar.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa falsa!

Aula 1

Fundamentos de Matemtica

23

Exemplo

A armao seguinte verdadeira ou falsa?

Se n mpar ou m mpar, ento m + n mpar.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa falsa!

Aula 1

Fundamentos de Matemtica

24

Exemplo

A armao seguinte verdadeira ou falsa?

Se n mpar ou m mpar, ento m + n mpar.

Quais so as regras do jogo? Veremos que pelas regras da linguagem matemtica, esta armativa falsa!

Aula 1

Fundamentos de Matemtica

25

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

Fundamentos de Matemtica

26

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

Fundamentos de Matemtica

27

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

Fundamentos de Matemtica

28

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

Fundamentos de Matemtica

29

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

Fundamentos de Matemtica

30

Se A, ento B : hiptese e tese

Aula 1

Fundamentos de Matemtica

31

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

Fundamentos de Matemtica

32

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

Fundamentos de Matemtica

33

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

Fundamentos de Matemtica

34

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

Fundamentos de Matemtica

35

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

Fundamentos de Matemtica

36

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

Fundamentos de Matemtica

37

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

Fundamentos de Matemtica

38

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

Fundamentos de Matemtica

39

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

Fundamentos de Matemtica

40

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

Fundamentos de Matemtica

41

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

Fundamentos de Matemtica

42

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

Fundamentos de Matemtica

43

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

Fundamentos de Matemtica

44

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

Fundamentos de Matemtica

45

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

Fundamentos de Matemtica

46

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

Fundamentos de Matemtica

47

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

Fundamentos de Matemtica

48

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

Fundamentos de Matemtica

49

Se A, ento B : exemplo e contraexemplo

Aula 1

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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. 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 Fundamentos de Matemtica 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 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. 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 Fundamentos de Matemtica 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 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. 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 Fundamentos de Matemtica 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 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. 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 Fundamentos de Matemtica 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 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. 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 Fundamentos de Matemtica 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 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. 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 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 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 Fundamentos de Matemtica 71

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

Fundamentos de Matemtica

72

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

Fundamentos de Matemtica

73

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

Fundamentos de Matemtica

74

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

Fundamentos de Matemtica

75

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

Fundamentos de Matemtica

76

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

Fundamentos de Matemtica

77

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

Fundamentos de Matemtica

78

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

Fundamentos de Matemtica

79

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

Fundamentos de Matemtica

80

Se A, ento B : verdadeira ou falsa?

Aula 1

Fundamentos de Matemtica

81

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.

Aula 1

Fundamentos de Matemtica

82

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.

Aula 1

Fundamentos de Matemtica

83

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.

Aula 1

Fundamentos de Matemtica

84

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

Fundamentos de Matemtica

85

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

Fundamentos de Matemtica

86

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

Fundamentos de Matemtica

87

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. 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

Fundamentos de Matemtica

88

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. 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

Fundamentos de Matemtica

89

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. 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

Fundamentos de Matemtica

90

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

Fundamentos de Matemtica

91

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

Fundamentos de Matemtica

92

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

Fundamentos de Matemtica

93

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

Fundamentos de Matemtica

94

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

Fundamentos de Matemtica

95

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

Fundamentos de Matemtica

96

A recproca de Se A, ento B .

Aula 1

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

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 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

Fundamentos de Matemtica

103

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

Fundamentos de Matemtica

104

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

Fundamentos de Matemtica

105

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

Fundamentos de Matemtica

106

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

Fundamentos de Matemtica

107

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

Fundamentos de Matemtica

108

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

Fundamentos de Matemtica

109

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

Fundamentos de Matemtica

110

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

Fundamentos de Matemtica

111

Seo de Exerccios

Aula 1

Fundamentos de Matemtica

112