Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e...
Transcript of Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e...
![Page 1: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/1.jpg)
Fundamentos de Matemática
Humberto José Bortolossi
Departamento de Matemática Aplicada
Universidade Federal Fluminense
Aula 4
9 de janeiro de 2012
Aula 4 Fundamentos de Matemática 1
![Page 2: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/2.jpg)
Negação
Aula 4 Fundamentos de Matemática 2
![Page 3: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/3.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Qual é a negação do predicado abaixo (assumindo que x representaum número real)?
x < 1.
Resposta: x ≥ 1.
Aula 4 Fundamentos de Matemática 3
![Page 4: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/4.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Qual é a negação do predicado abaixo (assumindo que x representaum número real)?
x < 1.
Resposta: x ≥ 1.
Aula 4 Fundamentos de Matemática 4
![Page 5: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/5.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Qual é a negação do predicado abaixo (assumindo que x representaum número real)?
x < 1.
Resposta: x ≥ 1.
Aula 4 Fundamentos de Matemática 5
![Page 6: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/6.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Qual é a negação do predicado abaixo (assumindo que x representaum número real)?
x < 1.
Resposta: x ≥ 1.
Aula 4 Fundamentos de Matemática 6
![Page 7: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/7.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Relação com a Teoria dos Conjuntos: se
A = {x | x satisfaz p},
então{x | x satisfaz ∼ p} = AC = U︸︷︷︸
conjuntouniverso
− A.
Aula 4 Fundamentos de Matemática 7
![Page 8: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/8.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Relação com a Teoria dos Conjuntos: se
A = {x | x satisfaz p},
então{x | x satisfaz ∼ p} = AC = U︸︷︷︸
conjuntouniverso
− A.
Aula 4 Fundamentos de Matemática 8
![Page 9: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/9.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Relação com a Teoria dos Conjuntos: se
A = {x | x satisfaz p},
então{x | x satisfaz ∼ p} = AC = U︸︷︷︸
conjuntouniverso
− A.
Aula 4 Fundamentos de Matemática 9
![Page 10: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/10.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Relação com a Teoria dos Conjuntos: se
A = {x | x satisfaz p},
então{x | x satisfaz ∼ p} = AC = U︸︷︷︸
conjuntouniverso
− A.
Aula 4 Fundamentos de Matemática 10
![Page 11: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/11.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Relação com a Teoria dos Conjuntos: se
A = {x | x satisfaz p},
então{x | x satisfaz ∼ p} = AC = U︸︷︷︸
conjuntouniverso
− A.
Aula 4 Fundamentos de Matemática 11
![Page 12: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/12.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∨ q) = (∼ p) ∧ (∼ q).
Exemplo: a negação de p < −a ou p > a é p ≥ −a e p ≤ a quepode ser escrita da seguinte forma compacta: −a ≤ p ≤ a.
Aula 4 Fundamentos de Matemática 12
![Page 13: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/13.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∨ q) = (∼ p) ∧ (∼ q).
Exemplo: a negação de p < −a ou p > a é p ≥ −a e p ≤ a quepode ser escrita da seguinte forma compacta: −a ≤ p ≤ a.
Aula 4 Fundamentos de Matemática 13
![Page 14: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/14.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∨ q) = (∼ p) ∧ (∼ q).
Exemplo: a negação de p < −a ou p > a é p ≥ −a e p ≤ a quepode ser escrita da seguinte forma compacta: −a ≤ p ≤ a.
Aula 4 Fundamentos de Matemática 14
![Page 15: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/15.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∨ q) = (∼ p) ∧ (∼ q).
Exemplo: a negação de p < −a ou p > a é p ≥ −a e p ≤ a quepode ser escrita da seguinte forma compacta: −a ≤ p ≤ a.
Aula 4 Fundamentos de Matemática 15
![Page 16: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/16.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∨ q) = (∼ p) ∧ (∼ q).
Exemplo: a negação de p < −a ou p > a é p ≥ −a e p ≤ a quepode ser escrita da seguinte forma compacta: −a ≤ p ≤ a.
Aula 4 Fundamentos de Matemática 16
![Page 17: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/17.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∧ q) = (∼ p) ∨ (∼ q).
Exemplo: a negação de −a < p < a (isto é, −a < p e p < a) ép ≤ −a ou p ≥ a.
Aula 4 Fundamentos de Matemática 17
![Page 18: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/18.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∧ q) = (∼ p) ∨ (∼ q).
Exemplo: a negação de −a < p < a (isto é, −a < p e p < a) ép ≤ −a ou p ≥ a.
Aula 4 Fundamentos de Matemática 18
![Page 19: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/19.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∧ q) = (∼ p) ∨ (∼ q).
Exemplo: a negação de −a < p < a (isto é, −a < p e p < a) ép ≤ −a ou p ≥ a.
Aula 4 Fundamentos de Matemática 19
![Page 20: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/20.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∧ q) = (∼ p) ∨ (∼ q).
Exemplo: a negação de −a < p < a (isto é, −a < p e p < a) ép ≤ −a ou p ≥ a.
Aula 4 Fundamentos de Matemática 20
![Page 21: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/21.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (p ∧ q) = (∼ p) ∨ (∼ q).
Exemplo: a negação de −a < p < a (isto é, −a < p e p < a) ép ≤ −a ou p ≥ a.
Aula 4 Fundamentos de Matemática 21
![Page 22: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/22.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (∼ p) = p.
Aula 4 Fundamentos de Matemática 22
![Page 23: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/23.jpg)
Negação
Dizemos um objeto matemático x satisfaz o predicado
∼ p
(a negação do predicado p) se x não satisfaz o predicado p.Notações para a negação do predicado p: ∼ p ou ¬p.
Regras do Jogo
Fato: ∼ (∼ p) = p.
Aula 4 Fundamentos de Matemática 23
![Page 24: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/24.jpg)
Contrapositiva
Aula 4 Fundamentos de Matemática 24
![Page 25: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/25.jpg)
Contrapositiva
Dada uma sentença A⇒ B, sua contrapositiva é a sentença
∼ B ⇒∼ A.
Regras do Jogo
Exemplo: a contrapositiva da sentença (m representa um númeronatural)
se m2 é um número par, então m é um número par
é a sentença
se m é um número ímpar, então m2 é um número ímpar .
Aula 4 Fundamentos de Matemática 25
![Page 26: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/26.jpg)
Contrapositiva
Dada uma sentença A⇒ B, sua contrapositiva é a sentença
∼ B ⇒∼ A.
Regras do Jogo
Exemplo: a contrapositiva da sentença (m representa um númeronatural)
se m2 é um número par, então m é um número par
é a sentença
se m é um número ímpar, então m2 é um número ímpar .
Aula 4 Fundamentos de Matemática 26
![Page 27: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/27.jpg)
Contrapositiva
Dada uma sentença A⇒ B, sua contrapositiva é a sentença
∼ B ⇒∼ A.
Regras do Jogo
Exemplo: a contrapositiva da sentença (m representa um númeronatural)
se m2 é um número par, então m é um número par
é a sentença
se m é um número ímpar, então m2 é um número ímpar .
Aula 4 Fundamentos de Matemática 27
![Page 28: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/28.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 28
![Page 29: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/29.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 29
![Page 30: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/30.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 30
![Page 31: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/31.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 31
![Page 32: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/32.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 32
![Page 33: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/33.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 33
![Page 34: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/34.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 34
![Page 35: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/35.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 35
![Page 36: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/36.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 36
![Page 37: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/37.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 37
![Page 38: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/38.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 38
![Page 39: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/39.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 39
![Page 40: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/40.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 40
![Page 41: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/41.jpg)
Teorema
A⇒ B é verdadeira se, e somente se, sua contrapositiva ∼ B ⇒∼ A é verdadeira.
Demonstração.
(⇒) Suponha, por absurdo, que A⇒ B seja verdadeira, mas que ∼ B ⇒∼ A seja falsa.Então, ∼ B ⇒∼ A possui pelo menos um contraexemplo, isto é, existe um objeto x quesatisfaz ∼ B, mas não satisfaz ∼ A. Logo, x satisfaz A, mas não satisfaz ∼ B. Portanto,x é um contraexemplo para a sentença A ⇒ B. Logo, a sentença A ⇒ B é falsa, umacontradição.
(⇒) Basta usar (⇒), observando que a contrapositiva da contrapositiva de um sentençaé a própria sentença.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 4 Fundamentos de Matemática 41
![Page 42: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/42.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 42
![Page 43: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/43.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 43
![Page 44: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/44.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 44
![Page 45: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/45.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 45
![Page 46: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/46.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 46
![Page 47: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/47.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 47
![Page 48: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/48.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 48
![Page 49: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/49.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 49
![Page 50: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/50.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 50
![Page 51: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/51.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 51
![Page 52: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/52.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 52
![Page 53: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/53.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 53
![Page 54: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/54.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 54
![Page 55: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/55.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 55
![Page 56: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/56.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 56
![Page 57: Fundamentos de Matemática...Aula 4 Fundamentos de Matemática 30 Teorema A)B é verdadeira se, e somente se, sua contrapositiva˘B )˘Aé verdadeira. Demonstração. ()) Suponha,](https://reader035.fdocumentos.com/reader035/viewer/2022062417/61292b3e2a9f9366e56addb2/html5/thumbnails/57.jpg)
Contrapositiva: exercício resolvido
Se m é um inteiro, mostre que a sentença abaixo é verdadeira!
Se m2 é par, então m é par.
Demonstração: basta demonstrar que a contrapositiva da sentença é verdadeira, istoé, basta demonstrar que se m é ímpar, então m2 é ímpar. Para isso, faremos umademonstração direta. Seja m um número inteiro ímpar. Então existe k ∈ Z tal quem = 2 k +1. Portanto, m2 = (2 k +1)2 = 4 k2 +4 k +1 = 2 (2 k2 +2 k)+1 é um númeroímpar.
Aula 4 Fundamentos de Matemática 57