Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo...
Transcript of Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo...
![Page 1: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/1.jpg)
Fundamentos de Matemática
Humberto José Bortolossi
Departamento de Matemática Aplicada
Universidade Federal Fluminense
Aula 3
10 de janeiro de 2014
Aula 3 Fundamentos de Matemática 1
![Page 2: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/2.jpg)
Negação
Aula 3 Fundamentos de Matemática 2
![Page 3: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 3
![Page 4: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 4
![Page 5: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 5
![Page 6: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 6
![Page 7: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 7
![Page 8: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 8
![Page 9: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 9
![Page 10: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 10
![Page 11: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 11
![Page 12: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 x < −δ ou x > δ é x ≥ −δ e x ≤ δ quepode ser escrita da seguinte forma compacta: −δ ≤ x ≤ δ.
Aula 3 Fundamentos de Matemática 12
![Page 13: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 x < −δ ou x > δ é x ≥ −δ e x ≤ δ quepode ser escrita da seguinte forma compacta: −δ ≤ x ≤ δ.
Aula 3 Fundamentos de Matemática 13
![Page 14: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 x < −δ ou x > δ é x ≥ −δ e x ≤ δ quepode ser escrita da seguinte forma compacta: −δ ≤ x ≤ δ.
Aula 3 Fundamentos de Matemática 14
![Page 15: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 x < −δ ou x > δ é x ≥ −δ e x ≤ δ quepode ser escrita da seguinte forma compacta: −δ ≤ x ≤ δ.
Aula 3 Fundamentos de Matemática 15
![Page 16: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 x < −δ ou x > δ é x ≥ −δ e x ≤ δ quepode ser escrita da seguinte forma compacta: −δ ≤ x ≤ δ.
Aula 3 Fundamentos de Matemática 16
![Page 17: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 −δ < x < δ (isto é, −δ < x e x < δ) éx ≤ −δ ou x ≥ δ.
Aula 3 Fundamentos de Matemática 17
![Page 18: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 −δ < x < δ (isto é, −δ < x e x < δ) éx ≤ −δ ou x ≥ δ.
Aula 3 Fundamentos de Matemática 18
![Page 19: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 −δ < x < δ (isto é, −δ < x e x < δ) éx ≤ −δ ou x ≥ δ.
Aula 3 Fundamentos de Matemática 19
![Page 20: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 −δ < x < δ (isto é, −δ < x e x < δ) éx ≤ −δ ou x ≥ δ.
Aula 3 Fundamentos de Matemática 20
![Page 21: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 −δ < x < δ (isto é, −δ < x e x < δ) éx ≤ −δ ou x ≥ δ.
Aula 3 Fundamentos de Matemática 21
![Page 22: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 22
![Page 23: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 23
![Page 24: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/24.jpg)
Contrapositiva
Aula 3 Fundamentos de Matemática 24
![Page 25: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (assumindo que m representaum número natural)
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 3 Fundamentos de Matemática 25
![Page 26: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (assumindo que m representaum número natural)
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 3 Fundamentos de Matemática 26
![Page 27: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (assumindo que m representaum número natural)
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 3 Fundamentos de Matemática 27
![Page 28: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 28
![Page 29: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 29
![Page 30: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 30
![Page 31: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 31
![Page 32: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 32
![Page 33: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 33
![Page 34: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 34
![Page 35: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 35
![Page 36: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 36
![Page 37: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 37
![Page 38: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 38
![Page 39: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 39
![Page 40: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 40
![Page 41: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 (⇒), trocando “A⇒ B” por “∼ B ⇒∼ A” e observando que ∼ (∼ A) = Ae ∼ (∼ B) = B.
Corolário:
A⇒ B é falsa se, e somente se, sua contrapositiva ∼ B ⇒∼ A é falsa.
Aula 3 Fundamentos de Matemática 41
![Page 42: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 42
![Page 43: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 43
![Page 44: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 44
![Page 45: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 45
![Page 46: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 46
![Page 47: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 47
![Page 48: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 48
![Page 49: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 49
![Page 50: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 50
![Page 51: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 51
![Page 52: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 52
![Page 53: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 53
![Page 54: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 54
![Page 55: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 55
![Page 56: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 56
![Page 57: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/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 3 Fundamentos de Matemática 57
![Page 58: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/58.jpg)
Quantificadores
Aula 3 Fundamentos de Matemática 58
![Page 59: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/59.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 59
![Page 60: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/60.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 60
![Page 61: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/61.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 61
![Page 62: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/62.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 62
![Page 63: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/63.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 63
![Page 64: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/64.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 64
![Page 65: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/65.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 65
![Page 66: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/66.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ [1,∞[, x2 ≥ x
A sentença é verdadeira. Justificativa: se x ∈ [1,∞[, então x ≥ 1 ex > 0. Portanto, x · x ≥ 1 · x , isto é, x2 ≥ x .
Aula 3 Fundamentos de Matemática 66
![Page 67: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/67.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 67
![Page 68: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/68.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 68
![Page 69: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/69.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 69
![Page 70: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/70.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 70
![Page 71: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/71.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 71
![Page 72: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/72.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀x ∈ R, x2 ≥ −x
A sentença é falsa. Justificativa: existe x ∈ R tal que x2 < −x . Defato: se x = −1/2, então x ∈ R e x2 = 1/4 < 1/2 = −x .
Aula 3 Fundamentos de Matemática 72
![Page 73: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/73.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 73
![Page 74: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/74.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 74
![Page 75: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/75.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 75
![Page 76: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/76.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 76
![Page 77: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/77.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 77
![Page 78: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/78.jpg)
Quantificador universal (∀)
Dizemos que a expressão quantificada
∀x ∈ X , q(lê-se “para todo x pertencente a X , q”)
é verdadeira se todo elemento x do conjunto X satisfaz o predicado q,isto é, se a sentença x ∈ X ⇒ q é verdadeira. Note que “∀x ∈ X , q”é falsa se existe pelo menos um x ∈ X que não satisfaz o predicado q.
Regras do Jogo
Exemplo:∀a,b ∈ R, (a + b)2 = a2 + 2 ab + b2
A sentença é verdadeira. Justificativa: se a,b ∈ R, então (a + b)2 =(a + b)(a + b) = a2 + ab + ba + b2 = a2 + 2 ab + b2.
Aula 3 Fundamentos de Matemática 78
![Page 79: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/79.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 79
![Page 80: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/80.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 80
![Page 81: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/81.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 81
![Page 82: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/82.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 82
![Page 83: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/83.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 83
![Page 84: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/84.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 84
![Page 85: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/85.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 85
![Page 86: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/86.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x − 1 = 0
A sentença é verdadeira. Justificativa: se x = (1+√
5)/2, então x ∈ Re x2 − x − 1 = 0.
Aula 3 Fundamentos de Matemática 86
![Page 87: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/87.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x + 1 = 0
A sentença é falsa. Justificativa: para todo x ∈ R, x2 − x + 1 =(x − 1/2)2 + 3/4 > 0.
Aula 3 Fundamentos de Matemática 87
![Page 88: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/88.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x + 1 = 0
A sentença é falsa. Justificativa: para todo x ∈ R, x2 − x + 1 =(x − 1/2)2 + 3/4 > 0.
Aula 3 Fundamentos de Matemática 88
![Page 89: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/89.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x + 1 = 0
A sentença é falsa. Justificativa: para todo x ∈ R, x2 − x + 1 =(x − 1/2)2 + 3/4 > 0.
Aula 3 Fundamentos de Matemática 89
![Page 90: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/90.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x + 1 = 0
A sentença é falsa. Justificativa: para todo x ∈ R, x2 − x + 1 =(x − 1/2)2 + 3/4 > 0.
Aula 3 Fundamentos de Matemática 90
![Page 91: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/91.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃x ∈ R | x2 − x + 1 = 0
A sentença é falsa. Justificativa: para todo x ∈ R, x2 − x + 1 =(x − 1/2)2 + 3/4 > 0.
Aula 3 Fundamentos de Matemática 91
![Page 92: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/92.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃a,b, c ∈ N | a2 = b2 + c2
A sentença é verdadeira. Justificativa: se a = 5, b = 3 e c = 4, entãoa2 = 25 = 9 + 16 = b2 + c2.
Aula 3 Fundamentos de Matemática 92
![Page 93: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/93.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃a,b, c ∈ N | a2 = b2 + c2
A sentença é verdadeira. Justificativa: se a = 5, b = 3 e c = 4, entãoa2 = 25 = 9 + 16 = b2 + c2.
Aula 3 Fundamentos de Matemática 93
![Page 94: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/94.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃a,b, c ∈ N | a2 = b2 + c2
A sentença é verdadeira. Justificativa: se a = 5, b = 3 e c = 4, entãoa2 = 25 = 9 + 16 = b2 + c2.
Aula 3 Fundamentos de Matemática 94
![Page 95: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/95.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃a,b, c ∈ N | a2 = b2 + c2
A sentença é verdadeira. Justificativa: se a = 5, b = 3 e c = 4, entãoa2 = 25 = 9 + 16 = b2 + c2.
Aula 3 Fundamentos de Matemática 95
![Page 96: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/96.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃a,b, c ∈ N | a2 = b2 + c2
A sentença é verdadeira. Justificativa: se a = 5, b = 3 e c = 4, entãoa2 = 25 = 9 + 16 = b2 + c2.
Aula 3 Fundamentos de Matemática 96
![Page 97: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/97.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 97
![Page 98: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/98.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 98
![Page 99: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/99.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 99
![Page 100: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/100.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 100
![Page 101: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/101.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 101
![Page 102: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/102.jpg)
Quantificador existencial (∃)
Dizemos que a expressão quantificada
∃x ∈ X | q(lê-se “existe x pertencente a X tal que q”)
é verdadeira se existe pelo menos um elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui pelomenos um exemplo. Note que “∃x ∈ X | q” é falsa se todo elementox ∈ X não satisfaz o predicado q.
Regras do Jogo
Exemplo:∃n,a,b, c ∈ N | n > 2 e an = bn + cn
A sentença é falsa. Justificativa: difícil (ler a respeito do ÚltimoTeorema de Fermat).
Aula 3 Fundamentos de Matemática 102
![Page 103: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/103.jpg)
Quantificador existencial de unicidade (∃!)
Dizemos que a expressão quantificada
∃!x ∈ X | q(lê-se “existe um único x pertencente a X tal que q”)
é verdadeira se existe um único elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui umúnico exemplo. Note que “∃!x ∈ X | q” é falsa se existe mais de umelemento x ∈ X que satisfaz o predicado q ou se todo elemento x ∈ Xnão satisfaz o predicado q.
Regras do Jogo
Aula 3 Fundamentos de Matemática 103
![Page 104: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/104.jpg)
Quantificador existencial de unicidade (∃!)
Dizemos que a expressão quantificada
∃!x ∈ X | q(lê-se “existe um único x pertencente a X tal que q”)
é verdadeira se existe um único elemento x do conjunto X quesatisfaz o predicado q, isto é, se a sentença x ∈ X ⇒ q possui umúnico exemplo. Note que “∃!x ∈ X | q” é falsa se existe mais de umelemento x ∈ X que satisfaz o predicado q ou se todo elemento x ∈ Xnão satisfaz o predicado q.
Regras do Jogo
Aula 3 Fundamentos de Matemática 104
![Page 105: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/105.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 105
![Page 106: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/106.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 106
![Page 107: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/107.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 107
![Page 108: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/108.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 108
![Page 109: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/109.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 109
![Page 110: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/110.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 110
![Page 111: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/111.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 111
![Page 112: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/112.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 112
![Page 113: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/113.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 113
![Page 114: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/114.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 114
![Page 115: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/115.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | 2 x − 4 = 0
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈ R e 2 x − 4 = 2 (2)− 4 = 4− 4 = 0.(Unicidade) Sejam x1, x2 ∈ R tais que 2 x1−4 = 0 e 2 x2−4 = 0. Logo2 x1 − 4 = 2 x2 − 4. Portanto, 2 x1 = 2 x2. Assim, x1 = x2.
Aula 3 Fundamentos de Matemática 115
![Page 116: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/116.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 116
![Page 117: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/117.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 117
![Page 118: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/118.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 118
![Page 119: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/119.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 119
![Page 120: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/120.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 120
![Page 121: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/121.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 121
![Page 122: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/122.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 122
![Page 123: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/123.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 123
![Page 124: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/124.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 124
![Page 125: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/125.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 125
![Page 126: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/126.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 126
![Page 127: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/127.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 127
![Page 128: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/128.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 4
A sentença é verdadeira. Justificativa:
(Existência) Se x = 2, então x ∈]0,+∞[ e x2 = (2)2 = 4.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 4 e x22 = 4. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 128
![Page 129: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/129.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | x2 = 4
A sentença é falsa. Justificativa: se x1 = −2 e x2 = 2, então x1 ∈ R,x2 ∈ R, x2
1 = 4, x22 = 4 e x1 6= x2.
Aula 3 Fundamentos de Matemática 129
![Page 130: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/130.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | x2 = 4
A sentença é falsa. Justificativa: se x1 = −2 e x2 = 2, então x1 ∈ R,x2 ∈ R, x2
1 = 4, x22 = 4 e x1 6= x2.
Aula 3 Fundamentos de Matemática 130
![Page 131: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/131.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | x2 = 4
A sentença é falsa. Justificativa: se x1 = −2 e x2 = 2, então x1 ∈ R,x2 ∈ R, x2
1 = 4, x22 = 4 e x1 6= x2.
Aula 3 Fundamentos de Matemática 131
![Page 132: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/132.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈ R | x2 = 4
A sentença é falsa. Justificativa: se x1 = −2 e x2 = 2, então x1 ∈ R,x2 ∈ R, x2
1 = 4, x22 = 4 e x1 6= x2.
Aula 3 Fundamentos de Matemática 132
![Page 133: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/133.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 133
![Page 134: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/134.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 134
![Page 135: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/135.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 135
![Page 136: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/136.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 136
![Page 137: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/137.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 137
![Page 138: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/138.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 138
![Page 139: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/139.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 139
![Page 140: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/140.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 140
![Page 141: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/141.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 141
![Page 142: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/142.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 142
![Page 143: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/143.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 143
![Page 144: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/144.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 144
![Page 145: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/145.jpg)
Quantificador existencial de unicidade (∃!)
Exemplo:∃!x ∈]0,∞[ | x2 = 2
A sentença é verdadeira. Justificativa:
(Existência) Difícil: para justificar a existência é necessário estudarprimeiro o conceito de continuidade de funções reais.(Unicidade) Sejam x1, x2 ∈]0,+∞[ tais que x2
1 = 2 e x22 = 2. Logo
x21 = x2
2 e x1 + x2 6= 0. Portanto, x21 − x2
2 = 0 e x1 + x2 6= 0. Assim,(x1 − x2)(x1 + x2) = 0 e x1 + x2 6= 0. Desta maneira, x1 − x2 = 0, istoé, x1 = x2.
Aula 3 Fundamentos de Matemática 145
![Page 146: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/146.jpg)
Cuidado: ordem dos quantificadores
∀a ∈ R,∃b ∈ R | b > a(Verdadeira)
∃b ∈ R | ∀a ∈ R,b > a(Falsa)
Moral: cuidado com a ordem dos quantificadores!
Aula 3 Fundamentos de Matemática 146
![Page 147: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/147.jpg)
Cuidado: ordem dos quantificadores
∀a ∈ R,∃b ∈ R | b > a(Verdadeira)
∃b ∈ R | ∀a ∈ R,b > a(Falsa)
Moral: cuidado com a ordem dos quantificadores!
Aula 3 Fundamentos de Matemática 147
![Page 148: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/148.jpg)
Cuidado: ordem dos quantificadores
∀a ∈ R,∃b ∈ R | b > a(Verdadeira)
∃b ∈ R | ∀a ∈ R,b > a(Falsa)
Moral: cuidado com a ordem dos quantificadores!
Aula 3 Fundamentos de Matemática 148
![Page 149: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/149.jpg)
Cuidado: ordem dos quantificadores
∀a ∈ R,∃b ∈ R | b > a(Verdadeira)
∃b ∈ R | ∀a ∈ R,b > a(Falsa)
Moral: cuidado com a ordem dos quantificadores!
Aula 3 Fundamentos de Matemática 149
![Page 150: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/150.jpg)
Cuidado: ordem dos quantificadores
∀a ∈ R,∃b ∈ R | b > a(Verdadeira)
∃b ∈ R | ∀a ∈ R,b > a(Falsa)
Moral: cuidado com a ordem dos quantificadores!
Aula 3 Fundamentos de Matemática 150
![Page 151: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/151.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 151
![Page 152: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/152.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 152
![Page 153: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/153.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 153
![Page 154: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/154.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 154
![Page 155: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/155.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 155
![Page 156: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/156.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 156
![Page 157: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/157.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 157
![Page 158: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/158.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 158
![Page 159: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/159.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 159
![Page 160: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/160.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 160
![Page 161: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/161.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 161
![Page 162: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/162.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 162
![Page 163: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/163.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 163
![Page 164: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/164.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 164
![Page 165: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/165.jpg)
Negação dos quantificadores
∼ (∀x ∈ X , p) = (∃x ∈ X | ∼ p)
∼ (∃x ∈ X | p) = (@x ∈ X | p) = (∀x ∈ X , ∼ p)
∼ (∃!x ∈ X | p) = (∀x ∈ X , ∼ p) ∨ (∃x ∈ X | (p ∧ (∃y ∈ X | p ∧ (x 6= y))))
Negação dos Quantificadores
Exemplos:
∼ (∀x ∈ R, x2 ≥ −x) = ∃x ∈ R | x2 < −x
∼ (∃x ∈ R | x2 − x + 1 = 0) = ∀x ∈ R, x2 − x + 1 6= 0
∼ (∃b ∈ R | ∀a ∈ R,b > a) = ∀b ∈ R, ∃a ∈ R | b ≤ a
Aula 3 Fundamentos de Matemática 165
![Page 166: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/166.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 166
![Page 167: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/167.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 167
![Page 168: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/168.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 168
![Page 169: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/169.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 169
![Page 170: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/170.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 170
![Page 171: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/171.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 171
![Page 172: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/172.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 172
![Page 173: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/173.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 173
![Page 174: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/174.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 174
![Page 175: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/175.jpg)
Negação de uma implicação
∼ (p ⇒ q) = ∃x | (p ∧ ∼ q)
Negação de Uma Implicação
Exemplos:
∼ (x ∈ R⇒ x2 ≥ −x) = ∃x | (x ∈ R ∧ x2 < −x)
∼ (1/x < 1⇒ x > 1) = ∃x | (1/x < 1 ∧ x ≤ 1)
∼ (4 ≤ x2 ≤ 9⇒ 2 ≤ x ≤ 3) = ∃x | [4 ≤ x2 ≤ 9 ∧ (x < 2 ∨ x > 3)]
Aula 3 Fundamentos de Matemática 175
![Page 176: Fundamentos de Matemática - professores.uff.br · Aula 3 10 de janeiro de 2014 ... (anegaçãodo predicado p) se x não satisfaz o predicado p. ... Aula 3 Fundamentos de Matemática](https://reader031.fdocumentos.com/reader031/viewer/2022022712/5c0436dd09d3f28b388b512d/html5/thumbnails/176.jpg)
Seção de Exercícios
Aula 3 Fundamentos de Matemática 176