Fundamentos de Lgica

1. Sejam p, q e r as seguintes sentenas:

p: Rosas so vermelhas.
q: Violetas so azuis.
r: Acar doce.
Traduza as seguintes sentenas compostas para a linguagem da lgica proposicional.
a) Rosas so vermelhas e violetas so azuis.
b) Rosas so vermelhas e, ou bem violetas so azuis ou bem acar doce.
c) Sempre que violetas so azuis, as rosas so vermelhas e o acar doce.
d) Rosas so vermelhas apenas se as violetas no forem azuis e se o acar for azedo.
e) Rosas so vermelhas e, se o acar for azedo, ento as violetas no so azuis ou o
acar
doce.
2. Sejam p e q duas sentenas proposicionais tais que _ _ falsa. Determine o valorverdade de:
a) p q
b) p q
c) q q
d) q p
3. Determine em cada caso se a frmulas uma tautologia, uma contradio ou uma
contingencia.
a) p (p p)
b) (p q) (q p)
c) (p q) (q p)
d) ((((p q) p) p)
e) (p q) (p q)
f) (p (p r))(q r)
g) ((p q) r) ((q p) r)
h) (p (q r)) ((p q) r)
4. Cada uma das frmulas da coluna 1 logicamente equivalente com outra da coluna 2,
encontre
qual.
Columna 1 Columna 2
(pq)r (pr)( qr)
(pq)r (pr)(qr)
p(pr) (pq)(pr)
p(qr) (pq)(pr)
5. Usando as equivalncias lgicas, transforme e classifique as frmulas seguintes.
a) ((p q) r)
2

b) p ( q (p q))
c) ((p q) r) ((q p) r)
d) (p (q r)) ((p q) r)
6. Traduza para a linguagem da lgica de predicados, com o uso dos smbolos
predicados
mostrados e os quantificadores apropriados. (O domnio todo o mundo.)
J(x) "x um juiz.", Q(x) "x um qumico.", A(x) "x um advogado.", A(x, y) "x
admira

y.", M(x) "x uma mulher."

a) Existem algumas mulheres advogadas que so qumicas.
b) Nenhuma mulher advogada e qumica.
c) Alguns advogados s admiram juzes.
d) Todos os juzes admiram apenas juzes.
e) Apenas juzes admiram juzes.
f) Todas as mulheres advogadas admiram algum juiz.
g) Algumas mulheres no admiram advogados.
7. Qual o valor-verdade de cada uma das frmulas a seguir, onde o domnio consiste em
inteiros,
O(x) "x mpar", L(x) "x < 10" e G(x) "x > 9"?
a) _____
b) _____ _____
c) _____ _____
d) ______ _____
8. Diversas formas de negao so apresentadas para cada uma das sentenas a seguir.
Qual a
correta?
a) Algumas pessoas gostam de Matemtica.
Algumas pessoas no gostam de Matemtica.
Todo o mundo no gosta de Matemtica.
Todo o mundo gosta de Matemtica.
b) Todo o mundo gosta de sorvete.
Ningum gosta de sorvete.
Todo o mundo no gosta de sorvete.
Algum no gosta de sorvete.
c) Alguns retratos esto velhos ou apagados.
Nenhum retrato est velho ou apagado.
Alguns retratos no esto velhos ou apagados.
Todos os retratos no esto velhos ou no esto apagados.
Mtodos de prova e induo matemtica
9. Fornea uma demonstrao direta de que a soma de inteiros pares par.
10. Prove por contradio que a soma de inteiros pares par.
3

11. Prove que a soma de dois inteiros mpares par.

12. Prove que a soma de um inteiro par e um inteiro mpar mpar.
13. Prove que o produto de quaisquer dois inteiros consecutivos par.
14. Prove que a soma de um inteiro e do seu quadrado par.
15. Prove que o quadrado de um nmero par divisvel por 4.
16. Sejam x e y nmeros positivos, prove que _ < _ se, e somente se, __ < __.
17. Prove que a soma de trs inteiros consecutivos divisvel por 3.
18. Prove ou apresente um contraexemplo: O produto de dois nmeros irracionais
irracional.
19. Mostre que se n um nmero inteiro e __ + 5 mpar, ento n par, usando:
a) Uma demonstrao por contraposio.
b) Uma demonstrao por contradio.
20. Mostre que para todo inteiro positivo
a) 1_ + 2_ + + __ = ____________
_

b) 1_ + 3_ + 5_ + + _2_ 1__ =

__________"__

21. Determine uma frmula para uma frmula

_

+_
+_
$ + + _
_% examinando os valores da
expresso para valores pequenos de n. Use a induo matemtica para provar o seu
resultado.
22. Use a induo matemtica para mostrar que um conjunto com n elementos possui
_

___"__
_

subconjuntos contendo exatamente dois elementos, para todo _ 2.

23. Mostre que para todo _ 0, 1 1! + 2 2! + 3 3!+. . .+_ _! = __ 1_!
1.
24. Para que valores inteiros positivos valida a seguinte desigualdade __ _!?
Justifique a sua
resposta.
25. Mostre que 3_ _! para todo inteiro positivo maior que 6.
26. Mostre para todo inteiro positivo que 3 divide __ 2_.
27. Mostre para todo inteiro positivo que 5 divide _, _.
28. Mostre para todo inteiro positivo que -__ 1 divisvel por - + 1.
29. Prove ou apresente um contraexemplo:
Sejam R e S relaes de no conjunto X (onde X um conjunto arbitrrio)
a) Se R e S so transitivas ento . 0 transitiva.
b) Se R e S so transitivas ento . 0 transitiva.
c) Se R e S so transitivas ento . 0 transitiva.
30. Seja R uma relao reflexiva e transitiva no conjunto X, onde X um conjunto
arbitrrio.
Mostre que . ."_ uma relao de equivalncia.