Beruflich Dokumente
Kultur Dokumente
Conceitos Preliminares
· Matemática é uma ciência. . Zero é par (d) Existe vida em outros planetas do universo. É proposição.
• Quais das frases a seguir são proposições? A Lógica Matemática adota como regras
A lua é feita de queijo verde. fundamentais do pensamento os 2 princípios:
Ele é, certamente, um homem alto.
Dois é um número primo. I - PRINCÍPIO (Axioma) DA NÃO CONTRADIÇÃO.
O jogo vai acabar logo?
Os juros vão subir ano que vem. II - PRINCÍPIO (Axioma) DO TERCEIRO EXCLUÍDO.
Os juros vão descer ano que vem.
x2 – 4 = 0.
Seus olhos são azuis ou verdes. Q: Seus olhos são azuis ou verdes.
• Se a lua é quadrada então a neve é branca. • Se Roberto é engenheiro então sabe matemática.
p → q (p é o antecedente e q o consequente) p → q (p é o antecedente e q o conseqüente)
( ), servem para denotar o "alcance" dos conectivos. 1. Toda fórmula atômica é uma fórmula.
Exemplos: p: a lua é quadrada e q: a neve é branca 2. Se A e B são fórmulas então (A ∧ B), (A ∨ B), (A → B),
(A ↔ B) e (~ A) também são fórmulas.
· Se a lua é quadrada e a neve é branca então a lua não
3. São fórmulas apenas as obtidas por 1. e 2..
é quadrada.:
Os parênteses serão usados segundo a seguinte ordem dos conectivos:
((p ∧ q) → ~p)
~, ∨ , ∧ , →, ↔ .
· A lua não é quadrada se e somente se a neve é
Com o mesmo conectivo adotaremos a convenção pela direita.
branca.:
Exemplo: a fórmula p ∨ q ∧ ~ r → p → ~ q deve ser entendida como
((~p) ↔ q)) (((p ∨ q) ∧ (~ r)) → ( p → (~ q)))
Algumas observações
Negação (~)
sobre a negação
Chama-se negação de uma proposição p a proposição
representada por não p cujo valor lógico é a verdade (v) se p é • A negação de “sempre” é
falsa e a falsidade (f) se p é verdadeira. Simbolicamente: ~p.
Dada uma proposição p, sua negação será denotada por
~p (não p).
Se p é verdadeira então ~ p será falsa e vice versa.
6. p: Suely é rica e q: Suely é feliz. 7. p: Carlos fala francês e q: Carlos fala inglês
e r: Carlos fala alemão.
a) Suely é pobre, mas feliz
b) Suely é rica ou infeliz a) Carlos fala francês ou inglês, mas não fala alemão
b) Carlos fala francês e inglês, ou não fala francês e alemão
c) Suely é pobre e infeliz
c) É falso que Carlos fala francês mas que não fala alemão
d) Suely é pobre ou rica, mas infeliz
d) É falso que Carlos fala inglês ou alemão mas que não
fala francês
1. 2.
a) Não está frio a) Se Carlos é feliz, então Jorge é rico
b) Está frio e está chovendo b) Jorge é rico ou Carlos não é feliz
c) Está frio ou está chovendo c) Carlos é feliz se e somente se Jorge não é rico
d) Está chovendo se e somente se está frio d) Se Jorge não é rico, então Carlos é feliz
e) Se está frio, então não está chovendo e) Não é verdade que Jorge não é rico
f) Está frio ou não está chovendo f) Se Jorge não é rico, e Carlos é feliz, então Jorge é
g) Não está frio e não está chovendo rico
h) Está frio se e somente se não está chovendo
i) Se está frio e não está chovendo, então está frio
Gabarito Gabarito
3. 4.
a) Cláudio fala alemão ou inglês a) Não é verdade que João não é gaúcho e Jaime
b) Cláudio fala inglês e alemão não é paulista
c) Cláudio fala inglês, mas não alemão b) Não é verdade que João não é gaúcho
d) Não é verdade que Cláudio fala inglês e alemão c) Não é verdade que João não é gaúcho ou que
e) Não é verdade que Cláudio não fala inglês Jaime não é paulista
f) Não é verdade que Cláudio não fala inglês e nem d) Se João é gaúcho, então Jaime não é paulista
alemão e) Se João não é gaúcho então Jaime não é paulista
f) Não é verdade que, se Jaime não é paulista, então
João é gaúcho
Gabarito Gabarito
5. 7.
a) p ^ q b) p ^ ~q c) ~(~p v q) a) (p v q) ^ ~r b) (p ^ q) v ~(p ^ r)
d) ~p ^ ~q e) p v (~p ^ q) f) ~(~p v ~q) c) ~(p ^ ~r) d) ~((q v r) ^ ~p)
6.
8.
a) ~p ^ q b) p v ~q
a) x = 0 v x > 0 b) x ≠ 0 v y ≠ 0
c) ~p ^ ~q d) (~p v q) ^ ~q
c) x > 1 v x + y > 0 d) x2 = x . x v x0 = 1
Gabarito Gabarito
10.
9.
a) x > 0 → y = 2
a)(x + y = 0 ^ z > 0) v z = 0 b) x + y = 2 → z > 0
b) x = 0 ^ (y + z > x v z = 0) c) x = 1 v z = 2 → y > 1
c) x ≠ 0 v (x = 0 ^ y < 0 ^ z = 0) d) z > 5 → x ≠ 1 ^ x ≠ 2
e) x ≠ y → x + z > 5 ^ y + z < 5
d) (x + y = 0 ^ z > 0) v z = 0
f) (x + y > z ^ z = 1) → x + y > 1
g) x < 2 → x = 1 v x = 0
h) y = 4 ^ (x < y → x < 5)