Logica Word

Universidade Estadual de Maring
Centro de Cincias Exatas

Departamento de Matemtica
Exerccios
de
Lgica

=

Organizador: Joo Roberto Gernimo

abril de 2007

Maring PR

Introduo
O objetivo deste material servir de reforo aos conceitos de lgica desenvolvidos na sala da aula. Os
exerccios aqui propostos so de dificuldade baixa, mdia e alta e devem ser tomados como um complemento aos
exerccios do livro. A inteno proporcionar ao estudante o conhecimento de suas principais lacunas de modo a
melhor orientar seu estudo.
Esta lista est dividida em assuntos e seus tpicos e contm exerccios provveis, ou seja, provvel que
exerccios desse tipo caiam em prova.
Dividimos em temas conforme segue:
Conceitos
Tabelas-Verdade
Mtodo Dedutivo
Quantificadores
Problemas Lgicos
Circuitos Lgicos e Interruptores

Conceitos
1. O que Lgica? Para que serve?

2. Para que estudar lgica se eu fao o curso de Matemtica?

3. Quais os trs princpios que regem a Lgica Clssica?

4. a) O que o Princpio da Identidade. Exemplifique.
b) O que o Princpio do Terceiro Excludo. Exemplifique.
c) O que o Princpio da No-Contradio. Exemplifique.

5. O que uma proposio?

6. O que so proposies compostas?

7. Quais as principais maneiras de construir proposies compostas?

8. Sejam as proposies P: Est chovendo ,Q: O sol est brilhando e R: H nuvens no cu. Traduza as seguintes
sentenas abaixo em notao lgica:
a) chover se o sol brilhar ou se o cu estiver com nuvens.
b) se est chovendo, ento h nuvens no cu.
c) o sol brilha quando e apenas quando o cu fica com nuvens.

9. Utilizando o exerccio anterior, determine significados para as para as proposies:
a) (P Q) R
b)~P (Q R)
c)~(P Q) R

10. Determine os valores lgicos de cada uma das proposies:
a) se 2 + 2 = 4 ento 2 + 4 = 8.
b) se 2 + 2 = 5 ento 2 + 4 = 8.
c) se 2 + 2 = 4 ento 2 + 4 = 6.
d) se 2 + 2 = 5 ento 2+4=6.

11. Suponha que P Q seja falso. possvel determinar os valores lgicos de
a) PQ.
b) P Q.
c)Q P.

12. (FM-2005) Observe as seguintes demonstraes:
I)
Temos 16-36 = 25-45.
Somamos (81/4) nos dois lados, o que no altera a
igualdade.
Assim, 16-36+(81/4) = 25-45+(81/4).
Isso pode ser escrito da seguinte forma: (4-(9/2))
2
= (5-
(9/2))
2
.
Tirando a raiz quadrada em ambos os lados temos:4-(9/2)
= 5-(9/2).
Somando (9/2) nos dois lados da igualdade temos:4 = 5.

II)
Primo notou que o papel de Tornasol ficou vermelho ao
ser posto em cido.
Verificou ainda, que ficou azul ao ser posto em soluo
alcalina.
Agora, Primo est colocando o papel de Tornasol em uma
soluo cida ou alcalina.
Primo observa que o papel no ficou azul.
claro que o papel ficou vermelho.
Em (I) conclumos que:
A) Desde crianas fomos enganados e de fato 4 = 5.
B) Existe algo errado nessa demonstrao.
Caso a sua resposta seja a A), ou seja, voc foi enganado, o que resta o chorar.
Se sua resposta foi a B), ou seja, deve haver algum erro nisto, mostre onde ele est e porque.

Em (II), a concluso est correta? Justifique sua resposta utilizando os operadores lgicos conhecidos por voc.

Tabela Verdade
13. a) O que uma tabela verdade?
b) Como se constri uma tabela verdade?
c) Quantas linhas so utilizadas na construo da tabela verdade?

14. A conjuno de duas proposies P e Q, denotada por P Q, uma proposio composta que verdadeira
somente quando ambas o so. Construa sua tabela-verdade.

15. A disjuno de duas proposies P e Q, denotada por P Q, uma proposio composta que verdadeira
somente quando uma delas o . Construa sua tabela-verdade.

16. A negao de uma proposio P, denotada por ~P, uma proposio que troca o valor lgicao da proposio
original. Construa sua tabela-verdade.

17. A condicional de duas proposies P e Q, denotada por P Q, uma proposio composta que falsa somente
quando a primeira verdadeira e a segunda falsa.

18. A bicondicional de duas proposies P e Q, denotada por P Q, uma proposio composta que verdadeira
somente quando ambas possuem o mesmo valor lgico

19. a) O que uma tautologia?
b) O que uma contradio?
c) O que uma implicao ou inferncia?
d) O que uma bicondicional ou equivalncia lgica?

20. Verifique que p ~p uma contradio.

21. As tabelas a seguir estabelecem as principais regras de inferncia e equivalncias lgicas. Demonstre, utilizando a
tabela verdade, cada uma dessas regras.

REGRAS DE INFERNCIA
1 Adio P P Q Q P Q
Simplificao P Q P P Q Q
2 Silogismo Disjuntivo (P Q) ~P Q
Modus Ponens (P Q) P Q
ModusTollens (P Q) ~Q ~P
(P Q) (R S) (P R) (Q S)
3 Dilemas Construtivos
(P Q) (R S) (P R) (Q S)
(P Q) (R S) [(~Q ~S) (~P ~R)]
4 Dilemas Destrutivos
(P Q) (R S) [(~Q ~S) (~P ~R)]
5 Lei Transitiva (P Q) (Q R) (P R)
6 Contradio/Tautologia c P P t
7
Inferncia por casos
Inferncia eliminao

(Q P) (R P) [(Q R) P] [P (Q R)] ~R (P Q)
8 Unio P Q P Q
9 Transitivadade [P Q Q R] (P R) [PQ QR] (PR).
EQUIVALNCIAS LGICAS
1 Condicional P Q ~[P (~Q)] P Q (~P) Q
2 Bicondicional (P Q) [(P Q) (Q P)]
3 Lei da dupla negao ~(~P) P
4 Leis comutativas P Q Q P P Q Q P
5 Leis de idempotncia P P P P P P
6 Lei contrapositiva (P Q) [(~Q)(~P)]
7
Reductio ad
Absurdum
(P Q) (P ~Q) c
8 Leis de De Morgan ~(P Q) [(~P) (~Q)] ~(PQ)[(~P)(~Q)]
9 Leis associativas (P Q) R P (Q R) (P Q) R P (Q R)
10 Leis distributivas P (Q R) (P Q) (P R) P (Q R) (P Q) (P R)
P t P P t t P (~P) c P c c
11
Contradio
Tautologia
P c P ~t c ~c t P ~P t
12 Substituio (P P) [P(p,q,r,...) P(p,q,r,...)]
13 Absoro |P (P Q)| P |P (P Q)| P

22. Diga em cada caso, qual a lei de equivalncia est sendo usada.
a) ~(~(P Q)) P Q.
b) (P Q) ~R ~R (P Q).
c) |P (Q R)| |P (Q R)| |P (Q R)|.
d) ~(~(~P)) ~P.
e) P (Q R) (Q R) P.
f) ~P (Q S) ~(Q S) P.
g) (P ~Q) (~R S) |(P ~Q) ~R| S.
h) ~P Q ~(P ~Q).
i) |P (Q R) (P ~P)| P (Q R).
j) (P R) (R Q) R (P Q).
k) (P Q) ~R ~(P Q R).
l) P Q ~(~P ~Q).
m) |(P R) S| ~Q Q ~(P R) S.
n) (P ~Q) (P Q) (P ~P).
o) (~P ~Q) (Q ~Q) P P.
p) ~(~P (Q R)) ~((~P Q) (~P R)).
q) ~(P Q) R ~(~R (P Q)).
r) (P Q) (~Q ~P) ((P Q) ~Q) ~P.
s) (Q ~R) (R ~R) Q ~R.
t) ~P (Q R) P (Q R).

23. Diga em cada caso qual a regra de inferncia que est sendo usada.
a) ~P Q ~P.
b) (P ~Q) Q P.
c) (P ~Q) P ~Q.
d) (~P Q) (Q ~R) (~P ~R).
e) ~P Q ~P.
f) (P (P Q)) P (P Q).
g) (P ~Q) (Q ~R) (P Q) (~Q ~R).
h) (~P Q) ~Q P.
i) (~P Q) ~Q ~Q.
j) (~P Q) ~P Q.
k) ((P Q) R) ~R (P Q).
l) P ~P R S ~Q.
m) ((P Q) (P R))(S R) (~R ~(P R)) (~S ~(P Q)).
n) ((P Q) (R S)) ((R S) ~P) (P Q) ~P.
o) (P Q) (Q R) (Q R).
p) P P ~P.
q) ((R S) R) (R S) R.
r) (P (P Q)) ~(P Q) ~P.
s) (P Q) (R S) P Q R S.
t) ((P Q) R) ~S R ~R.
u) ((P Q) R) (R (Q P)) (P Q) (Q P).
v) (~(P Q) (Q R) ~(Q P)) (P Q).
x) ((P Q) R) ~(P Q) R.
w) (~P ~Q) ~P ~Q.
y) (P Q) R (P Q).

24. Uma contingncia uma proposio que assume pelo menos um valor lgico falso e um valor lgico verdadeiro.
Portanto, qualquer proposio deve ser uma tautologia ou uma contradio ou uma contingncia. Nas proposies
abaixo, verifique atravs da tabela-verdade se uma tautologia ou uma contradio ou uma contingncia. (Utilizaremos
a letra t para representar tautologia e a letra c para representar contradio):
a) (FM-2002) |p (q r)| |q (p r )|.
Soluo: Faremos a tabela verdade de |p (q r)| |q (p r )|.
p q r |p (q r)| |q (p r)|
V V V V V V V V V V V V V V
V V F V F V F F V V F V F F
V F V V V F V V V F V V V V
V F F V V F V F V F V V F F
F V V F F V V V V V F F F V
F V F F F V F F V V F F F F
F F V F F F V V V F V F F V
F F F F F F V F V F V F F F
Etapa 1 3 1 2 1 4 1 3 1 2 1
Como todas as possibilidades lgicas da etapa 4 so verdadeiras temos que a proposio uma tautologia

b) (FM-2002) [(p q) r] [(p r) (q r)].

c) (FM-2001) [(pq) (rc)] (p~r).
d) (FM-2000) (p ~q) (~p q).
e) (FM-2000) (p ~p) (q p).
f) (FM-2000) (p r) (q r) (p q) r.
g) (FM-2000) (p q) (~r).
h) (FM-2000) (p q ) (r p).
i) (FM-2000) [(p r) (q r)] [(p q) r].
j) (FM-1999) (MD-2003) [p (p r)] p.
k) (FM-1999) ~(p q) ~(q p).
l) (FM-1999) (p q) q p.
m) (FM-1999) (MD-2003)~(p q) ~p q.
n) (FM-1999) [p(~q)] [(~p) q].
o) (FM-1999) (p q r) [(~p) (~q) (~r).
p) (FM-1999) p (p q) [p (~q)].
q) (FM-1999) (~p) (p q).
r) ~(P Q).
s) R ~(P Q).
t) ~(P Q).
u) (P Q) (P ~Q).
v) ~(p ~q).
x) ~(p q).
w) ~(p q) ~(q p)
y) (p q) (q p)
z) ~(p q) ~(p q)
aa) p q p q.
ab) ~p (q p).
ac) (p q) (p q).
ad) q (~p q).
ae) (p ~q) (p p).
af) (p ~q) (~p q).
ag) (~p r) (q r).
ah) (p r) (q ~r).
ai) (p (p ~r)) (q r) l) (p q) |~p (q ~r)|.
aj) |p (~q)| |(~p) q|.
ak) |(p q) r | |(~p) (~q) (~r)|.
al) |p (p q)| |p (~q)|.
am) (~p) (p q).
an) p ~q) (~p q).
ao) (p ~p) (q p).
ap) p (p q) p.
aq) |(p r) (q r)| |(p q) r|.
ar) |p p q)| [p q].
as) p (p q) q.
at) [q (p q)] [p q].
au) (p q) (p r) [p (q r)].
av) (p q) (p r) [p (q r)].
ax) [(p q) r] [(q ~r) ~p].
aw) (p q) (~p) (~q).
ay) p (q r).
az) q (p q).
ba) (p q) (q r) (r p).
bb) (~p p) p.
bc) (p q) p.
bd) (p q r) p q r.
be) (p q) r.
bf) (p q) q.
bg) (p q) (q p).
bh) (p q) r.
bi) (p p) p.
bj) (~p) [p (~q)].
bk) (p ~ p) p
bl) (~p) q.
bm) (~q) (~p)
bn) p ~p
bo) p (q r).
bp) (p q) r
bq) (p q) [p (q r) p (p r)].
br) (p q) (p r).
bs) (pq)[(pq)(qr)].
bt) (p q) (p r)
bu) p (q r).
bv) (p q r) (~p q ~r) (~p ~q ~r).
bw) (p q) [p (q r) p (p r)].
by) p p
bz) p q q p
ca) p p p
cb) p q q
cc) [p (q r)] p

25. Mostre que
a) (p q) (~p ~q).
b) (p q) (~p ~q) no uma tautologia.
c) [(p q) ~p] ~q equivalente a (p q) (~p ~q).

26. O sinal denominado disjuno exclusiva, p q verdadeira quando p q verdadeira, mas no ambos o so.
a) Construa a tabela verdade de p q.
b) Construa a tabela verdade da proposio (p q) ~(p q).
c) Comparando as tabelas verdade dos itens a) e b) que concluso podemos chegar?
d) Mostre que: p q q p.
e) Mostre que: p (q r) (p q) r.
f) Mostre que: p t ~p.
g) Mostre que: p c p.
h) Mostre que: p p c.
i) Mostre que: ~(p q) (p q).

27. Dadas duas proposies p e q e a condicional p q, definimos:
Recproca ou converso: q p.
Inversa: ~p ~q.
Contrapositiva ou Contra recproca: ~q ~p.
Com essas definies determinar e simplificar:
a) A contrapositiva da contrapositiva.
b) A contrapositiva da recproca.
c) A contrapositiva da inversa.
d) A contrapositiva de p ~q.
e) A contrapositiva de ~p q.
f) A contrapositiva da recproca de p ~q.
g) A recproca de ~p ~q.

28. O sinal denominado negao conjunta, p q verdadeira quando nem p e nem q o so.
a) (FM-2002) Construa a sua tabela verdade.
b) Mostre as seguintes equivalncias:
i) ~p p p. ii) p q (p p) (q q).
iii) p q (p q) (p q). iv) p q ~p ~q.
c) (FM-2002) Construa a tabela verdade da proposio |(p q) p| |q (p q)|.

29. (FM-2002) Considere o conectivo lgico definido por

p q p q
V V F
V F F
F V V
F F F
Construa a tabela verdade da proposio (p q) (p q) (p q) ~p.
Soluo: A tabela verdade obtida por
P q (p q) (p q) (p q) ~ p
V V V V V F V V V V V F V F F V
V F V F F F V F F V V F F F F V
F V F F V F F F V V F V V V V F
F F F F F V F V F V F F F V V F
Etapas 1 2 1 3 1 2 1 4 1 2 2 3 2 1

30. (FM-2001) O sinal denominado recproca da condicional. Temos que pq s falsa quando a condicional
verdadeira, se p e q tem valores verdades distintos.
a) Construa a tabela da verdade de pq.
b) Construa a tabela da verdade da proposio [(pq) q] (pq).
c) Comparando a tabelas da verdade dos itens a) e b) que concluses podemos chegar?

31. (MD-2001) Dada a seguinte proposio:
[ a ( b ~ c) ] [ b (~ a c) ]
a) Determine, usando uma tabela-verdade, seus valores-verdade;
b) Diga se uma tautologia (justifique);
c) Diga se equivalente proposio ~ a (justifique).

32. Sabendo que a proposio p verdadeira, encontre a tabela verdade das proposies:
a) (MD-2001) [p (~q)] [(p r) q].
Soluo: Como p sempre verdadeira, temos a seguinte tabela verdade detalhada.
p q r [p (~ q)] [(p r) q]
V V V V F F V F V V V V V
V V F V F F V F V V F V V
V F V V V V F F V V V F F
V F F V V V F F V V F F F
Etapa 1 3 2 1 4 1 2 1 3 1

b) (MD-2001) [(p r) (q r)] [(p q) r].
Soluo:
p q r [(p r) (q r) [(p q r]
V V V V V V V V V V V V V V V V
V V F V F F F V F F V V V V F F
V F V V V V V F V V V V F F V V
V F F V F F V F V F V V F F V F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1

33. Prove ou disprove as proposies abaixo: (Note que basta uma linha ser F para falhar uma tautologia.)
a) (Q P) (P Q) b) (P ~Q) (P Q)

34. Vrios livros apresentam as notaes: w(P) =1 se P vale, e w(p) = 0 quando ela falsa. Tais notaes facilitam a
simulao de tabelas verdade no computador, por exemplo: se w (P) =x e w(Q)=y, a tabela verdade da conjuno pode
ser simulada pela funo
f
:{0,1}{0,1}{0,1}onde f
(x, y) = x. y, ou ainda , w (P Q) = w(P). w(Q).

a) Verifique tal afirmao:
b) Analogamente, crie funes: f
~
,f
,f
que representem os outros conectivos.

c) Atravs destas funes, crie funes representativas de:
~(P Q), (P Q) ~Q, (P Q) R.
(Este exerccio ilustra o fato de que a construo de tabelas-verdade um problema compatvel)

35. (FM-2002) Verifique se tautologia, contradio ou contingncia.
[(p q) r] [(p r) (q r)].
Faremos a tabela verdade de [(p q) r] [(p r) (q r)].
p q r [(p q) r] [(p r) (q r)]
V V F V V V F F V V F F F V F F
V F V V V F V V V V V V V F V V
V F F V V F F F V V F F V F V F
F V V F V V V V V F V V V V V V
F V F F V V F F V F V F V V F F
F F V F F F V V V F V V V F V V
F F F F F F V F V F V F V F V F
Etapa 1 2 1 3 1 4 1 2 1 3 1 2 1
Como na ltima etapa (etapa 4) todas as possibilidades lgicas so verdadeiras, temos que a proposio uma tautologia.

36. (FM-2002) Considere o conectivo lgico definido por
p q p q
V V F
V V F
F F F
F F V
Construa a tabela verdade da proposio
|(p q) p| |q (p q)|.
A tabela verdade da proposio dada :
p q |(p q) p| |q (p q)|
V V V F V V F F V F V V V
V F V F F V V F F F V V F
F V F F V V F F V F F V V
F F F V F F F F F V F F F
Etapas 1 2 1 3 1 4 1 3 1 2 1
Como na etapa 4 temos apenas valores lgicos falsos dizemos que o resultado uma contradio.

37. (FM-2001) O sinal denominado recproca da condicional. Temos que pq s falsa quando a
condicional verdadeira, se p e q tem valores verdades distintos.
a) Construa a tabela da verdade de pq.
b) Construa a tabela da verdade da proposio [(pq) q] (pq).
c) Comparando a tabelas da verdade dos itens a) e b) que concluses podemos chegar?
Soluo:
a)
p q
V V V V
V F F V
F V V F
F F V V
b)
p q
V V V V V V
V F V F V F
F V V V F F
F F F F V V
Etapas 1
a
2
a
4
a
3
a

c) Como as tabela-verdade das duas proposies so iguais, temos que pq e [(p q) q] p q) so logicamente
eqivalentes, ou seja, pq [(pq)q] (pq).

38. (FM-2001) a) Faa a Tabela Verdade Detalhada da proposio
[p (~q p)] ~[(p (~q)) (q ( ~p))];
b) Sabendo que os valores lgicos de p, q e r so, respectivamente, V, F e V, determine o valor lgico (V ou
F) de (p r) [q (~r)].
Soluo:
a) A tabela verdade detalhada da proposio :
p q [p (~ q p)] ~ [(p (~ q)) (q (~ p))
V V V V F V V V F F V F F V V V V F V
V F V V V F V V V V V V V F F F F F V
F V F F F V V F F F F V F V V V V V F
F F F F V F F F F F F F V F V F V V F
Etapa 1 4 2 1 3 1 6 5 1 3 2 1 4 1 3 2 1

b) O valor lgico da proposio dado pela terceira linha e etapa 4 da tabela detalhada a seguir:
p q r (p r) [q (~ r)]
V V V V V V V V V F V
V V F V F F F V V V F
V F V V V V F F F F V
V F F V F F F F V V F
F V V F V V V V V F V
F V F F V F V V V V F
F F V F V V F F F F V
F F F F V F V F V V F
Etapas 1 2 1 4 1 3 2 1

39. (FM-2001) Sabendo que c representa uma contradio, faa a Tabela Verdade Detalhada da
proposio
[(pq) (rc)] (p~c);
Soluo:
p q r [(p q) (r c)] (p ~ r)
V V V V V V F V F F F V V F V
V V F V V V F F F F F V V V F
V F V V F F F V F F F V V F V
V F F V F F F F F F F V V V F
F V V F F V F V F F V F F F V
F V F F F V F F F F F F V V F
F F V F F F F V F F V F F F V
F F F F F F F F F F F F V V F
Etapa 1 2 1 3 1 2 1 4 1 3 2 1

40. (FM-2000) Encontre a tabela verdade das seguintes proposies.
a) (p ~q) (~p q)
b) (p ~p) (q p)
c) (p r) (q r) (p q) r.
Soluo:
a)(p ~q) (~p q)
p q (p ~ q) (~ p q)
V V V V F F F F V F V
V F V V V F F F V F F
F V F F F V F V F V V
F F F V V F F V F F F
Etapas 1 3 2 1 4 2 1 3 1
Temos que o resultado da tabela- verdade acima uma contradio.
b) (p ~p) (q p)
p q (p ~ p) (q p)
V V V F F V V V V V
V F V F F V V V V V
F V F F V F V F V F
F F F F V F V F F F
Etapas 1 3 2 1 4 1 2 1
Temos que o resultado da tabela verdade uma tautologia.
c) |(p r) (q r)| |(p q) r|
p q r |(p r) (q r)| |(p q) r)|
V V V V V V V V V F V V V V V V
V V F V F F V V F F F V V V F F
F V V F V V V V V V V F F V V V
F V F F V F F V V F V F F V V F
F F V F V V V F F V V F F F V V
F F F F F F V F F F V F F F V F
Etapas 1 2 1 3 1 2 1 4 1 2 1 3 1
Temos que o resultado da tabela- verdade acima uma contingncia.

a) (p q) (~r)
b) (p q ) (r p)
c) [(p r) (q r)] [(p q) r].
Soluo:
a) (p q) (~r)
p q r (p q) (~ r)
V V V V V V V F V
V V F V V V V V F
V F V V F F F F V
V F F V F F V V F
F V V F F V F F V
F V F F F V V V F
F F V F F F F F V
F F F F F F F F F
Etapa 1 2 1 3 2 1
b) (p q ) (r p)
p Q r (p q) (r p)
V V V V V V V V V V
V V F V V V F F F V
V F V V V F V V V V
V F F V V F F F F V
F V V F V V F V F F
F V F F V V F F F F
F F V F F F V V F F
F F F F F F V F F F
Etapa 1 2 1 3 1 2 1

c) [(p r) (q r)] [(p q) r]
p q r [(p r) (q r)] [(p q) r]
V V F V F F V V F F F V V V F F
F V F F V F F V F F F F F V V F
F F V F V V V F V V V F F F V V
F F F F V F V F V F V F F F V F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1

a) (p ~q) (~p q)
b) (p ~p) (q p)
c) (p r) (q r) (p q) r.
Soluo:
a) (p ~q) (~p q)
p q (p ~ q) (~ p q)
V V V V F V F F V F V
F V F F F V F V F V V
F F F V V F F V F F F
Etapa 1 3 2 1 4 2 1 3 1
b) (p ~p) (q p)
p q (p ~ p) (q p)
V V V F F V V V V V
V F V F F V V F V V
F V F F V F V V V F
F F F F V F V F F F
Etapa 1 3 2 1 4 1 2 1
c) (p r) (q r) (p q) r
p q r (p r) (q r) (p q) r
V V F V F F F V F F V V V V F F
F V F F V F V V F F V F F V V F
F F V F V V V F V V V F F F V V
F F F F V F V F V F V F F F V F
Etapa 1 2 1 3 1 2 1 4 1 2 1 3 1

43. (FM-1999) Uma contingncia uma proposio que assume pelo menos um valor lgico falso e um valor lgico
verdadeiro. Portanto, qualquer proposio deve ser uma tautologia ou uma contradio ou uma contingncia. Nas
proposies abaixo, verifique atravs da tabela-verdade se uma tautologia ou uma contradio ou uma contingncia:
a) [p(~q)] [(~p) q]
b) (p q r)] [(~p) (~q) (~r)
c) p (p q) [p (~q)]
d) (~p) (p q).
Soluo:
a) |p (~q)| |(~p) q|
p q |p (~ q) |(~ p) q|
V V V F F V V F V V V
F V F F F V V V F V V
F F F F V F V V F V F
Etapas 1 3 2 1 4 2 1 3 1
Como na etapa 4 a proposio assume valores lgicos verdadeiros e falsos temos que o resultado da tabela- verdade uma
contingncia.
b) |(p q) r | |(~p) (~q) (~r)|
p q r |(p q) r| |(~ p) (~ q) (~ r)|
V V V V V V V V F F V F F V F F V
V V F V V V F F F F V F F V V V F
V F V V F F F V F F V V V F V F V
V F F V F F F F F F V V V F V V F
F V V F F V F V F V F V F V V F V
F V F F F V F F F V F V F V V V F
F F V F F F F V F V F V V F V F V
F F F F F F F F F V F V V F V V F
Etapas 1 2 1 3 1 5 2 1 3 2 1 4 2 1
Como os valores lgicos da etapa 5 so falsos temos que o resultado da tabela verdade uma contradio.
c) |p (p q)| |p (~q)|

p q |p (p q)| |p (~ q)|
V F V V V V V F V F F V
V F V F V F F F V V V F
F V F F F V V F F V F V
F F F F F V F F F F V F
Etapas 1 3 1 2 1 4 1 3 2 1
Temos que o resultado da tabela- verdade uma contradio.
d) (~p) (p q)
p q (~ p) (p q)
V V F V V V F V
V F F V V V F F
F V V F V F V V
F F V F V F V F
Etapas 2 1 3 1 2 1
Como os valores lgicos da etapa 3 so verdadeiros temos que o resultado da tabela verdade uma tautologia.

44. (FM-1999) Uma contingncia uma proposio que assume pelo menos um valor lgico falso e um valor lgico
verdadeiro. Portanto, qualquer proposio deve ser uma tautologia ou uma contradio ou uma contingncia. Nas
proposies abaixo, verifique atravs da tabela-verdade se uma tautologia ou uma contradio ou uma contingncia:
a) [p (p r)] p.
b) ~(p q) ~(q p)
c) (p q) q p.
d) ~(p q) ~p q.
Soluo:
a)
p r [p (p r)] p
V V V V V V V V V
V F V V V F F V V
F V F V F V V F F
F F F V F V F F F
Etapa 1 3 1 2 1 4 1
b)
p q ~ (p q) (q p)
V V F V V V V V V V
V F V V F F V F F V
F V V F F V V V F F
F F V F F F V F V F
Etapa 3 1 2 1 4 1 2 1
c)
p q (p q) q p
V V V V V V V V V
V F V F F V F V V
F V F F V V V V F
F F F F F V F F F
Etapa 1 2 1 3 1 2 1

d)
p q ~ (p q) ~ p q
V V F V V V F F V V V
V F V V F F F F V F F
F V F F V V F V F V V
F F F F V F F V F V F
Etapa 3 1 2 1 4 2 1 3 1

Mtodo Dedutivo
45. O que um argumento?

46. Quando um argumento vlido?

47. (FM-2005) Observe as demonstraes I e II a seguir:

I) Um aluno deu a soluo seguinte para a inequao (1) abaixo:
(x 3)(x 2)
x
(x 1)
+
>

(1)
(x + 3) (x 2) > x
2
x
(2)
x
2
+ x 6 > x
2
x
(3)
x 6 > x (4)
2x > 6 (5)
x > 3 (6).

II) Maria assustou-se esta noite com um gato branco. Como sabe que foi um gato? Bem, ela s poderia assustar-se com
um animal e em sua casa s h ces e gatos. Se fosse um co, o susto teria sido maior. E como sabe que o gato era
branco? Na casa da Maria s tem gatos brancos e gatos pretos e os gatos pretos no seriam visveis naquela
escurido...

Com isso conclumos que:
Todos os passos de (2) a (6) da soluo esto corretos.
A concluso est correta? Justifique sua resposta utilizando os operadores lgicos conhecidos por voc.

48. Utilizando as regras de inferncia e equivalncia lgicas, mostre as seguintes tautologias:
a) (FM-2002) (q r) p |q (r p)|.
b) (FM-2002) (p q) r r ( p ~q)
c) (FM-2002) p (p q) p.
d) (FM-2002) [(p q) (p r)] [p (q r)].
e) (FM-2002) (MD-2003) (p q) ~p (~q ~p).
f) (FM-2002) (r s) ~s t.
g) (FM-2002) (pq)r[(pr)(qr)].
h) (FM-2001) p (pq) ~p.
i) (FM-2001) (pq) p p q.
j) (FM-2001) [p (p q)] (p q);
k) (FM-2001) [(p q) q)] (p q).
l) (FM-2001) [(pq) (p r)] [p (q r)];
m) (FM-2001) [~(pq) (~pq)] ~p.
n) (FM-2001) p (pq) ~q.
o) (FM-2001) (pq) p p q.
p) (FM-1999) (p q) ~p (~q ~p).
q) (FM-1999) (r s) ~s s.
r) (FM-1999) p (p q) p.
s) (FM-1999) [(p q) (p r) [p (q r)].
t) (MD-2001) [(p q) (p q) (p q).
u) (MD-2001) (p q) ~p (~q ~p).
v) P (Q P) P (P ~Q).
x) P ~P P.
w) (P Q) (P ~Q) P.
y) (P Q) (P ~Q) ~P.
z) P (P Q) P ~P.
aa) |((P Q) P) Q| (P Q) (P Q).
ab) ((P (Q R)) ~R) (P Q) (P ~Q) P.
ac) P P (P Q)
ad) P (P Q) P
ae) (~P Q R) P ~Q R
af) (P Q) (P R) (Q R)
ag) P (Q R) |(P Q) (R S)| ~R (Q S)
ah) Absoro I: p (p q) p.
ai) Absoro II: p (p q) p.
aj) (p q) (p q q).
ak) (p q) ~p q.
al) (p q) (p ~q) ~p.
am) (p q) [p (p q).
an) (p q) [(p r) (q r)].

49. Para cada um dos seguintes argumentos dados abaixo, d uma prova direta ou uma prova indireta da validade.

a) H1: q (r u)
H2: q s
H3: ~s (u p)
H4: ~s
T: r p
b) H1: p (q r)
H2: q s
H3: r u
H4: s u p r
H5: ~p
T: r
c) H1: p q
H2: ~q r
T: p r
d) H1: p q
H2: ~q
T: ~p
e) H1: p q
H2: q
T: p
f) H1: p ~q
H2: r q
H3: r
T: ~p
g) H1: p q
H2: r ~q
T: r ~p
h) (FM-2002) H
1
, H
2
, H
3
, H
4
T, onde
H1 :(p q)
H
2
: (r s)
H
3
(q s) ~m H
4
:m
T :(~p ~r)
i) (FM-2002) H
1
, H
2
, H
3
, T, onde
H
1
: p q,
H
2
: p q,
H
3
~p
T : c.
j) (FM-2002)
H
1
: p q
H
2
: p r
H
3
: ~q
H
4
: r (s t)
T: s
k) (FM-2002)
H
1
: p q
H
2
: q r
H
3
: ~r
T: ~p

l) (FM-2002)
H
1
: p ~q s
H
2
: ~(s u)
H
3
: q r
T: p q r

m) (FM-2002)
H
1
: p q
H
2
: p r
H
3
: ~q
n) (FM-2002)
H1: p q
H2: q r
H3: ~r
H
4
: r (s t)
T: s
T: ~p

o) (FM-2002)
H
1
: p ~q s
H
2
: ~(s u)
H
3
: q r
T: p q r
p) (FM-2001) H
1
, H
2
, H
3
, H
4
T, onde
H
1
: pq
H
2
: rs
H
3
: ~q r
H
4
: ~p s x
T: x
q) (FM-2001)
H1: p q
H2: q s
H3: u [ r (~s)]
H4: p
T: u
r) (FM-2001)
H1: ~(p q)
H2: (~r) q
H3: ~p r
T: r
s) (FM-2001)
H1: pq
H2: r s
H3: (qs) ~u
H4: u
T: ~p~r
u) (FM-2001)
H1: (~pq) r
H2: (rs)~u
H3: u
T: ~q
v) (FM-2000)
H1: p(qr)
H2: pqs
T: ps
x) (FM-2000)
H1: (pq)rs
H2: rss
H3: ~s
T: ~q
w) (FM-2000)
H1: p(qr)
H2: pqs
T: ps
y) (FM-2000)
H1: (pq)rs
H2: rss
H3: ~s
T: ~q
z) (FM-2000)
H1: pq r
H2: s p u
H3: q s
T: r
aa) (FM-2000) (MD-2003)
H1: s pq
H2: ~sp
H3: ~p
T: q
ab) (MD-2001)
a
b ~ c
d c
a ~ b e
--------------
~ d
ac) (MD-2001)
p q
p q
---------
q
ad) (MD-2001)
p q
p q
--------
p
ae) (MD-2001)
b
c ~ d
e d
b ~ c a
--------------
~ e
af) (MD-2001)
H1: (pq) (rs)
H2: (rs)s
H3: ~s
T: ~q
ag) (MD-2001)
c
d ~ e
a e
c ~ d b
--------------
~ a
ah) H
1
P Q
H
2
P R
T: P (Q R)
ai) H
1
P Q
H
2
(R P) S
H
3
~S
T:Q
aj) H
1
P (Q R)
H
2
Q S
H
3
P U
ak) H
1
A (B C)
H
2
C (D E)
H
3
(~B D) F
H
4
~(R X)
H
5
S (X Y)
H
6
~U
T: Y
H
4
~F
T: A
al) H
1
P Q
H
2
P Q
T: Q

af) H
1

A B
H
2
C D
T: (A D) (B C)
ag) H
1
- p (q r)
H
2
-(p q) s
T: ps

ah) H
1
- (pq)(rs)
H
2
(rs)s
H
3
- ~s
T: ~q

ai) H
1
- (p q) r
H
2
s (p u)
H
3
- q s
T: r
aj) H
1
-s (p q)
H
2
-~s p
H
3
-~p
T: q
ak) b, c ~d, e d, b ~c a ~e al) (FM-2005)
H
1
: (F A) (C B)
T : C P
am) (FM-2005)
H
1
: P (Q R)
H
2
: P S
H
3
: (S X) (X U)
H
4
: V (~U ~R)
H
5
: V
T : ~Q
an) (FM-2005)
H
1
: (X R) (R V)
H2: (V P) (P A)
T : X P

50. (FM-2002) Demonstre pelo mtodo dedutivo as seguintes tautologias:
a) p (p q) p.
b) [(p q) (p r)] [p (q r)].
a) p (p q) p
Ordem Proposio Justificativa
1 p (p q) H
1

2 (p p) (p q) 1, Teorema 2.11 d Distributiva
3 p (p q) 2, Teorema 2.11 b Idempotcia
Teorema 2.13 Substituio
4 (p c) (p q) 3, Teorema 2.12 d Contradio
5 p (c q) 4, Teorema 2.11 d Distributiva
6 p (q c) 5, Teorema 2.11 a Comutativa
7 p c 6, Teorema 2.12 f Contadio
8 p 7, Teorema 2.12 g - Contadio
b) [(p q) (p r)] [p (q r)]
1 (p q) (p r) H
1

2 (~p q) (~p r) 1, Teorema 2.9 b Condicional
Teorema 2 13 Substituio
3 (q ~p) (r ~p) 2, Teorema 2.11 a Comutativa
4 q (~p r) ~p 3, Teorema 2.11 c Associativa
5 q (r ~p) ~p 4, Teorema 2.11 a Comutativa
6 (q r) (~p ~p) 5, Teorema 2.11 c Associativa
7 (q r) ~p 6, Teorema 2.11 b Idempotncia
8 ~p (q r) 7, Teorema 2.11 a - Comutativa
9 p (q r) 8, Teorema 2.9 b - Condicional

51. (FM-2002) Demonstre:
Direta Indireta Condicional
H
1
: p q H
1
: p q H
1
: p ~q s
H
2
: p r H
2
: q r H
2
: ~(s u)
H
3
: ~q H
3
: ~r H
3
: q r
H
4
: r (s t) T: ~p T: p q r
T: s
a) Demonstrao Direta:
1 p q H
1

2 p r H
2

3 ~q H
3

4 r (s u) H
4

5 ~p 1, 3, Teorema 2.8 f Modus Tolles
6 r 2, 5, Teorema 2.8 d Silogismo Disjuntivo
7 s u 4 6 Teorema 2.8 e Modus Ponens
8 s 7, Teorema 2.8 c Simplificao
b) Demonstrao Indireta
1 p q H
1
2 q r H
2

3 ~r H
3

4 p H
4
Negao da Tese
5 q 1, 4, Teorema 2.8 e Modus Ponens
6 r 2, 5, Teorema 2.8 e Modus Ponens
7 ~r r 3, 6, Conjuno
c) Demonstrao Condicional
1
(p ~q ) s H
1

2
~ (s t) H
2

3
q r H
3

4
p H
4

5
~s ~t 2, Teorema 2.10 b De Morgan
6
~s 5, Teorema 2.8 c Simplificao
7
~(p ~q) 1 6 Teorema 2.8 f Modus Tolles
8
p q 7 Teorema 2.9 a Condicional
9
p r 3, 8, Exemplo 2.18 Transitiva
10
r 4, 9,Teorema 2.8 e Modus Ponens
11
q 7,Teorema 2.8 c- Simplificao
Teorema 2.8 a - -Dupla negao
12
q r 10, 11, Conjuno

a) (p q) ~p (~q ~p).
b) (r s) ~s t.
a) Vamos demonstrar que (p q) ~p (~q ~p). (; uma tautologia utilizando o mtodo dedutivo. Para isto
devemos mostrar a validade dos argumentos H
1
(p q) ~p (~q ~p); e H
2
: (~q ~p) (p q) ~p .Vejamos o
primeiro argumen
1 (p q) ~p H
1
2 ~p (p q) 1, Teorema 2.11 a Comutativa
3 (~p p) (~p q) 2, Teorema 2.11 d Distributiva
4 t (~p q) 3, Teorema 2.12 j Tautologia
5 ~p q 4, Teorema 2.11 a - Comutativa
Teorema 2.12 c Tautologia
6 q ~p 5 Teorema 2.11 a Comutativa
7 ~|(~q) p| 6, Teorema 2.10 b De Morgan
8 (~q ~p) 7, Teorema 2.9 a Condicional
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somentes
equivalncias lgicas.
b) Vamos demonstrar que r s) ~s t, uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade dos argumentos H
1
r s) ~s t; e H
2
: t (r s) ~s.Vejamos o primeiro argumen
1 (r s) ~s H
1
2 r (s ~s) 1 Teorema 2.11 c Associatiava
3 r t 2, Teorema 2.12 j Tautologia
4 t 3, Teorema 2.12 Tautologia
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somentes

53. (FM-2002) Demonstre:

a) Direta b) Indireta c) condicional
H
1
: p q H
1
: p q H
1
: p ~q s
H
2
: p r H
2
: q r H
2
: ~(s u)
H
3
: ~q H
3
: ~r H
3
: q r
H
4
: r (s t) T: ~p T: p q r
T: s
a) Demonstrao Direta:
1 p q H
1

2 p r H
2

3 ~q H
3

4 r (s u) H
4

5 ~p 1, 3,Teorema 2.8 f Modus Tolles
6 r 2, 5, Teorema 2.8 d Silogismo Disjuntivo
7 s u 4, 6, Teorema 2.8 e Modus Ponens
8 s 7, Teorema 2.8 c - Simplificao
b) Demonstrao Indireta
1 p q H
1
2 q r H
2

3 ~r H
3

4 p Negao da Tese
7 ~r r 3, 6,Cconjuno
c) Demonstrao Condicional
1 (p ~q ) s H
1

2 ~ (s t) H
2

3 q r H
3

4 p H
4

5 ~s ~t 2, Teorema 2.10 b De Morgan
6 ~s 5, Teorema 2.8 c Simplificao
7 ~(p ~q) 1, 6, Teorema 2.8 f Modus Tolles
8 p q 7, Teorema 2.9 a Condicional
9 p r 3, 8, Teorema 2.9 e Reductio Absurdum
11 q 7, Teorema 2.8 c Simplificao
Teorema 2.8 a Dupla Negao
12 q r 10 ,11, Conjuno

54. (FM-2002) Usando as regras de equivalncia, mostre a seguinte tautologia:
(p q) r r ( p ~q)
Mostraremos que (p q) r r ( p ~q) uma tautologia, de fato:
1 (p q) r H
1

2 (~p q) r 1, Teorema 2.9 b- Condicional
Teorema 2. 13 Substituio
3 ~(~p q) r 2,Teorema 2. 9 b Condicional
4 r ~(~p q) 3, Teorema 2.11 c- - Distributiva
5 r (p ~q) 4, Teorema 2. 10b - De Morgan
Teorema 2. 13 Substituio

55. (FM-2002) Usando o mtodo direto ou indireto e que c represente uma contradio demonstre o
teorema H
1
, H
2
, H
3
T, onde
H
1
: p q
H
2
: p q
H
3
~p
T : c
Usaremoa o mtodo direto papa mostrar o desjado.
1 p q H
1

2 p q H
2

3 ~q H
3

4 ~p 1, 3, Teorema 2.8 f - Modus Tolles
5 Q 2, 4, Teorema 2. 8 d Silogismo Disjuntivo
6 q ~p 5, 3, Conjuno
7 c 6, Teorema 2.12 e - Contradio

56. (FM-2002) Usando as regras de equivalncia, mostre a seguinte tautologia:
(q r) p |q (r p)|.
Mostraremos que (q r) p |q (r p)| uma tautologia, de fato:
1 (q r) p H
1

2 ~ (q r) p 1, Teorema 2.9 b - Condicional
3 (~q ~r) p 2, Torema 2.10 b - De Morgan
4 ~q (~r p) 3, Teorema 2.11 c Associativa
5 ~q (r p) 4, Teorema 2.9 b Condicional
6 q (r p) 5, Teorema 2.9 b - Condicional

57. (FM-2002) Usando o mtodo direto ou indireto, demonstre o teorema H
1
, H
2
, H
3
, H
4
T, onde
H1 :(p q) H
2
: (r s) H
3
(q s) ~m H
4
:m T :(~p ~r)
Usaremos o mtodo direto para mostrar o desejado.
1 p q H
1

2 r s H
2

3 (q s) ~m H
3

4 m H
4

5 ~(q s) 3, 4, Teorema 2.8 f - Modus Tolles
6 ~q ~s 5, Teorema 2.10 b - De Morgan
7 ~q 6, Teorema 2.8 c Simplificao
8 ~s 6, Teorema 2.8 c Simplificao
9 ~p 1, 7, Teorema 2.8 f - Modus Tolles
10 ~r 2, 8, Teorema 2.8 f - Modus Tolles
11 ~p ~r 9, 10, Conjuno

58. (FM-2002) Mostre que 2
n
< n! para todo nIN e n 4.
Primeiramente mostraremos que P(4) verdadeiro. De fato, 2
4
=16 < 2 =4!. Suponhamos agora que p(k) seja
verdadeiro, logo, 2
k
< k!. Queremos mostrar que P(k+1) verdadeiro. De fato, 2.2
k
< 2k! implica 2
k+1
<2k!. Como 2k!
<(k+1)! Temos ento 2
k+1
< (k+1)!

59. (FM-2002) Mostre que (pq)r[(pr)(qr)], utilizando o mtodo dedutivo.
Soluo:
1 (p q) r H
2 ~(p q) r 1, Teorema 2.9 b - Condicianal
3 (~p ~q) r 2, Teorema 2.10 a De Morgan
4 ~p ( ~q r) 3, Teorema 2.11 c Associativa
5 ~p [ ~q ( r r) 4, Teorema 2.12 j Tautologia
6 ~p [ r ( ~q r) 5, Teorema 2.11 c Associativa
Teorema 2.11 a - Comutativa
7 (~p r) ( ~q r) 6, Teorema 2.11 c Associativa
8 (pr)(qr) 7, Teorema 2.9 b - Condicianal

60. (FM-2001) Utilizando o mtodo dedutivo, demonstre as seguintes tautologias:
a) p (pq) ~p.
b) (pq) p p q.
Soluo: a) Vamos demonstrar que p (pq) ~p. uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade do argumento H
1
:p (pq) ~p. Vejamos:
1 p H
1

2 (p~q) 1, Teorema 2.8 b - Adio
3 (p~q) t 2, Teorema 2.12 c - Identidade
4 (p~q) (q~q) 3, Teorema 2.12 j - Tautologia
5 (p q) ~q 4, Teorema 2.11 d - Distributiva

b) Vamos demonstrar que(pq) p p q uma tautologia utilizando o mtodo dedutivo. Para isto devemos mostrar a
validade dos argumentos H
1
:(p q) p p q e H
2
: p q (pq) Vejamos o primeiro argumento
1 (p q) p H
1

2 ~(p ~q) p 1, Teorema 2.9 a - condicional
3 (~p q) p 2, Teorema 2.10 a - De Morgan
Teorema 2.13 - Substituio
4 (~p p) (q p) 3, Teorma 2.11 d - distributiva
5 c (q p) 4, Teorema 2.12 e - contradio
6 q p 5, Teorema 2.12 c - identidade
7 p q 6, Teorema2.11 a - comutativa
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente

61. (FM-2001) Considerando as hipteses H
1
, H
2
, H
3
e H
4
, demonstre a tese T, utilizando-se de um
mtodo direto ou indireto.
H
1
: pq H
2
: rs H
3
: ~q r H
4
: ~p s x T: x
Soluo:
1 p q H
1
2 r s H
2
3 ~q r H
3
4 ~p s x H
5
5 ~q 3,Teorema 2.8 c - Simplificao
6 ~p 1,5,Teorema 2.9 d - Contra-positiva
7 r 3,Teorema 2.8 c - Simplificao
8 s 2,7, Teorema 2.8 e - Modus Ponens
9 ~p s 6,8, Conjuno
10 x 4, 9,Teorema 2.8 - Modus Ponens

62. (FM-2001) Demonstre, pelo Mtodo Dedutivo, as seguintes proposies:
a) [p (p q)] (p q);
b) [(p q) q)] (p q).
Soluo:
a) Vamos demonstrar que [p (p q)] (p q); uma tautologia utilizando o mtodo dedutivo. Para isto devemos mostrar
a validade dos argumentos H
1
[p (p q)] (p q); e H
2
: (p q) p (p q)] .Vejamos o primeiro argumento
1 p (q q) H
1
2 ~[p ~(p q)] 1, Teorema 2.9 a - Condicional
3 ~[p ~p ~q)] 2, Teorema 2.10 a De Morgan
4 ~[(p ~p) (p~q)] 3, Teorema 2.11 d Distributiva
5 ~[c (p ~q)] 4, Teorema 2.12 e Contadio
6 ~[(p ~q) c] 5, Teorema 2.11 a Comutativa
7 ~(p ~q) 6, Teorema 2.12 g Contradio
8 p q 7, Teorema 2.9 a - Condicional

b) Vamos demonstrar que [(p q) q)] (p q).; uma tautologia utilizando o mtodo dedutivo. Para isto devemos
1
[(p q) q)] (p q).e H
2
: (p q). [(p q) q)]. Vejamos o primeiro
argumento

1 (p q ) q H
1
2 ~[( p q ) (~q)] 1, Teorema 2.9 a Condicional
3 ~( p q ) (~(~q)) 2, Teorema 2.10 a De Morgan
4 ~( p q ) q 4, Teorema 2.8 a Dupla negao
5 ~[~(p (~q))] q 4, Teorema 2.9 a Condicional
6 [p (~q)] q 5, Teorema 2.8 a Dupla negao
7 q [p (~q)] 6, Teorema 2.11 a Comutativa
8 (q p) [q (~q)] 7, Teorema 2.11 d Distibutiva
9 (q p) t 8, Teorema 2.12 j Tautologia
10 q p 9, Teorema 2.12 c - Identidade
11 p q 10, Teorema 2.11 a Comutativa

equivalncias lgicas

63. (FM-2001) Mostre pelo mtodo direto ou indireto as seguintes tautologias:
a) H1: p q
H2: q s
H3: u [ r (~s)]
H4: p
T: u
b) H1: ~(p q)
H2: (~r) q
H3: ~p r
T: r
a) Faremos pelo Mtodo Direto
1 p q H
1

2 q s H
2

3 u [r (~s)] H
3

4 p H
4

5 (u r) (u (~s)) 3, Teorema 2.11 d - Distributiva
6 (u ~s) 5, Teorema 2.8 c Simplificao
7 Q 1, 4, Teorema 2.8 e Modus Ponens
8 S 2,7, Teorema 2.8 e Modus Ponens
9 (~s) u 6, Teorema 2.11 a Comutativa
10 U 9, 8,Teorema 2.8 d Silogismo
disjuntivo

b) Faremos pelo Mtodo Indireto:
1 ~(p q) H
1

2 (~r) q H
2

3 (~p) r H
3
4 ~r Negao da Tese
5 ~(~p) 3, 4, Teorema 2.8 f Modus Tolles
6 p 5, Teorema 2.8 a Dupla Negao
7 (~p) (~q) 1, Teorema 2.10 a De Morgan
8 ~q 7, 6, Teorema 2.8 d Silogismo Disjuntivo
10 q (~q) 8, 9, Conjuno
11 c 10, Teorema 2.12 e - Contradio
Como negamos a tese e chegamos em uma contradio temos o desejado

64. (FM-2001) Demonstre, pelo Mtodo Dedutivo, as seguintes proposies:
a) [(pq) (p r)] [p (q r)];
b) [~(pq) (~pq)] ~p.
Soluo:
a) Vamos demostrar que [(p q) (p r)] [p(q r)] e uma tautologia utilizando o mtodo dedutivo. Para isto devemos
1
[(p q) (p r)] [p(q r)] e H
2
[p(q r)] [(p q) (p r)] .Vejamos o
primeiro argumento
1 (p q) (p r) H
1
2 (~p q) (~p r) 1, Teorema 2.9 b Condicional
3 ~p (q r) 2, Teorema 2.10 d - Distributiva
4 p (q r) 3, Teorema 2.9 b - Condicional
Para demonstrar o segundo aergumento utlizaremos o mesm processo de baixo para cima pois foram utilizadas somente

b) Vamos demostrar que [~(p q) (~p q)] ~p uma tautologia utilizando mtodo dedutivo.Para isto demos mostrar a
validade dos argumentos H
1
[~(p q) (~p q)] ~p e H
2
p [~(p q) (~p q)]. Vejamos o primeiro argumento
1 ~(p q) (~p q) H
1
2 (~p ~q) (~p q) 1, Teorema 2.10 b De Morgan
3 ~p (~q q) 2, Teorema 2.11 d - Distributiva
4 ~p t 3, Teorema 2.12 j Tautologia
5 ~p 4, Teorema 2.12 c - Tautologia
Para demonstrar o segundo aergumento utlizaremos o mesm processo de baixo para cima pois foram utilizadas somente

65. (FM-2001) Mostre pelo mtodo direto ou indireto as seguintes tautologias:
a) H1: pq
H2: r s
H3: (qs) ~u
H4: u
T: ~p~r
b) H1: (~pq) r
H2: (rs)~u
H3: u
T: ~q
Soluo:
a)
1 p q H
1

2 r s H
2

3 (q s) ~u H
3

4 u H
4

5 ~(~u) 4, Teorema 2.8 a Duple Negao
6 ~(q s) 3, 5, Teorema 2.8 f Modus Tolles
7 (~q) (~s) 6, Teorema 2.10 b De Morgan
8 ~s 7, Teorema 2.8 c - Simplificao
9 ~r 2, 8 Teorema 2.8 f Modus Tolles
10 ~q 7, Teorema 2.8 c - Simplificao
11 ~p 1, 7 Teorema 2.8 f Modus Tolles
12 ~p ~r 9, 11, Conjuno
b)
1 . (~p q) r H
1
2 (r s) ~u H
2
3 u H
3
4 ~(~u) 3, Teorema 2.8 a Dupla Negao
5 ~(r s) 2, 4, Teorema 2.8 f Modus Tolles
6 (~r) (~s) 5, Teorema 2.10 b De Morgan
7 ~r 6, Teorema 2.8 c Simplificao
8 ~(~p q) 1, 7, Teorema 2.8 f Modus Tolles
9 ~(~p) ~q 8, Teorema 2.10 b De Morgan

66. (MD-2001) Para cada inferncia abaixo, demonstre sua validade (justificando cada passo) ou d um contra-
exemplo:
q p q p
q p q p
------- --------
p q

67. (MD-2001) Dada a seguinte proposio:
[ r ( p ~ q) ] [ p (~ r q) ]
a) determine, usando uma tabela-verdade, seus valores-verdade;
b) diga se uma tautologia (justifique);
c) diga se equivalente proposio ~ r (justifique).

68. (MD-2001) Demonstre, justificando cada passo, a seguinte inferncia:
p
q ~ r
s r
p ~ q u
--------------
~ s

69. (MD-2001) Demonstre, utilizando o mtodo dedutivo, a tautologia [(p q) (p q) (p q).
Soluo:
1. (p q) (p q)
2.[(p q) (p q)] [(p q) (p q)] (EL 2)
3. [~(p q) (p q)] [~(p q) (p q)] (EL 1b)
4. [(~p ~q) (p q)] [(~p ~q) (p q)] (EL 8a, EL 8b)
5. [(~p ~q) (p q)] [(~p p) (~q q)] (EL 5, EL 9)
6. [(~p ~q) (p q)] t (EL 11h, EL 6a)
7. [(~p ~q) (p q)] (EL 11a)
8. [(~p ~q) p] [(~p ~q) q] (EL 10b)
9. [(p ~p) (p ~q)] [(q ~p) (q ~q)] (EL 5, EL 10b))
10. (p ~q) (q ~p) (EL 11h, EL 11a)
11. p q q p (EL 1b)
12. p q (EL 2)

70. (MD-2001) Demonstre, utilizando o mtodo direto ou indireto
( )
( ) ( )

s : T
t p : 3 H
s p q r : 2 H
r q p : 1 H

Soluo:
1. (p q) r (Hiptese 1)
2. (r q) (p s) (Hiptese 2)
3. p t (Hiptese 3)
4. p (3, I 2a)
5. p q (4, I1a)
6. r (1, 5, I4)
7. r q (6, I1a)
8. p s (2, 7, I4)
9. s (8, 4, I4)

71. (MD-2001) Demonstre, utilizando o mtodo dedutivo, a tautologia (p q) ~p (~q ~p).
Soluo:
(p q) ~p (~q ~p)
1. (p q) ~p
2. ~p (p q) EL 5 (b)
3. (~p p) (~p q) EL 10 (b)
4. t (~p q) EL 11 (g)
5. (~p q) EL 11 (a)
6. p q EL 1 (b)
7. ~q ~p EL 7

72. (MD-2001) Demonstre, utilizando o mtodo direto ou indireto
H1: (pq) (rs)
H2: (rs)s
H3: ~s
T: ~q
Soluo:
1. (p q) (r s) (Hiptese 1)
2. (r s) s (Hiptese 2)
3. ~s (Hiptese 3)
4. ~(r s) (2, 3, I 6)
5. ~(p q) (1, 4, I 6)
6. ~p ~q (5, EL 8 (b))
5. ~q (6, I 2 (b))

73. (FM-2001)
i) Utilizando o mtodo dedutivo, demonstre as seguintes tautologias:
a) p (pq) ~q. b) (pq) p p q.

Soluo:
a)
P H
P (~Q) RI 1a (adio)
(P ~Q) t EL 11a (tautologia- contradio)
(P ~Q) (Q ~Q) EL 11h (tautologia- contradio) EL 4b(comutativa)
~Q (P Q) EL 10b (distributiva)
(P Q) ~Q EL 4 b (comutativa)

b)
(P Q) P
(~P Q) P EL 1a (condicional)
P (~P Q) EL 4a (comutativa)
(P ~P) (P Q) EL 10a (distributiva)
c P Q EL 11c (tautologia contradio)
P Q EL4b (comutativa)EL 11e (tautologia contradio)
74. (FM-2000) Mostre pelo mtodo direto ou indireto as seguintes tautologias.

a) H1: p(qr)
H2: pqs
T: ps
b) H1: (pq)rs
H2: rss
H3: ~s
T: ~q
Soluo:
a)
1 p (q r) H
1

2 p q s H
2

3 (p q) (p r) 1, Teorema 2.11 d - Distributiva
4 (p q) 3, Teorema 2.8 c Simplificao

5 S 2, 4,Teorema 2.8 e Modus Ponens
6 p s 5, Teorema 2.8 b Adio
Teorema2.11 a Comutativa

b)
1 (p q) (r s) H
1

2 r s s H
2

3 ~s H
3

4 p q s 1,2, Exemplo 2.18 - Transitiva
5 ~(p q) 3,4, Teorema 2.8 f Modus Tolles
6 ~p ~q 5, Teorema 2.10 b De Morgan
Outra soluo:
1 (p q) r s H
1

2 r s s H
2
3 ~s H
3

4 ~(r s) 2,3, Teorema 2.8 f Modus Tolles
Mtodo Indireto
1 p q r s H
1
2 r s s H
2
3 ~s H
3

4 q H
4
negao da tese
5 p q 4, Teorema 2.8 b - Adio
6 r s 1,5, Teorema 2.8 e Modus Ponens
8 s ~s 3,7 conjuno

a) H1: p(qr)
H2: pqs
T: ps
b) H1: (pq)rs
H2: rss
H3: ~s
T: ~q
Soluo:
a)
1 p (q r) H
1

2 p q s H
2

3 (p q) (p r) 1, Teorema 2.11 d - Distributiva
4 (p q) 3, Teorema 2,8 c - Simplificao

5 s 2, 4, Teorema 2.8 e Modus Ponens
6 p s 5, Teorema 2.8 b - Adio
b)
1 (p q) (r s) H
1

2 r s s H
2

3 ~s H
3

4 p q s 1,2 Exemplo 2.18 - Transitiva
5 ~(p q) 3,4, Teorema 2.8 f - Modus Tolles
Outra soluo:
1 (p q) r s H
1

2 r s s H
2
3 ~s H
3

4 ~(r s) 2,3, Teorema 2.8 f Modus Tolles
5 ~(p q) 1,4,Teorema 2.8 f Modus Tolles
Mtodo Indireto
1 p q r s H
1
2 r s s H
2
3 ~s H
3

4 q H
4
negao da tese
5 p q 4, Teorema 2.8 b - Adio
6 r s 1,5, Teorema 2.8 e - Modus Ponens
8 s ~s 3,7 conjuno

a) H1: pq r
H2: s p u
H3: q s
b) H1: s pq
H2: ~sp
H3: ~p
T: r T: q
Soluo:
a) Mtodo Indireto
1 (p q) r H
1

2 s (p u) H
2

3 q s H
3

4 ~r H
4
negao da tese
8 s 7,2, Teorema 2.8 d Silogismo disjuntivo
9 p u 2, Teorema 2.8 e Modus Ponens
10 p 9, Teorema 2.8 c - Simplificao
11 ~p 6, Teorema 2.11 b - Idempotncia
12 p ~p 10 11 conjuno

b)Mtodo Direto
1 s (p q) H
1

2 ~s p H
2

3 ~p H
3

4 s 2, 3, Teorema 2.8 f Modus Tolles
5 p q 1, 4, Teorema 2.8 e Modus Ponens
6 q 5, Teorema 2.8 c - Simplificao

a) (p q) ~p (~q ~p).
b) (r s) ~s s.
Soluo:
a) Vamos demonstrar que (p q) ~p (~q ~p). uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade dos argumentos (p q) ~p (~q ~p) e (~q ~p) (p q). ~p Vejamos o primeiro
argumento:

1 (p q) ~p H
1

2 ~p (p q) 1, Teorema 2.11 a - Comutativa
3 (~p p) (~p q) 2, Teorema 2.11 d - Distributiva
4 t (~p q) 3, Teorema 2.12 j Tautologia
5 ~p q 4, Teorema 2.11a Comutativa
Teorema 2.12 c Tautologia
6 q ~p 5, Teorema 2.11 a Comutativa
7 ~q ~p 6, Teorema 2.9 b - Condicional

Para mostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente

b) Vamos demonstrar que. (r s) ~s s uma tautologia utilizando o mtodo dedutivo. Para isto devemos mostrar a
validade dos argumentos (r s) ~s s e
s (r s) ~s Vejamos o primeiro argumento
1 (r s) ~s H
1
2 r (s ~s) 1, Teorema 2.11 a - Comutativa
3 r t 2, Teorema 2.12 j Tautologia
4 t 3, Teorema 2.12 d Tautologia
5 s s t 4, Teorema 2.12 d - Tautologia
6 s t 5, Teorema 2.12 d Tautologia
7 s 6, Teorema 2.12 c Tautologia

a) p (p q) p.
b) [(p q) (p r) [p (q r)].
Soluo:
a) Vamos demonstrar que. p (p q) p uma tautologia utilizando o mtodo dedutivo. Para isto devemos mostrar a
validade dos argumentos p (p q) p e p |p (p q). Vejamos o primeiro argumento

1 p (p q) H
1
2 (p p) (p q) 1, Teorema 2.11 d - Distributiva
3 p q p 2, Teorema 2.11 b - Idempotncia
4 P 3, Teorema 2.8 c - Simplificao

ii) Para mostrar o segundo argumento utilizamos a tabela abaixo.
1 P H
1
2 p (p q) 1, Teorema 2.8 b - Adio

b) Vamos demonstrar que. [(p q) (p r) [p (q r)]. uma tautologia utilizando o mtodo dedutivo. Para isto
devemos mostrar a validade dos argumentos [(p q) (p r) [p (q r)]. e [p (q r)] [(p q) (p r). Vejamos
o primeiro argumento
1 |(p q) (p r) H
1
2 (~p q) (~p r) 1,Teorema 2.9 a Condicional
3 (~p ~p) (q r) 2, Teorma 2.11 a - Comutativa
4 ~p (q r) 3, Teorema 2.11 b Idempotncia
5 p (q r) 4, Teorema 2.9 a - Condicional

79. Considere as seguintes inferncias:
A: H
1
(P Q) R
H
2
~P
T: Q
B: H
1
P R
H
2
Q ~r
H
3
Q
T: ~P
Nos itens abaixo, so apresentados algumas apresentaes de A e B . Em cada uma delas, descreva passo a passo, quais
equivalncias lgicas e /ou regras de inferncia foram usadas, especificando tambm a quais linhas as regras fazem
referncia (Veja o exemplo dado)

a) Demonstrao direta de A
1 (P Q) R
2 ~P
3 P Q
4 Q

b) Demonstrao direta de A
1 (P Q) R
2 ~P
3 (P R) (Q R)
4 ~P ~R
5 ~(P R)
6 Q R
7 Q

c) Demonstrao indireta de A

1 (P Q) R
2 ~P
3 ~Q
4 P Q
5 P
6 P ~P

d) Demonstrao direta de B
1 P R
2 Q ~R
3 Q
4 R ~Q
5 P ~Q
6 ~P

e) Demonstrao direta de B

1 P R
2 Q ~R
3 Q
4 ~P R
5 ~Q ~R
6 ~R
7 ~P

f) Demonstrao indireta de B

1 P R
2 Q ~R
3 Q
4 P
5 R
6 ~Q
7 Q ~Q

80. Mostre que as inferncias abaixo no so vlidas, ou seja, a conjuno das hipteses no implica a tese. Para
mostrar isso necessrio achar um contra exemplo ,ou seja, achar exemplos de proposies que tornam as hipteses
verdadeiras e a tese falsa veja o exemplo dado):
a) H
1
P R
H
2
Q R
T: P Q
b) H
1
P Q
H
2
Q R
T: P Q

c) H
1
P Q
H
2
~P R
H
3
~Q
T: R Q
d) H
1
P Q
H
2
R (S P)
H
3
~R
T: S

81. Leia o trecho abaixo e responda as questes apresentadas.
Certa vez um homem caminhava em uma praia com um nico pensamento: entender o que era lgica! Depois de
muito caminhar, encontrou um amigo que se mostrou interessado em fazer com que o outro entendesse tal ddiva do
pensamento humano. Colocou-se ento a explicar...
- Voc tem aqurio em casa?
- Sim.
- Ento voc gosta de peixe!
- Claro.
- Se voc gosta de peixe, deve gostar de sereia, que metade peixe!
- gosto.
- Mas gostando de sereia voc gosta de mulher, pois sereia tem metade peixe e a outra metade mulher!
- Tem razo!
- Pois ento, como voc gosta de mulher, voc homem.
- verdade, eu sou homem.
- Viu que legal, isto lgica.
O homem saiu satisfeito com a explicao do amigo e louco para mostrar a algum o que havia aprendido. At que
encontrou um outro homem tambm caminhando pela praia e perguntou:
- Voc tem aqurio em casa?
O homem respondeu:
- No, no tenho.
- Ento voc no homem!
E os dois se atacaram...

Responda: No trecho em que o homem tenta explicar o que lgica, faz-se uso de uma tcnica dedutiva. Qual ? Por
qu?
Porque a concluso de que no ter aqurio em casa implica no ser homem falsa? (Explique usando artifcios do
clculo proposicional e das tcnicas dedutivas).

82. Considere a afirmao:
Em um tringulo cujos lados medem a, b, c com a b , c, sempre temos c + b >a (Desigualdade triangular)
Desta forma analise a proposio abaixo, bem como a prova dada:
Proposio: Dados dois pontos x e y distintos e no colineares com o centro em uma circunferncia de raio r e centro
O, temos que a distncia entre x e y (d(x, y)) sempre menor que 2r.
Prova: De fato, se a distncia entre x e y fosse maior que 2r (j que igual no pode ser, uma vez que os pontos no so
colineares), teramos:
d(x, O) + d(y, O) > d(x, y)
r + r > d(x, y) > 2r
2r > 2r
Desta forma segue que a distncia entre dois pontos distintos no colineares com o centro em uma circunferncia
sempre menor do que o dimetro da mesma.
Qual a tcnica dedutiva usada neste caso? Por que?

83. Numa acareao da CPI do po de queijo, as seguintes informaes ocorrem:
a) A diz que B mente.
b) B diz que C mente.
c) C diz que A e B mentem. Se o conjunto de sentenas no contraditrio, quem est falando a verdade?

84. Legitime o argumento: Se eu no especifico as condies iniciais, meu programa no roda. Se eu cometo loop
infinito, meu programa no termina. Se o programa no roda ou se ele no termina, ento o programa falha. Log se o
programa no falha, ento eu especifiquei as condies iniciais e no cometi loop.

85. Assuma que Z uma menina e que Z tem dez anos so sentenas falsas. Quais das seguintes so vlidas?
a) Se Z tem dez anos ento Z menina.
b) Z tem dez anos se e somente se menina.
c) Z no menina com dez anos.

86. Suponha que Z no baixo seja falso e que assuma vlidas as seguintes sentenas: Z ou Maria tm dez anos e
se Maria tem dez anos ento Z no baixo. Quais das sentenas abaixo so verdadeiras?
a) Z no baixo. b) Maria tem dez anos.
c) Z tem dez anos. d) Ou Z ou Maria no tem dez anos.

87. Denote por I: uma dada matriz invertvel e por D: seu determinante diferente de zero. Considerando vlida a
proposio I D, quais da sentenas abaixo so conseqncias da assero feita? (No necessrio conhecimento de
lgebra Linear e observe a posio do para)
a) para uma matriz Ter inversa basta que seu determinante seja nulo.
b) para s3eu determinante ser no nulo suficiente que a matriz seja invertvel.
c) para seu determinante ser nulo necessrio que a matriz seja invertvel.
d) uma matriz tem inversa se e apenas se seu determinante no nulo.
e) uma matriz tem determinante zero se ela no invertvel.

88. Em clculo, a seguinte assero vale: uma funo diferencivel contnua .Anlogo ao exerccio anterior, quais
das sentenas seguem da assero feita? (no necessrio conhecimento de clculo)
a) uma funo diferencivel apenas se ela contnua
b) uma funo contnua apenas se ela diferencivel
c) ser diferencivel condio necessria para que seja contnua
d) ser diferencivel condio suficiente para que seja contnua
e) a funo diferencivel se, e somente se contnua

Quantificadores
89. a) O que uma sentena aberta?
b) Como transformar uma sentena aberta em proposio?
c) Quais os quantificadores existentes?
d) Qual a negao do quantificador existencial?
e) Qual a negao do quantificador universal?

90. Apresente a definio de limite utilizando quantificadores e encontre a negao.

91. Analise o significado lgico das seguintes frases do cotidiano:
a) Eu no fiz nada.
b) Eu no entendi nada.
c) Eu no vi ningum.

92. Apresente a negao de (! x)(p(x)).

93. Demonstre as seguintes propriedades de quantificadores

a) (x) (p(x)) p(b)
b) [(x) (p(x)) (x) (q(x))] (x) (p(x) q(x)).
c) (x) (p(x)) (x) (p(x))
d) (x) (p(x) q(x)) [(x) (p(x)) (x) (q(x))]
e) (x)(y)(p(x,y)) (y)(x)(p(x,y))
f) (x)(p(x)q(x))[(x)(p(x))(x)(q(x))]
g) [(x)(p(x))(x)(q(x))](x)(p(x)q(x))
h) (x)(y)(p(x,y)) (y)(x)(p(x,y))
i) ~[(x)(y)(p(x,y))](x)(y)(~p(x,y))
j) (x)(y)(p(x,y)) (y)(x)(p(x,y))
k) ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y))
l) ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y))
m) ~[(x)(y)(p(x,y))] (x)(y)(~p(x,y))

94. (FM-2005) Verifique a validade dos quantificadores no universo dos nmeros reais.

a) (x)(y)(x
2
y = 3) b) (y)(x)(x
2
y = 3) c) (y)(x)(x
2
y = 3)

95. (FM-2002) (MD-2003) (FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo
dos nmeros reais: x
2
+ x + 1 0.
a) (x) (p(x)). b) (x) (~p(x)).
c) (x) (p(x)). d) (x) (~p(x)).

96. (FM-2002)(FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo dos nmeros
inteiros 2x
2
5x + 2 = 0:
a) (x) (p(x))
b) (x) (~p(x))
c) (x) (p(x))
d) (x) (~p(x))
Soluo:
a) Falso, pois para x = 3, 2x
2
5x + 2 0.
b) Falso, pois para x = 2, 2x
2
5x + 2 = 0
c) Verdadeiro, pois quando x = 2, 2x
2
5x + 2 = 0
d) Verdadeiro, pois se considerarmos x = 3, temos 2x
2
5x + 2 = 0 ento (x)(~p(x)).

97. (FM-2002) Considere o universo de discurso como sendo os nmeros inteiros e a proposio aberta p(x, y):xy + x =
3x.Determine o valor lgico das proposies abaixo justificando:
a) (x) (y) (p(x, y)).
b) ~|(x) (y) (~p(x, y))|.

98. (FM-2002) Considerando a proposio aberta p(a, b) : a
4
= 3 + b, onde a assume valores em {0, 1, -1, 2, -2} e b em
{3, -2, 13}. Determine o valor lgico das proposies abaixo, justificando:
a) (a) (b) (p(a, b))
b) ~ |(b) (a) (~p(a, b)|

99. (FM-2001) Nas sentenas abertas p(x) abaixo, considere x como sendo um nmero real. Transforme p(x) em
proposies verdadeiras, utilizando quantificadores. Justifique suas respostas.
a) p(x):
|
|
.
|
\
|
=
+
1 x
1 x
1 x 2 x
2
2
2 4
.
b) p(x): |
.
|
\
|
x x x x
2 2
.
c) p(x): (x
2
+10).

100. (FM-2001) a) Sendo A = {1,2,3}, determine o valor lgico de ( x A) (x
2
+ x 6=0);
b) Sendo A um conjunto qualquer, determine a negao de [(xA)(p(x))][(xA)(q(x))].

101. (FM-2001) Sendo A = {3,5,7,9,11,13}, verifique o valor verdade das seguintes proposies, justificando a
resposta:
a) ( x A) (x primo);
b) ( x A) (x+3 9) ( x A) (x
2
+2=11).

102. (MD-2001) Considere, no universo dos nmeros naturais, os seguintes predicados:
p(x): x par
s(x,y): y = x + 1
q(x,y,z): x = y
2
+ z
2

a) Dadas as proposies
(x)(y)(s(x,y) p(x) p(y))
(x)(y)(p(y) s(x,y))
determine seus valores-verdade e expresse as respectivas negaes;
b) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural mpar
soma de dois quadrados (sugesto: escreva, antes, o predicado x soma de dois quadrados).

103. (MD-2001) Sendo A = {1,2,3,4}, determinar o valor lgico da proposio
( x A) (2x
2
+ x = 15).

104. (FM-2000) Responda as questes a seguir justificando sua resposta.
a) A proposio (xIR)[x
2
+1 = (x+1)
2
] verdadeira?
b) A proposio (xIR)(x
2
> 0) verdadeira?
c) A proposio (xIR)(x
2
+2x+1 < 0) verdadeira?
d) Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..

105. (FM-1999) Considere o conjunto universo U = {1, 2, 3 }. Verifique quais das frases abaixo so verdadeiras e quais
so falsas, justifique sua resposta.
a) (x U) (y U) tal que x
2
< y + 1.
b) (x U), (x U) tal que x
2
+ y
2
< 12.
c) (z U), (x U), (y U), tal que x
2
+ y
2
< z
2
.

106. Escreva cada frase abaixo em linguagem lgica, usando quantificadores:
Universo = seres humanos
(exemplo) Quem com ferro fere com ferro ser ferido
soluo: sejam os predicados:
p(x): x fere com ferro
q(x): x ferido com ferro
a frase fica (x) (p(x) q(x))

a) Todo brasileiro tcnico da seleo.
b) H brasileiros que j viram a neve, mas no h finlandeses que nunca a viram.
c) Todo ser humano ou do hemisfrio sul ou do hemisfrio norte.
d) Existe um ser humano que mora na lua.
e) Quem no arrisca no petisca.

Universo = nmeros naturais (nesse item, descreva em linguagem lgica tambm os predicados, por exemplo um
predicado do tipo x produto de dois nmeros naturais descrito como(y) (z) (x = y .z)
f) Todo nmero natural soma de dois quadrados.
g) Nenhum nmero mpar divisvel por dois.
h) Se a soma de dois nmeros par, ento um dos nmeros tambm par.
i) O quadrado de um nmero natural um nmero natural.
j) A mdia de um nmero natural ainda um nmero natural.

107. Considere, no universo dos nmeros naturais, os seguintes predicados:
P(x): x par
Q(x, y): x = 2y
R(x, y, z): z = x + y
S(x, y): y = x + 1
Escreva as proposio abaixo em linguagem usual (portugus).
a) (x) P(x)
b) (x)(y) (S(x, y))
c) (x)(y)(z)(R(x, y, z)
d) (x)(y)(S(x, y) (P(x) P(y))
e) (y)(x)(Q(x, y))
f) (x)(y)(Q(x, y) P(x))

108. Determine o valor verdade das proposies do exerccio 106 (somente aquelas referentes ao universo dos naturais),
do exerccio 107 e das proposies abaixo (cujo universo o dos nmeros inteiros).
a) (x)(y)(z)(t)(x .t = y .z)
b) (x)(y)(z)(t)(x =y
2
+z
2
t
2
)
c) (x)(y)(z)(y z = x)
d) (x)(y)(z)(y - z = x)
e) (x)(y)(z)(x = (y + z) /2)
f) (y)(!x)(x = y
2
)
g) (x)(!y)(y + 1 = x )
h) (x)|(y)(x = 2y ) (x + 1 mpar)|

109. Expresse a negao de cada uma das proposies do exerccio 108. Nos itens f e g tente negar antes uma
proposio do tipo(!x)(P(x)), lembrando que (!x)(P(x)) = (x)|(P(x)) (y)(~P(x)) (x = y))|.

110. Verifique se valem as seguintes afirmaes (prove as implicaes que valem, e d contra- exemplo para as
implicaes que no valem)
(x)(P(x) Q(x)) (x)(P(x)) (x)(Q(x))
(x)(P(x) Q(x)) (x)(P(x)) (x)(Q(x))
(dica: em cada afirmao h uma implicao que vale e outra que no vale)

111. Sejam os predicados no universo dos inteiros: N(x): x inteiro no negativo, E(x): x par, I(x): x mpar, P(x): x
primo.
a) Escreva as proposies abaixo simbolicamente :
b) Existe um inteiro impar.
c) Todo inteiro par ou mpar.
d) Todo inteiro primo no negativo.
e) O nico par primo 2.
f) Existe um e apenas um par primo.
g) Nem todos primos so mpares.
h) Se um inteiro no impar , ento ele par.

112. Determine os valores (universo: inteiros)
a) (m) (n) |2n = m|
b) (m) (n) |2m = n|
c) (m) (n) ~|2n = m|
d) (n) (m)(2m = n)
e) (n) (m)(m < n + m)
f) (n) (m)(n < n + m)

113. Determine quais das seguintes proposies so verdadeiras (universo: inteiros). Depois considere os reais como
universo.
a) (x)(y) (x y = 0)
b) (x)(y) (x y = 1)
c) (x)(y)(x y = 1)
d) ((x)(y)(x y = x)

114. Considere os predicados: S(x, y, z): x + y = z, P(x, y, z): x. y = z e L(x, y, z): x < y; e o universo do discurso
o conjunto dos naturais. Exprima a frase usando predicados dados e determine i valor verdade:
a) Para todo x e y ,existe z tal que x + y = z.0
b) Nenhum x menor do que 0.
c) Existe elemento neutro na adio.
d) Existe um nico elemento neutro na adio.
e) Para todo x, x. y = y para todo y.
f) Existe um x tal que x. y = y para todo y.

115. Simule computacionalmente o valor verdade dos predicados:
a) (x) P(x) (P(x)um vetor com entradas boolenas de comprimento 20)
b) (x) (y) P(x) um array- matriz 10 x 30 com entradas boolenas, diagramos,1 x 10 e 1 y 30.

116. Outra forma de quantificar existe um apenas um elemento do discurso que torna o predicado P verdadeiro,
denotado por !x P(x). Tente expressa- lo em funo dos outros conectivos e quantificadores.

117. Quando (x) P(x) falha, significa que existe um sujeito x
0
tal que P(x
0
) no vale. Neste caso dizemos que x
0
um
contra- exemplo das sentenas abaixo:
a) Todos os primos so mpares: (x) (x primo x impar)
b) Todos inteiro soma de dois quadrados.
c) Todos inteiros soma de trs quadrado.

118. Utilizando os predicados: a | b: a divide b, a = b: a igual a b, exiba o predicado P(x): x primo em notao
lgica. Como fica sua negao sem usar o conectivo ~?

119. Expresse a sentena no existe o maior primo (use P do exerccio acima e o predicado >: maior que).

120. Denote por T(a, b, c ) o predicado a, b, c so lados de um tringulo retngulo. Enuncie o Teorema de Pitgoras.

121. Universo: inteiros. Para cada uma das afirmaes abaixo, encontre um predicado P que torna a implicao falsa.
a) (x) (!y) P(x, y) (!y) (y) P(x, y)
b) (!y) (y) P(x, y) (x) (!y) P(x, y)

122. Mostre que as afirmaes no so vlidas:
a) (x) |P(x) Q(x)||(x) P(x) x Q(x)|
b) (x) |P(x) Q(x)||(x) P(x) x Q(x)|

123. Legitime o argumento: Todos os poetas so ou niilistas ou sonhadores. Afrnio poeta. Mais ele no niilista.
Logo h sonhadores.(P: poeta, N: niilista, S: sonhador e A: Afrnio ).

124. Inferir: Todos os gachos gostam de estrias .Todos os contadores de histria so interessantes. O escritor
Verssimo gacho. Logo, algum gacho e interessante.(G: gacho, C: contar estrias, I: ser interessante, V:
Verssemo).

125. Inferir: Todos os peixes vivem no mar. Acontece que Pluto um animal. Pluto no vive no mar. Portanto, h
animais que no so peixes.

126. Verifique se as concluses esto corretas. Caso afirmativo tente justificar o argumento.
a) Premissas: (1) Todos os comunistas so ateus. (2) Bakunin ateu. Concluso: Bakunin comunista.
b) Premissas: (2) Todos os comunistas so ateus (2) Bakunin comunista. Concluso: Bakunin ateu.
c) Premissas: (1) Nenhum estudante manaco. (2) Todos os jovens so estudantes. Concluso: No existe um jovem
manaco. (obs.: a premissa 1 equivalente a: Todos os estudantes no so manacos.)

127. (FM-2002) Considerando a proposio aberta p(a, b) : a
4
= 3 + b, onde a assume valores em {0, 1, -
1, 2, -2} e b em {3, -2, 13}. Determine o valor lgico das proposies abaixo, justificando:
a) (a) (b) (p(a, b))
b) ~ |(b) (a) (~p(a, b)|
a) Falsa, pois para x = 0 no temos a proposio verdadeira independente do valor de b.
b) Verdadeira, pois (b)(a)(~ p(a, b) verdadeira Logo sua negao falsa.

128. (FM-2002) Considere o universo de discurso como sendo os nmeros inteiros e a proposio aberta
p(x, y):xy + x = 3x.Determine o valor lgico das proposies abaixo justificando:
a) (x) (y) (p(x, y)).
b) ~|(x) (y) (~p(x, y))|.
a) Verdadeira pois para qualquer x inteiro considere y = 2 Z tal que: x . 2 + x = 3x.
b) Falsa pois para y = 3 e x = 1 temos x . y + x = 1 . 3 + 1 = 4 3 . 1

129. (FM-2002) Verifique a validade dos quantificadores a seguir para a proposio no universo dos
nmeros reais:
x
2
+ x + 1 0.
a) (x) (p(x)). b) (x) (~p(x)).
c) (x) (p(x)). d) (x) (~p(x)).
a) Verdadeiro, pois para todo x existir p(x).Se este x for pertencente aos nmeros reais.
b) Falso, pois ele a negao de (x) (p(x)) que tambm verdadeiro.
c) Verdadeiro, basta pegar x=2 e veremos que x
2
+ x + 1 0.
d) Falso, pois ele a negao de (x) (p(x)) que tambm verdade.
130. (MD-2001) Considere o conjunto universo U={1,2,3}. Verifique se a proposio verdadeira ou falsa, justificando
sua resposta.
z U, x U, y U, tal que, x
2
+y
2
<2z
2

Soluo: A proposio falsa pois para z=1 temos
x = 1 y = 1 x
2
+ y
2
= 2.z
2

x = 1 y = 2, 3 x
2
+ y
2
> 2.z
2

x = 2 y = 1, 2, 3 x
2
+ y
2
> 2.z
2

x = 3 y = 1, 2, 3 x
2
+ y
2
> 2.z
2

131. (MD-2001) Sendo A = {1,2,3,4}, determinar o valor lgico da proposio
( x A) (2x
2
+ x = 15)
Soluo: falsa, pois para
x = 1, temos 2x
2
+x=3
x = 2, temos 2x
2
+x=10
x = 3, temos 2x
2
+x=21
x = 4, temos 2x
2
+x=36.
Logo, ( x A) (2x
2
+x 15) verdadeira.
Portanto, ( x A) (2x
2
+x 15) = ~( x A) (2x
2
+x 15) falsa.

p(x): x par
s(x,y): y = x + 1
q(x,y,z): x = y
2
z
2

a) Dadas as proposies
(x)(y)(s(x,y) p(x) ~ p(y))
(x)(y)(p(y) s(x,y))
b) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural
mpar diferena de dois quadrados
[sugesto: escreva, antes, o predicado x diferena de dois quadrados].

p(x): x mpar
s(x,y): y = x + 1
q(x,y,z): x = y
2
+ z
2

c) Dadas as proposies
(x)(y)(s(x,y) p(x) p(y))
(x)(y)(p(y) s(x,y))
d) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural
par soma de dois quadrados
[sugesto: escreva, antes, o predicado x soma de dois quadrados].

p(x): x par
s(x,y): y = x + 1
q(x,y,z): x = y
2
+ z
2

e) Dadas as proposies
(x)(y)(s(x,y) p(x) p(y))
(x)(y)(p(y) s(x,y))
f) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural
par soma de dois quadrados
p(x): x mpar
s(x,y): y = x + 1
q(x,y,z): x = y
2
+ z
2

g) Dadas as proposies
(x)(y)(s(x,y) p(x) p(y))
(x)(y)(p(y) s(x,y))
h) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural
mpar soma de dois quadrados

p(x): x par
s(x,y): y = x + 1
q(x,y,z): x = y
2
+ z
2

i) Dadas as proposies
(x)(y)(s(x,y) p(x) p(y))
(x)(y)(p(y) s(x,y))
j) Escreva em linguagem lgica, usando quantificadores e os predicados acima, a sentena Todo nmero natural
mpar soma de dois quadrados

137. (FM-2001) Sendo A = {3,5,7,9,11,13}, verifique o valor verdade das seguintes proposies,
justificando a resposta:
a) ( x A) (x primo);
b) ( x A) (x+3 9) ( x A) (x
2
+2=11).
Soluo:
Seja A= { 3, 5, 7, 9, 11, 13}.
a) (x A) (x primo) uma proposio FALSA, basta considerar x=9=3.3 que, portanto, no primo.
b) (x A) (x+39) FALSA, pois para x=7, temos x+3=10>9. (x A) (x
2
+2=11) VERDADEIRA, pois para x=3,
temos x
2
+2=11. Portanto, a proposio dada pela disjuno destas duas VERDADEIRA.

138. (FM-2001) a) Sendo A = {1,2,3}, determine o valor lgico de ( x A) (x
2
+ x 6=0);
b) Sendo A um conjunto qualquer, determine a negao de [(xA)(p(x))][(xA)(q(x))].
Soluo:
a) O valor lgico verdadeiro, pois basta considerar x=2 A e 2
2
+2 6=6 6=0.
b) A negao dada pela proposio
~[[( xA) (p(x))] [( xA) (q(x))]].
Utilizando a regra de De Morgan (19 a) teremos:
[~[( xA) (p(x))]] [~[( xA) (q(x)]].
Por (27) teremos
[( xA) (~p(x))] [( xA) (~q(x))].

139. (FM-2001) Nas sentenas abertas p(x) abaixo, considere x como sendo um nmero real. Transforme
p(x) em proposies verdadeiras, utilizando quantificadores. Justifique suas respostas.
a) p(x):
|
|
.
|
\
|
=
+
1 x
1 x
1 x 2 x
2
2
2 4
.
b) p(x): |
.
|
\
|
x x x x
2 2
.
c) p(x): (x
2
+10).
Soluo:
a) ( )
|
|
.
|
\
|
=
+
1 x
1 x
1 x 2 x
x
2
2
2 4
, pois se x=0, teremos a igualdade, mas se x=1 ou x=-1, o lado esquerdo no est definido.
b) ( ) |
.
|
\
|
x x x x x
2 2
, pois se x=2, temos 2 2
2
= , mas se x=0 0 0 e 0 0
2
= = , portanto para 0 no
vale.
c) x
2
+1>0, pois para todo x, x
2
>0 e assim x
2
+1>0, logo (x) (x
2
+1>0), ou seja, (x) (~p(x)).

Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
2
+2x+1 = (x+1)
2
] verdadeira?
2
+2x+1 = 0) verdadeira?
2
+2x+1 > 0) verdadeira?
Soluo:
a) Verdadeira, pois (x+1)
2
= (x+1).(x+1) = x
2
+ 2x +1.
b) Falsa, basta pegar x =3 ento x
2
+ 2x + 1 = 16 0.
c) Verdadeira, se fizermos x = 2 temos x
2
+ 2x +1 = 9 > 0.
(x IR)(5a +4 11) pois a equao s se satisfaz com a
5
6

141. (FM-2000) Verifique o valor verdade das proposies a seguir, justificando sua resposta.
a) Dado
)
`
= * Z n
n
1
B ( x B) (x
2
1 0)
b) Dado A={1, 2, 3} (xA) (yA) (zA) (x
2
+y
2
<2z
2
)
~{(x) [(y) (p(x,y))]} (x) [(y) (~p(x,y))]
Soluo:
a) Verdadeira pois
2
n
1
|
.
|
\
|
nZ, tal que n0 menor que zero.
b) Falsa, pois para y=1 e z=1 no temos xA tal que x
2
+y
2
< 2z
2
.

Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
2
+1 = (x+1)
2
] verdadeira?
2
> 0) verdadeira?
2
+2x+1 < 0) verdadeira?
Soluo:
a) Falsa, pois se pegarmos x = 1 teremos (x
2
+ 1) = 3 4 = (x + 1)
2
.
b) Falsa, pois para x = 0 temos x
2
= 0 e no x
2
> 0.
c) Falsa, pois para qualquer x IR temos x
2
+ 2x + 1 > 0.
(a IR) (5a + 4 11) pois a equao s se satisfaz com a
5
6

143. (FM-1999) Considere o conjunto universo U={1,2,3}. Verifique quais das frases abaixo so verdadeiras e quais
so falsas, justificando sua resposta.
a) xU, yU, tal que x
2
< y+1.
b) xU, yU, tal que x
2
+y
2
<12.
c) zU, xU, yU, tal que x
2
+y
2
<2z
2
.
Considere o conjunto universo U = {1, 2, 3 }. Verifique quais das frases abaixo so verdadeiras e quais so falsas,
justifique sua resposta.
a) (x U) (y U) tal que x
2
< y + 1
Falsa pois se x = 3 para qualquer yU temos que x
2
> y + 1.
b) (x U), (x U) tal que x
2
+ y
2
< 12.
Verdadeira pois para x =1 y U temos x
2
+ y
2
<12.
Para x = 2 e y =1 ou y = 2 temos x
2
+ y
2
<12
Para x = 3 e y = 1 temos x
2
+ y
2
< 12
c) (z U), (x U), (y U), tal que x
2
+ y
2
< z
2
.
Falsa pois para z = 1 (x U) e(y U) temos x
2
+ y
2
2z
2

144. (FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo dos nmeros
inteiros: 2x
2
5x +2=0.
a) (x) (p(x))
b) (x) (~p(x))
c) (x) (p(x))
d) (x) (~p(x))
Soluo:
a) Falsa, pois se considerarmos x = 3 veremos que a proposio no satisfeita.
b) Falsa, basta considerar x = -2 que satisfaz a proposio.
c) Verdadeira pois a negao de (x) (~p(x)) que falsa.
d) Verdadeira, pois a negao de (x) (p(x)) que falsa.

145. (FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo dos nmeros reais:
x
2
+x+10.
a) (x) (p(x))
b) (x) (~p(x))
c) (x) (p(x))
d) (x) (~p(x))
Soluo:
a) Verdadeiro, pois para todo x real, x
2
+x+1= 0 no possui raiz real, e tambm nunca negativo, logo x
2
+x+10 .
b) Falso, pois negao de (x) (p(x)) que tambm verdadeiro.
c) Verdadeiro, pois pelo item a) para todo x real temos x
2
+x+10, logo temos um em particular.
d) Falso, pois ele a negao de (x) (p(x)) que verdade pelo item a).

Princpio da Induo Finita
146. (FM-2005) Sabe-se que para somar dois vetores u e v

, toma-se um segmento orientado (A,B) para representar
u
e um segmento orientado (B,C) para representar v
, e a soma de u e v

um novo vetor denotado por u v +

que tem como representante o segmento orientado (A,C). Mostre utilizando o Princpio da Induo finita que a soma de
n vetores 1 2 v v ... v + + +

n
dada pelo vetor que tem como representante o segmento orientado (X,Y), onde X a
origem de 1 v
e Y a extremidade de n v
.

147. (FM-2002)(FM-2000) Utilizando o Princpio da Induo Finita mostre que a seguinte proposio verdadeira
(nIN*)[1.2 + 2.3 + ... + n.(n+1) =
3
1
n.(n+1)(n+2)].
Soluo: i) Temos p(n
0
) verdadeiro pois
0.1=0. ) 2 0 )( 1 0 .(
3
1
+ +
ii) Suponhamos que p(k) verdadeiro, ento temos
(0.1+1.2+2.3+...+k.(k+1)=
3
1
k(k+1)(k+2)
Provaremos que p(k+1) verdadeiro. De fato, somando (k+1)(k+2) em ambos os lados da igualdade temos
0.1+1.2+2.3+...k.(k+1)+(k+1)(k+2)=
3
1
k(k+1)(k+2)+(k+1)(k+2)=
) 3 k )( 2 k )( 1 k (
3
1
3
) 3 k )( 2 k )( 1 k (
3
) 2 k )( 1 k ( 3 ) 2 k )( 1 k ( k
+ + + =
+ + +
=
+ + + + +
.
Portanto, p(k+1) verdadeiro.

148. (FM-2002) Mostre que :
1
2
+ 3
2
+ 5
2
+ ...(2n 1)
2
=
3
) 1 4 (
2
n n

para todo n IN e n 1.
Temos P(1) verdadeiro pois 1
2
= 1=
3
) 1 1 . 4 ( 1
2
. Suponhamos que p(k) verdadeiro , ento 1

2
+ 3
2
+ 5
2
+ ...+
(2k-1)
2
=
3
) 1 4 (
2
k k
.
Somando |2 (k + 1) - 1|
2
em ambos os lados obtemos:
1
2
+ 3
2
+ 5
2
+... + (2k 1)
2
+ (2(k+1)-1)
2
=
3
) 1 4 (
2
k k
+ (2 (k + 1) - 1)
2
=
=
3
) 1 4 (
2
k k
+ (2k+1)
2
=
3
) 1 2 ( 3 ) 1 4 (
2 2
+ + k k k
=
=
3
3 12 12 4
2 3
+ + + k k k k
=
3
3 k 12 k 11 k 4
2 3
+ + +
=
=
3
) 1 4 8 4 ).( 1 (
2
+ + + k k k
=
3
) 3 8 4 )( 1 (
2
+ + + k k k
=
=
3
) 2 ) 1 ( 4 )( 1 (
2
+ + k k
.
Portanto temos P(k+1) verdadeiro.

149. (FM-2002) Utilize o principio de induo finita para mostrar a validade da proposio encontrando o valor de n
0
:
(n
0
IN, n n
0
) (2
n
> n
2
).
Soluo:Primeiramente faremos alguns testes para encontrar o possvel valor de n
0
.
n 2
n
n
2

0 1 0
1 2 1
2 4 4
3 8 9
4 16 16
5 32 25
6 64 36
7 128 49
8 256 64
9 512 81
10 1024 100
Pela tabela vemos que p(5) verdadeiro pois: 2
5
= 32 > 25 = 5
2

Suponhamos que p(k) verdadeiro ento: 2
k
> k
2

Multiplicando * por 2 temos 2
k+1
>2k
2

Assim devemos mostrar que 2k
2
(k+1)
2

De fato:
K 5 k
2
2 2 2 +
k
2
+ 2k + 1 0 2k
2
k
2
- 2k + 1 2k
2
(k+1)
2

Portanto p(k+1) verdadeiro.

150. (FM-2002) Mostre por induo que:
(nIN
*
)
\
|
0
1
n
1
1
=
0
1
|
|
.
|
1
n
.
Soluo:Temos que p(1) verdadeiro pois:
0
1

1
1
1
0
1

1
1

Suponhamos agora que p(k) seja verdadeiro, ento temos
0
1

k
1
1
=
0
1

k
1

Devemos mostrar que p(k+1) verdadeiro. De fato:
0
1

1
1
1
+
k
=
0
1

k
1
1
0
1

1
1
=
0
1

1
k
0
1

1
1
=
0
1

+
1
1 k

Como queramos demonstrar.

151. (MD-2001)(FM-1999) Utilize o Princpio da Induo Matemtica para mostrar que o termo geral de uma
progresso aritmtica de razo r a
n
=a
1
+(n 1).r.
Soluo: a
n
= a
1
+ ( n 1).r, n IN*
(i) P(1) verdadeiro pois a
1
=a
1
+(1 1).r.
(ii) Suponhamos que P(k) seja verdadeiro, ento
a
k
=a
1
+(k 1).r
Como temos uma P.A de razo r,
a
k+1
= a
k
+ r= a
1
+ (k 1).r + r = a
1
+[(k 1) +1].r = a
1
+[(k + 1) 1].r
Logo, P(k+1) verdadeiro.
Portanto, obtemos o desejado.

152. (FM-2001) Mostre, utilizando o Princpio de Induo Finita, as seguintes proposies:
a) ( )
n
1
2
n
1
9
1
4
1
1 IN n
2

|
|
.
|
\
|
+ + + +
b) ( n IN) (2
3n
1 divisvel por 7).
Soluo: (1
a
. maneira)
a) P(1) verdadeira pois 1 1. Suponhamos que P(k) verdadeiro, ento
k
1
2
k
1
...
9
1
4
1
1
2

|
|
.
|
\
|
+ + + +
Somando
( )
2
1 k
1
+
em ambos os lados obtemos
( ) ( )
( )
1 k
1
2
k
1
1 k
1
2
1 k
1
k
1
2
1 k
1
k
1
...
9
1
4
1
1
(*)
2
2 2 2
+

|
|
.
|
\
|
+
=
=
+
+
|
|
.
|
\
|
+
+ + + + +

Portanto, P(k+1) verdadeiro.
(*)
( ) ( )
1 k
1
k
1
1 k
1
1 k
1
k
1
1 k
k
1 k
1
1 k 2 k
1
1 k
1
2 2 2 2 2
+
+
=
+
+ +
=
+
.
(2
a
. maneira)
P(1) verdadeiro, pois 2
3
1=7. Suponhamos que P(k) verdadeiro, ento
2
3k
1=7.m, mZ.
Multiplicando por 2
3
em ambos os lados obtemos
2
3k
.2
3
2
3
=7.m.2
3
2
3(k+1)
8=7.m.2
3
2
3(k+1)
1=7.m.2
3
+7
2
3(k+1)
1=7.(m.2
3
+7) 2
3(k+1)
1 = 7.(8.m+7).
Como 8m+7Z, temos que 2
3(k+1)
1 divisvel por 7. Portanto, P(k+1) verdadeiro.

153. (FM-2001) Mostre, utilizando o Princpio de Induo Finita, as seguintes proposies:
a) (n IN*) (2
n
> n);
b) (n IN) (3
2n
+ 7 divisvel por 8).

Soluo:(1
a
. maneira)
a) P(1) verdadeiro, pois
2
1
=2 > 1.
Suponhamos que P(k) seja verdadeiro, ento
2
k
> k.
Multiplicando ambos lados por 2 teremos:
2
k
.2 > 2.k 2
k+1
>2.k.
Como k>1 temos k + k > k+1 e , logo, 2.k > k+1.
Portanto, 2
k+1
>k+1 e P(k+1) verdadeiro
.
b) P(0) verdadeiro pois
3
2.0
+7=3
0
+7=1+7=8=8.1.
Suponhamos que P(k) seja verdadeiro, ento
7 3
8
k . 2
+
, ou seja, 3
2.k
+7=8.a para algum aZ.
Multiplicando ambos os lados por 3
2
obtemos:
3
2.k
3
2
+7.3
2
=8.a.3
2
3
2k+2
+63=8.(9.a) 3
2(k+1)
+7=8.(9.a) 56 3
2(k+1)
+7=8.(9.a 7)
b=(9.a 7) Z tal que 3
2(k+1)
+7=8.b. Portanto,
7 3
8
k . 2
+
e P(k+1) verdadeiro.

(2
a
. maneira)
(a) i) Para n=1, temos que 2
n
=2
1
=2>1=n.
ii) Suponhamos que para n=k o resultado seja verdadeiro, ou seja, 2
k
>k. Queremos mostrar que o resultado verdadeiro para
n=k+1, ou seja, queremos mostrar que 2
k+1
>k+1.
Temos que 2
k+1
=2
k
.2
1
, mas pela hiptese de induo 2
k
>k, logo 2
k
.2
1
>2.k. Assim 2
k+1
>2.k =k+k>k+1, pois k1. Pelo PIF,
temos o desejado.
(b) P(0) verdadeiro pois
3
2.0
+7=3
0
+7=1+7=8=8.1.
Suponhamos que o resultado seja verdadeiro para n=k, isto , 3
2.k
+7 divisvel por 8. Queremos mostrar que a proposio
verdadeira quando n=k+1, ou seja, 3
2.(k+1)
+7 divisvel por 8. Temos
3
2.(k+1)
+7=3
2k+2
+7=3
2k
.3+7 (*)
Pela hiptese de induo 3
2.k
+7=8.a para algum a inteiro. Assim 3
2.k
=8.a 7, em (*), obtemos
3
2.(k+1)
+7=9.3
2k
+7=9.(8.a 7)+7=9.8.a 56=8.(9.a 7)
e 9.a 7 um nmero inteiro. Assim temos pelo PIF o desejado.

154. (FM-2001) Define-se a
n
assim a
0
=1 e a
n
=a
n-1
.a, n>0. Utilize esta definio e o Princpio da Induo Finita (PIF)
para mostrar que a>0 a
n
>0, n IN.
Soluo:
i) Se n=0, teremos a>0 a
n
=a
0
=1>0, portanto a proposio verdadeira.
ii) Suponhamos que para n=k tenhamos uma proposio verdadeira, ou seja, a>0a
k
>0. Queremos mostrar que, se
a>0a
k+1
>0. Temos a
k+1
=a
k
.a (por definio). Mas por hiptese de induo a
k
>0 e por hiptese a>0, logo a
k+1
produto
de dois nmeros positivos e assim a
k+1
>0.

155. (MD-2001) Demonstre, por induo finita, que
( ) IN n , 1 n
4
n
n 3 2 1
2
2
3 3 3 3
+ = + + + + .
Soluo: (i) P(1) verdadeiro, pois 1
3
= (1/4)
2
(1+1)
2
.
(ii) Suponhamos que p(k) verdadeiro ento
1
3
+2
3
+3
3
+...+k
3
= k
2
/4.(k+1)
2
(*)
Somando (k+1)
3
em ambos os lados de (*), teremos
1
3
+2
3
+3
3
+...+k
3
+(k+1)
3
= k
2
/4.(k+1)
2
+(k+1)
3
=
= k
2
/4+k+1)+(k+1)
2
=(k
2
+4k+4)/4.(k+1)
2
=
=(k+1)
2
/4.(k
2
+4k+4)= (k+1)
2
/4.(k+2)
2

Logo, p(k+1) verdadeiro. Portanto, P(n) verdadeiro para todo n IN, pelo Princpio da Induo Finita.

156. (FM-2000) Utilizando o Princpio da Induo Finita mostre que as seguinte proposio verdadeira
(nIN*)[3
0
+ 3
1
+ ...+ 3
n - 1
=
2
1
(3
n
-1)].
Soluo:
Primeiramente mostraremos que p(1) verdadeiro. De fato
3
0
=1=
2
1
(3
1
-1)
Agora, suponhamos p(k) verdadeiro, ento temos
3
0
+3
1
+3
2
+...3
k-1
=
2
1
(3
k
-1)
Queremos mostrar que p(k+1) verdadeiro. De fato
3
0
+3
1
+3
2
+...+3
(k+1)1
=
2
1
(3
k
-1) +3
k+1
=
=
2
3
k
= +
k
3
2
1
) 1 3 (
2
1
2
1
2
3 . 3
1 k
k
=
+
.

157. (FM-2000) Mostre que n
3
+2n divisvel por 3.
Soluo: P(n): ( n IN, n 0) (n
3
+ 2n) divisvel por 3.
Primeiramente, mostremos que P(0) verdadeiro. De fato,
0
3
+2.0=0=3.0
Agora, por hiptese de induo, suponhamos que P(k) verdadeiro, ou seja,
(a, aZ, a0) tal que (k IN, k - 1)
k
3
+2k=3.a
Queremos mostrar que P(k+1) tambm verdadeiro. De fato,
(k+1)
3
+2(k+1)=k
3
+3k
2
+3k+1+2k+2=
=(k
3
+2k)+3k
2
+3k+3=
=3a+3k
2
+3k+3=
=3.(a+k
2
+k+1)
Portanto P(k+1) verdadeiro.

158. (FM-2000)(FM-1999) Utilizando o Princpio da Induo Finita mostre que a seguinte proposio verdadeira
(nIN
*
)[1 + 4 + 7 + ... + (3n-2) =
2
n n 3
2

.
Soluo: Primeiramente, mostraremos que p(1) verdadeiro, de fato:
3.1 2 = 1 =
2
1 1 . 3
2

Agora , suponhamos que p(k) seja verdadeiro , ento temos :
1+4+7+...+(3k-2)=
2
k k 3
2

Devemos mostrar que p(k+1) verdadeiro, de fato :

1+3 + 7+ ...+(3k 2) +(3(k+1) 2) =
2
k k 3
2
+ (3(k+1) 2) =
2
4 )) 1 k ( 3 ( 2 k k 3
2
+ +
=
2
4 6 k 6 k k 3
2
+ +
=
=
2
2 k 5 k 3
2
+ +
=
=
2
) 1 k ( ) 1 k ( 2 k 5 k 3
2
+ + + + +

=
2
) 1 k ( ] 1 k 2 k [ 3
2
+ + +

=
2
) 1 k ( ) 1 k ( 3
2
+ +

159. (FM-1999) Prove por induo finita a seguinte assero: 2+4+6+8+10+...+2n= n.(n+1).
Soluo: Temos que P(0) verdadeiro pois
2.0 = 0 = 0 (0 + 1)
Agora, suponhamos que p(k) seja verdadeiro, ento temos
2 + 4 + 6 + 8 + 10 + ... + 2k = k (k+ 1)
Devemos mostrar que p (k + 1) verdadeiro, de fato:
2 + 4 + 6 + 8 + 1 0+ ... + 2k + 2 (k +1) = k (k + 1) + 2k + 2 =
= (k +1) (k + 2).

Problemas Lgicos
160. Num problema considere os seguintes elementos:

Temos cinco casas.
O ingls vive na casa amarela.
O brasileiro o dono do cachorro.
Na casa verde se bebe caf.
O espanhol bebe ch.
A casa verde est situada ao lado e a direita (do leitor) da casa cinzenta.
O estudante de psicologia possui macacos.
Na casa amarela se estuda filosofia.
Na casa do meio se bebe leite.
O noruegus vive na primeira casa.
O senhor que estuda lgica vive na casa vizinha do homem que tem uma raposa.
Na casa vizinha a que se guarda o cavalo, estuda-se filosofia.
O estudante que se dedica a estudos sociais bebe suco de laranja.
O japons estuda metodologia.
O noruegus vive ao lado da casa azul.
Esclarecimento: Cada uma das cinco casas est pintada de diferente cor. Seus moradores so de diferentes
nacionalidades. Tem diferentes animais. Bebem diferentes bebidas e estudam diferentes matrias. Apresente clara e
nitidamente qual a ordem das casas, quem o morador de cada uma, de que cor so pintadas, o que estuda cada
morador, qual seu bicho de estimao e qual sua cor preferida.

Perguntas: Quem bebe gua? E quem dono da zebra?

161. Escritor famoso:Um teste de um concurso indaga:qual a poca do nascimento de um eminente escritor ingls,
sabendo-se que apenas uma das alternativas correta?(a)nasceu no sculo XIX; (b) nasceu no sculo XX; (c) nasceu
depois de 1860; (d) nasceu antes de 1860; (e) no possvel resolver este problema.

162. O filho do pianista:Para complicar a vida de um lgico que queria saber a idade de seus trs filhos, uma senhora
manteve com ele seguinte dilogo:
_O produto de suas idades 36
_Ainda no sei, respondeu o lgico
_A soma de suas idades igual ao nmero da casa ao lado.
_Ainda no sei, respondeu o lgico.
_O mais velho toca piano.
_ Agora j sei as idades, respondeu o lgico.
Qual era o numero da casa e quais as idades dos filhos?

163. Dilogo de filsofos: Um paradoxo conhecido desde a poca medieval, imagina o seguinte dilogo entre Socrtes e
Plato: Quem esta mentindo?
_ Socrtes: O que Plato vai dizer falso.
_ Plato: Socrtes acaba de dizer uma verdade.

164. Frente e verso: Numa folha de papel em branco escreva: A sentena do outro lado verdadeira. No outro lado
escreva: A sentena do outro lado falsa. As sentenas so verdadeiras?

165. O Barbeiro: Um barbeiro foi condenado a barbear todos e somente todos aqueles homens que no se barbeiam a si
prprios. Quem barbeia o barbeiro?

166. O crocodilo sdico: Um crocodilo raptou um beb6e de sua me e prometeu devolv-lo se a me respondesse
corretamente sim ou no. Questo: Vou comer o sei beb?
O que a me respondeu e o que fez o crocodilo?

167. Os condenados: Os prisioneiros de um certo reino so sempre decapitados ou enforcados. Um prisioneiro
conseguiu o privilgio de fazer uma previso. Se fosse falsa, ele seria enforcado, e se fosse correta, decapitado. O
prisioneiro conseguiu se livrar da pena?

168. O problema de trs filsofos: Trs filsofos, depois de uma longa discusso, adormeceram debaixo de uma rvore.
Um moleque, passando por a, pintou o nariz dos trs de vermelho. Quando os filsofos acordaram, comearam a rir da
cara do outro, at que um deles parou bruscamente, porque se deu conta que seu nariz tambm estava pintado. Qual foi
seu raciocnio?

169. Os revolucionrios: Trs revolucionrios foram presos, mas o juiz tinha simpatia pela causa que eles defendiam e
queria achar uma maneira sutil de liberta-los. Num dia o juiz chegou cela com 5 etiquetas, duas pretas e trs brancas, e
anunciou: Vou fixar uma etiqueta nas costas de cada um, de modo que cada um de vocs possa ver a de seus
companheiros sem ver o prpria. No poder haver nenhum tipo de comunicao. Quem acertar a cor de sua etiqueta e
puder explicar, estar livre. Em seguida , fixou as etiquetas brancas nas costas dos prisioneiros e saiu, deixando-os com
o guarda. Como cada um deles pode acertar a cor de sua etiqueta?

Circuitos Lgicos e de Interruptores
170. Simplifique ao mximo os seguintes circuitos de interruptores:
s
s
t t s
r
r t
a)
a
b b
a a
b
b)
x y
x
x z
y z
z y
y z
c)
a
b
c
a b
d)
r
p
p
q r
q
q
p
r
q
e)
p
q s
r q p
p q r s
q p r
f)

Logica Word

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Logica Word

Загружено:

Авторское право:

Доступные форматы

Universidade Estadual de Maring

Centro de Cincias Exatas

(x, y) = x. y, ou ainda , w (P Q) = w(P). w(Q).

que representem os outros conectivos.

e um segmento orientado (B,C) para representar v

. Suponhamos que p(k) verdadeiro , ento 1

Вам также может понравиться