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
PPQ
QPQ
Simplificao
PQP
PQQ
Silogismo Disjuntivo
(P Q) ~P Q
Modus Ponens
(P Q) P Q
(P Q) ~Q ~P
ModusTollens
(P Q) (R S) (P R) (Q S)
Dilemas Construtivos
Dilemas Destrutivos
Lei Transitiva
6
7
Contradio/Tautologia
cP
Inferncia
por
casos
Inferncia eliminao
(Q P) (R P) [(Q R) P]
Unio
PQPQ
Transitivadade
[P Q Q R] (P R)
(P Q) (R S) (P R) (Q S)
(P Q) (R S) [(~Q ~S) (~P ~R)]
(P Q) (R S) [(~Q ~S) (~P ~R)]
(P Q) (Q R) (P R)
Pt
[P (Q R)] ~R (P Q)
[PQ QR] (PR).
EQUIVALNCIAS LGICAS
1
Condicional
P Q ~[P (~Q)]
Bicondicional
(P Q) [(P Q) (Q P)]
Lei da dupla negao ~(~P) P
Leis comutativas
PQQP
PQQP
Leis de idempotncia
PPP
PPP
Lei contrapositiva
(P Q) [(~Q)(~P)]
Reductio
Absurdum
Leis de De Morgan
~(P Q) [(~P) (~Q)]
~(PQ)[(~P)(~Q)]
Leis associativas
(P Q) R P (Q R)
(P Q) R P (Q R)
P (Q R) (P Q) (P R)
P (Q R) (P Q) (P R)
PtP
Ptt
P (~P) c
PcP
~t c
10 Leis distributivas
11
Contradio
Tautologia
ad
P Q (~P) Q
(P Q) (P ~Q) c
~c t
12 Substituio
(P P) [P(p,q,r,...) P(p,q,r,...)]
13 Absoro
[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).
Pcc
P ~P t
[P (P Q)] P
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 )].
(q
p
q
r
r)]
[p
r)] [q (p
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 pq
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
V
V
V
V
F
V
F
V
F
F
F
F
Etapas
1
V
F
F
F
2
q)
V
F
V
F
1
F
F
F
V
3
(p
V
V
F
F
1
q)
(p
V
F
F
V
2
V
V
V
V
4
F
F
V
F
2
V
F
V
F
1
V
V
F
F
1
q)
V
F
V
F
2
F
F
V
V
3
~
F
F
V
V
2
p
V
V
F
F
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
V
V
V
V
q
V
V
F
F
Etapa
r
V
F
V
F
[p (~ q)] [(p
V F F V F V V
V F F V F V V
V V V F F V V
V V V F F V V
1 3 2 1 4 1 2
b) (MD-2001) [(p r) (q r)] [(p q) r].

Soluo:
p q
r [(p r)
V V V V V V V
V V F V F F F
V F V V V V V
V F F V F F V
1 2 1 3
Etapa
(q
V
V
F
F
1
V
F
V
V
2
r)
V
F
V
F
1
[(p
V V
V V
V V
V V
4 1
V
V
F
F
3
r)
V
F
V
F
1
V
V
F
F
2
q]
V
V
F
F
1
V
F
V
V
3
q
V
V
F
F
1
r]
V
F
V
F
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 ,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 V V V V V V V V V V V V V V
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
pq
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
V
q
V
[(p
V
q)
V
p]
F
[q
V
(p
V
q)]
V
V
F
V
F
F
V
V
F
F
F
V
V
F
V
F
F
V
V
F
F
V
F
F
V
F
F
F
V
F
F
F
F
F
V
F
F
Etapas
1
2
1
3
1
4
1
3
1
2
Como na etapa 4 temos apenas valores lgicos falsos dizemos que o resultado uma contradio.
F
V
F
1
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
b)
F
Etapas
1a
2a
4a
3a
c) Como as tabela-verdade das duas proposies so iguais, temos que pq e

eqivalentes, ou seja, pq [(pq)q] (pq).
[(p q) q] p q) so logicamente
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
[p
(~ q p)] ~ [(p (~ q)) (q (~ p))
Etapa
b) O valor lgico da proposio dado pela terceira linha e etapa 4 da tabela detalhada a seguir:
p
(p r) [q
(~
r)]
Etapas
39. (FM-2001) Sabendo que c representa uma contradio, faa a Tabela Verdade Detalhada da
proposio
[(pq) (rc)] (p~c);
Soluo:
p
[(p
q)
(r
c)]
(p
r)
Etapa
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)
~
q)
(~
q)
Etapas
(p
Temos que o resultado da tabela- verdade acima uma contradio.

b) (p ~p) (q p)
p
(p
p)
(q
p)
Etapas
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
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
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)
Etapa
b)
(p q ) (r p)
p
(p
q)
(r
p)
Etapa
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 V
V V
V V F V
V V V
V F V V
V V V
F F
V V
V F F V
F F
F V V F
V V V
F V
V V
F V F
F V
F F V F
V V V
F F
V V
F F F
F F
Etapa
2 1 3
1 2 1
F
F
F
F

a) (p ~q) (~p q)
b) (p ~p) (q p)
c) (p r) (q r) (p q) r.
Soluo:
F
F
F
F
3 1
a)
(p ~q) (~p q)
p q (p ~ q) (~ p q)
b)
V V V V F V
V F V
V F V V V F
V F F
F V F F F V
F V V
F V V F
F F F
Etapa 1 3 2 1
1 3 1
(p ~p) (q p)
p q (p ~ p) (q p)
c)
V V V F F V
V V V
V F V F F V
F V V
F V F F V F
V V F
F F V F
F F F
Etapa 1 3 2 1
1 2 1
(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 V
V V V
V V
V V F V
V V V
V F V V
V V V F
V V
V F F
V V
V F F V
V F F
V F
F V V F
V V V V
V V
F F V
V V
F F V
F V F
F V F F
F F V
V F
F F V F
V V V F
V V
F F F
V V
F F F F
F F F
V F
2 1
1 2 1
3 1
Etapa
F V V
F V F
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]
Etapas
p)
q)
[(~
(~
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 VV 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
[p
(p
q)]
[p
(~
q)]
Etapas
Temos que o resultado da tabela- verdade uma contradio.

d) (~p) (p q)
p
(~
p)
(p
q)
Etapas
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
[p
(p
r)]
Etapa
b)
p
(p
q)
(q
p)
F
Etapa
c)
p
(p
q)
Etapa
d)
~
(p
q)
(x + 3)(x 2)
> x
(x 1)
(1)
V
V
Etapa
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
(2)
x +x6>x x
x 6 > x
2x > 6
x>3
(3)
(4)
(5)
(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
k) (FM-2002)
H1: p q
H2: q r
H3: ~r
T: ~p
b) H1: p (q r)
H2: q s
H3: r u
H4: s u p r
H5: ~p
T: r
d) H1: p q
H2: ~q
T: ~p
f) H1: p ~q
H2: r q
H3: r
T: ~p
h) (FM-2002) H1, H2, H3, H4 T, onde
H1 :(p q)
H2 : (r s)
H3 (q s) ~m H4 :m
T :(~p ~r)
j) (FM-2002)
H1: p q
H2: p r
H3: ~q
H4: r (s t)
T: s
l) (FM-2002)
H1: p ~q s
H2: ~(s u)
H3: q r
T: p q r
m) (FM-2002)
H1: p q
H2: p r
H3: ~q
n) (FM-2002)
H1: p q
H2: q r
H3: ~r
c) H1: p q
H2: ~q r
T: p r
e) H1: p q
H2: q
T: p
g) H1: p q
H2: r ~q
T: r ~p
i) (FM-2002) H1, H2, H3, T, onde
H1: p q,
H2: p q,
H3 ~p
T : c.
H4: r (s t)
T: s
o) (FM-2002)
H1: p ~q s
H2: ~(s u)
H3: q r
T: p q r
q) (FM-2001)
H1: p q
H2: q s
H3: u [ r (~s)]
H4: p
T: u
s) (FM-2001)
H1: pq
H2: r s
H3: (qs) ~u
H4: u
T: ~p~r
v) (FM-2000)
H1: p(qr)
H2: pqs
T: ps
w) (FM-2000)
H1: p(qr)
H2: pqs
T: ps
z) (FM-2000)
H1: pq r
H2: s p u
H3: q s
T: r
ab) (MD-2001)
a
b~c
dc
a~be
-------------~d
ad) (MD-2001)
pq
pq
-------p
af) (MD-2001)
H1: (pq) (rs)
H2: (rs)s
H3: ~s
T: ~q
ah) H1 P Q
H2 P R
T: P (Q R)
aj) H1 P (Q R)
H2 Q S
H3 P U
T: ~p
p) (FM-2001) H1, H2, H3, H4 T, onde
H1: pq
H2: rs
H3: ~q r
H4: ~p s x
T: x
r) (FM-2001)
H1: ~(p q)
H2: (~r) q
H3: ~p r
T: r
u) (FM-2001)
H1: (~pq) r
H2: (rs)~u
H3: u
T: ~q
x) (FM-2000)
H1: (pq)rs
H2: rss
H3: ~s
T: ~q
y) (FM-2000)
H1: (pq)rs
H2: rss
H3: ~s
T: ~q
aa) (FM-2000) (MD-2003)
H1: s pq
H2: ~sp
H3: ~p
T: q
ac) (MD-2001)
pq
pq
--------q
ae) (MD-2001)
b
c~d
ed
b~ca
-------------~e
ag) (MD-2001)
c
d~e
ae
c~db
-------------~a
ai) H1P Q
H2 (R P) S
H3 ~S
T:Q
ak) H1 A (B C)
H2 C (D E)
H3 (~B D) F
H4 ~(R X)
H5 S (X Y)
H6 ~U
T: Y
al) H1 P Q
H2 P Q
T: Q
H4 ~F
T: A
ag) H1- p (q r)
H2-(p q) s
T: ps
ah) H1- (pq)(rs)

H2 (rs)s
H3 - ~s
T: ~q
af) H1 A B
H2 C D
T: (A D) (B C)
ai) H1- (p q) r
aj) H1-s (p q)
H2 s (p u)
H2-~s p
H3-~p
H3- q s
T: q
T: r
ak) b, c ~d, e d, b ~c a ~e al) (FM-2005)
H1: (F A) (C B)
T :CP
an) (FM-2005)
am) (FM-2005)
H1: (X R) (R V)
H1: P (Q R)
H2: P S
H2: (V P) (P A)
H3: (S X) (X U)
T :XP
H4: V (~U ~R)
H5: V
T : ~Q
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
1
2
3
Proposio
p (p q)
(p p) (p q)
p (p q)
(p c) (p q)
5
6
p (c q)
p (q c)
7
8
pc
p
b) [(p q) (p r)] [p (q r)]

Ordem
Proposio
1
(p q) (p r)
2
(~p q) (~p r)
3
(q ~p) (r ~p)
4
5
q (~p r) ~p
q (r ~p) ~p
6
7
(q r) (~p ~p)
(q r) ~p
8
9
~p (q r)
p (q r)
Justificativa
H1
1, Teorema 2.11 d Distributiva
2, Teorema 2.11 b Idempotcia
Teorema 2.13 Substituio
3, Teorema 2.12 d Contradio
5, Teorema 2.11 a Comutativa
6, Teorema 2.12 f Contadio
7, Teorema 2.12 g - Contadio
Justificativa
H1
1, Teorema 2.9 b Condicional
Teorema 2 13 Substituio
3, Teorema 2.11 c Associativa
6, Teorema 2.11 b Idempotncia
7, Teorema 2.11 a - Comutativa
8, Teorema 2.9 b - Condicional
51. (FM-2002) Demonstre:

Direta
H1: p q
H2: p r
H3: ~q
H4: r (s t)
T: s
a) Demonstrao Direta:
Ordem
1
2
3
4
5
6
7
8
Indireta
H1: p q
H2: q r
H3: ~r
T: ~p
Proposio
pq
pr
~q
r (s u)
~p
r
su
s
b) Demonstrao Indireta
Ordem
1
2
3
4
5
6
7
Proposio
pq
qr
~r
p
q
r
~r r
c) Demonstrao Condicional
Ordem
Proposio
1
(p ~q ) s
2
~ (s t)
Condicional
H1: p ~q s
H2: ~(s u)
H3: q r
T: p q r
Justificativa
H1
H2
H3
H4
1, 3, Teorema 2.8 f Modus Tolles
2, 5, Teorema 2.8 d Silogismo Disjuntivo
4 6 Teorema 2.8 e Modus Ponens
7, Teorema 2.8 c Simplificao
Justificativa
H1
H2
H3
H4 Negao da Tese
1, 4, Teorema 2.8 e Modus Ponens
3, 6, Conjuno
Justificativa
H1
H2
qr
H3
H4
~s ~t
2, Teorema 2.10 b De Morgan
~s
~(p ~q)
1 6 Teorema 2.8 f Modus Tolles
pq
7 Teorema 2.9 a Condicional
pr
3, 8, Exemplo 2.18 Transitiva
10
4, 9,Teorema 2.8 e Modus Ponens
11
7,Teorema 2.8 c- Simplificao

Teorema 2.8 a - -Dupla negao
12
qr
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 H1(p q) ~p (~q ~p); e H2: (~q ~p) (p q) ~p .Vejamos o
primeiro argumen
Ordem
Proposio
Justificativa
H1
1
(p q) ~p
2
3
4
5
6
7
8
Para demostrar o segundo
equivalncias lgicas.
~p (p q)
(~p p) (~p q)
t (~p q)

3, Teorema 2.12 j Tautologia
~p q
Teorema 2.12 c Tautologia
5 Teorema 2.11 a Comutativa
q ~p
~[(~q) p]
7, Teorema 2.9 a Condicional
(~q ~p)
argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somentes
b) Vamos demonstrar que r s) ~s t, uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade dos argumentos H1 r s) ~s t; e H2: t (r s) ~s.Vejamos o primeiro argumen
Ordem
Proposio
Justificativa
H1
1
(r s) ~s
1 Teorema 2.11 c Associatiava
2
r (s ~s)
3
rt
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
H1: p q
H2: p r
H3: ~q
H4: r (s t)
T: s
a) Demonstrao Direta:
Ordem
1
2
3
4
5
6
7
8
b) Demonstrao Indireta
Ordem
1
2
3
4
5
6
7
b) Indireta
H1: p q
H2: q r
H3: ~r
T: ~p
Proposio
pq
pr
~q
r (s u)
~p
r
su
s
Justificativa
H1
H2
H3
H4
1, 3,Teorema 2.8 f Modus Tolles
7, Teorema 2.8 c - Simplificao
Proposio
Justificativa
H1
H2
H3
Negao da Tese
3, 6,Cconjuno
pq
qr
~r
p
q
r
~r r
c) Demonstrao Condicional
Ordem
Proposio
1
(p ~q ) s
2
~ (s t)
3
qr
4
p
c) condicional
H1: p ~q s
H2: ~(s u)
H3: q r
T: p q r
Justificativa
H1
H2
H3
H4
5
6
7
8
9
10
11
~s ~t
~s
~(p ~q)
pq
pr
r
q
12
qr

3, 8, Teorema 2.9 e Reductio Absurdum
Teorema 2.8 a Dupla Negao
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:
Ordem
Proposio
Justificativa
H1
1
(p q) r
1, Teorema 2.9 b- Condicional
2
(~p q) r
Teorema 2. 13 Substituio
2,Teorema 2. 9 b Condicional
3
~(~p q) r
3, Teorema 2.11 c- - Distributiva
4
r ~(~p q)
4,
Teorema 2. 10b - De Morgan
5
r (p ~q)
Teorema 2. 13 Substituio
55. (FM-2002) Usando o mtodo direto ou indireto e que c represente uma contradio demonstre o
teorema H1, H2, H3 T, onde
H1: p q
H2: p q
H3 ~p
T:c
Usaremoa o mtodo direto papa mostrar o desjado.
Ordem
Proposio
Justificativa
H1
1
pq
H2
2
pq
3
~q
H3
4
~p
1, 3, Teorema 2.8 f - Modus Tolles
5
Q
2, 4, Teorema 2. 8 d Silogismo Disjuntivo
5, 3, Conjuno
6
q ~p
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:
Ordem
1
2
3
Proposio
(q r) p
~ (q r) p
(~q ~r) p
~q (~r p)
~q (r p)
Justificativa
H1
2, Torema 2.10 b - De Morgan
q (r p)

57. (FM-2002) Usando o mtodo direto ou indireto, demonstre o teorema H1, H2, H3, H4 T, onde
H1 :(p q) H2 : (r s) H3 (q s) ~m H4 :m T :(~p ~r)
Usaremos o mtodo direto para mostrar o desejado.
Ordem
Proposio
1
pq
2
rs
3
(q s) ~m
4
m
5
~(q s)
6
~q ~s
7
~q
8
~s
9
~p
10
~r
11
~p ~r
Justificativa
H1
H2
H3
H4
5, Teorema 2.10 b - De Morgan
9, 10, Conjuno
58. (FM-2002) Mostre que 2n < n! para todo nIN e n 4.

Primeiramente mostraremos que P(4) verdadeiro. De fato, 24=16 < 2 =4!. Suponhamos agora que p(k) seja
verdadeiro, logo, 2k < k!. Queremos mostrar que P(k+1) verdadeiro. De fato, 2.2k < 2k! implica 2k+1<2k!. Como 2k!
<(k+1)! Temos ento 2k+1 < (k+1)!
59. (FM-2002) Mostre que (pq)r[(pr)(qr)], utilizando o mtodo dedutivo.

Soluo:
Ordem
Proposio
Justificativa
(p q) r
~(p q) r
1, Teorema 2.9 b - Condicianal
(~p ~q) r
2, Teorema 2.10 a De Morgan
~p ( ~q r)
~p [ ~q ( r r) 4, Teorema 2.12 j Tautologia
~p [ r ( ~q r) 5, Teorema 2.11 c Associativa

Teorema 2.11 a - Comutativa
(~p r) ( ~q r) 6, Teorema 2.11 c Associativa
(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 H1:p (pq) ~p. Vejamos:
Ordem
Proposio
Justificativa
H1
(p~q)
1, Teorema 2.8 b - Adio
(p~q) t
2, Teorema 2.12 c - Identidade
(p~q) (q~q)
3, Teorema 2.12 j - Tautologia
(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 H1:(p q) p p q e H2: p q (pq) Vejamos o primeiro argumento
Ordem
Proposio
Justificativa
(p q) p
H1
~(p ~q) p
1, Teorema 2.9 a - condicional
(~p q) p
2, Teorema 2.10 a - De Morgan

Teorema 2.13 - Substituio
(~p p) (q p)
3, Teorma 2.11 d - distributiva
c (q p)
4, Teorema 2.12 e - contradio
qp
5, Teorema 2.12 c - identidade
pq
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 H1, H2, H3 e H4, demonstre a tese T, utilizando-se de um
mtodo direto ou indireto.
H1: pq H2: rs H3: ~q r H4: ~p s x

Soluo:
Ordem
T: x
Proposio
Justificativa
pq
H1
rs
H2
~q r
H3
~p s x
H5
~q
3,Teorema 2.8 c - Simplificao
~p
1,5,Teorema 2.9 d - Contra-positiva
3,Teorema 2.8 c - Simplificao
2,7, Teorema 2.8 e - Modus Ponens
~p s
6,8, Conjuno
10
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 H1[p (p q)] (p q); e H2: (p q) p (p q)] .Vejamos o primeiro argumento
Ordem
Proposio
Justificativa
p (q q)
H1
~[p ~(p q)]
1, Teorema 2.9 a - Condicional
~[p ~p ~q)]

~[(p ~p) (p~q)]

~[c (p ~q)]
4, Teorema 2.12 e Contadio

~[(p ~q) c]

~(p ~q)
6, Teorema 2.12 g Contradio

pq
b) Vamos demonstrar que [(p q) q)] (p q).; uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade dos argumentos H1 [(p q) q)] (p q).e H2: (p q). [(p q) q)]. Vejamos o primeiro
argumento
Ordem
Proposio
Justificativa
(p q ) q
~[( p q ) (~q)]
~( p q ) (~(~q))
~( p q ) q
~[~(p (~q))] q
[p (~q)] q
5, Teorema 2.8 a Dupla negao

q [p (~q)]
(q p) [q (~q)]
7, Teorema 2.11 d Distibutiva
(q p) t

10
qp
9, Teorema 2.12 c - Identidade
11
pq
H1
4, Teorema 2.8 a Dupla negao

equivalncias lgicas
63. (FM-2001) Mostre pelo mtodo direto ou indireto as seguintes tautologias:

a) H1: p q
b) H1: ~(p q)
H2: q s
H2: (~r) q
H3: u [ r (~s)]
H3: ~p r
H4: p
T: r
T: u
a) Faremos pelo Mtodo Direto
Ordem
Proposio
Justificativa
pq
H1
qs
H2
u [r (~s)]
H3
H4
(u r) (u (~s)) 3, Teorema 2.11 d - Distributiva
(u ~s)
2,7, Teorema 2.8 e Modus Ponens
(~s) u
10
9, 8,Teorema
disjuntivo
2.8
Silogismo
b) Faremos pelo Mtodo Indireto:

Ordem
Proposio
Justificativa
~(p q)
H1
(~r) q
H2
(~p) r
H3
~r
Negao da Tese
~(~p)
5, Teorema 2.8 a Dupla Negao
(~p) (~q)
~q
10
q (~q)
8, 9, Conjuno
11
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
mostrar a validade dos argumentos H1[(p q) (p r)] [p(q r)] e H2 [p(q r)] [(p q) (p r)] .Vejamos o
primeiro argumento
Ordem
Proposio
Justificativa
(p q) (p r)
H1
(~p q) (~p r)

~p (q r)
p (q r)
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 H1[~(p q) (~p q)] ~p e H2 p [~(p q) (~p q)]. Vejamos o primeiro argumento
Ordem
Proposio
Justificativa
~(p q) (~p q)
H1
(~p ~q) (~p q)

~p (~q q)
~p t

~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
b) H1: (~pq) r
H2: r s
H2: (rs)~u
H3: u
H3: (qs) ~u
T: ~q
H4: u
T: ~p~r
Soluo:
a)
Ordem
1
2
3
4
5
6
Proposio
pq
rs
(q s) ~u
u
~(~u)
~(q s)
Justificativa
H1
H2
H3
H4
4, Teorema 2.8 a Duple Negao
(~q) (~s)
~s
~r
~q
~p
~p ~r
7
8
9
10
11
12

2, 8 Teorema 2.8 f Modus Tolles
1, 7 Teorema 2.8 f Modus Tolles
9, 11, Conjuno
b)
Ordem
Proposio
Justificativa
. (~p q) r
H1
(r s) ~u
H2
H3
~(~u)
3, Teorema 2.8 a Dupla Negao
~(r s)
(~r) (~s)
~r
~(~p q)
~(~p) ~q
10
~q
66. (MD-2001) Para cada inferncia abaixo, demonstre sua validade (justificando cada passo) ou d um contraexemplo:
qp
qp
qp
qp
-------------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
sr
p~qu
-------------~s
69. (MD-2001) Demonstre, utilizando o mtodo dedutivo, a tautologia [(p q) (p q) (p q).
Soluo:
1. (p q) (p q)
(EL 2)
2.[(p q) (p q)] [(p q) (p q)]
(EL 1b)
3. [~(p q) (p q)] [~(p q) (p q)]
(EL 8a, EL 8b)
4. [(~p ~q) (p q)] [(~p ~q) (p q)]
(EL 5, EL 9)
5. [(~p ~q) (p q)] [(~p p) (~q q)]
(EL 11h, EL 6a)
6. [(~p ~q) (p q)] t
(EL 11a)
7. [(~p ~q) (p q)]
(EL 10b)
8. [(~p ~q) p] [(~p ~q) q]
(EL 5, EL 10b))
9. [(p ~p) (p ~q)] [(q ~p) (q ~q)]
(EL 11h, EL 11a)
10. (p ~q) (q ~p)
(EL 1b)
11. p q q p
(EL 2)
12. p q
70. (MD-2001) Demonstre, utilizando o mtodo direto ou indireto
H1 : (p q ) r
H2 : (r q ) (p s )
H3 : p t
T : s
Soluo:
1. (p q) r
2. (r q) (p s)
3. p t
4. p
5. p q
6. r
7. r q
8. p s
9. s
(Hiptese 1)
(Hiptese 2)
(Hiptese 3)
(3, I 2a)
(4, I1a)
(1, 5, I4)
(6, I1a)
(2, 7, I4)
(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
EL 5 (b)
2. ~p (p q)
EL 10 (b)
3. (~p p) (~p q)
EL 11 (g)
4. t (~p q)
EL 11 (a)
5. (~p q)
EL 1 (b)
6. p q
EL 7
7. ~q ~p
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)
2. (r s) s
3. ~s
4. ~(r s)
5. ~(p q)
6. ~p ~q
5. ~q
(Hiptese 1)
(Hiptese 2)
(Hiptese 3)
(2, 3, I 6)
(1, 4, I 6)
(5, EL 8 (b))
(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
P (~Q)
RI 1a (adio)
(P ~Q) t
EL 11a (tautologia- contradio)
(P ~Q) (Q ~Q) EL 11h (tautologia- contradio) EL 4b(comutativa)
b)
~Q (P Q)
EL 10b (distributiva)
(P Q) ~Q
EL 4 b (comutativa)
(P Q) P
(~P Q) P
EL 1a (condicional)
P (~P Q)
EL 4a (comutativa)
(P ~P) (P Q)
EL 10a (distributiva)
cPQ
EL 11c (tautologia contradio)
PQ
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)
Ordem
Proposio
Justificativa
p (q r)
H1
p q s
H2
(p q) (p r)
(p q)
2, 4,Teorema 2.8 e Modus Ponens
ps
5, Teorema 2.8 b Adio

Teorema2.11 a Comutativa
b)
Ordem
Proposio
Justificativa
(p q) (r s)
H1
rss
H2
~s
H3
pqs
1,2, Exemplo 2.18 - Transitiva
~(p q)
3,4, Teorema 2.8 f Modus Tolles
~p ~q
~q
Outra soluo:
Ordem
Proposio
Justificativa
(p q) r s
H1
rss
H2
~s
H3
~(r s)
~(p q)
~p ~q
~q
Mtodo Indireto
Ordem
Proposio
Justificativa
pqrs
H1
rss
H2
~s
H3
H4 negao da tese
pq
rs
1,5, Teorema 2.8 e Modus Ponens
s ~s
3,7 conjuno

a) H1: p(qr)
b) H1: (pq)rs
H2: pqs
H2: rss
H3: ~s
T: ps
T: ~q
Soluo:
a)
Ordem
Proposio
Justificativa
p (q r)
H1
p q s
H2
(p q) (p r)
(p q)
3, Teorema 2,8 c - Simplificao
ps
b)
Ordem
Proposio
Justificativa
(p q) (r s)
H1
rss
H2
~s
H3
pqs
1,2 Exemplo 2.18 - Transitiva
~(p q)
3,4, Teorema 2.8 f - Modus Tolles
~p ~q
~q
Outra soluo:
Ordem
Proposio
Justificativa
(p q) r s
H1
rss
H2
~s
H3
~(r s)
~(p q)
1,4,Teorema 2.8 f Modus Tolles
~p ~q
~q
Mtodo Indireto
Ordem
Proposio
Justificativa
pqrs
H1
rss
H2
~s
H3
H4 negao da tese
pq
rs
1,5, Teorema 2.8 e - Modus Ponens
s ~s
3,7 conjuno

a) H1: pq r
b) H1: s pq
H2: s p u
H2: ~sp
H3: ~p
H3: q s
T: r
T: q
Soluo:
a) Mtodo Indireto
Ordem
Proposio
Justificativa
(p q) r
H1
s (p u)
H2
qs
H3
~r
H4 negao da tese
~(p q)
~p ~q
~q
7,2, Teorema 2.8 d Silogismo disjuntivo
pu
2, Teorema 2.8 e Modus Ponens
10
11
~p
6, Teorema 2.11 b - Idempotncia
12
p ~p
10 11 conjuno
b)Mtodo Direto
Ordem
Proposio
Justificativa
s (p q)
H1
~s p
H2
~p
H3
pq

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:
Ordem
Proposio
Justificativa
(p q) ~p
H1
~p (p q)
(~p p) (~p q)
t (~p q)

~p q
4, Teorema 2.11a Comutativa

Teorema 2.12 c Tautologia
q ~p
~q ~p
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
Ordem
Proposio
Justificativa
(r s) ~s
H1
r (s ~s)
rt

3, Teorema 2.12 d Tautologia
sst
4, Teorema 2.12 d - Tautologia
st
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
Ordem
Proposio
Justificativa
p (p q)
H1
(p p) (p q)
pqp
2, Teorema 2.11 b - Idempotncia
ii) Para mostrar o segundo argumento utilizamos a tabela abaixo.

Ordem
Proposio
Justificativa
H1
p (p q)
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
Ordem
Proposio
Justificativa
[(p q) (p r)
H1
(~p q) (~p r)
1,Teorema 2.9 a Condicional

(~p ~p) (q r)
2, Teorma 2.11 a - Comutativa

~p (q r)
3, Teorema 2.11 b Idempotncia


5
p (q r)
79. Considere as seguintes inferncias:
A: H1 (P Q) R
H2 ~P
T: Q
B: H1 P R
H2 Q ~r
H3 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
2
3
4
(P Q) R
~P
PQ
Q
b) Demonstrao direta de A
1 (P Q) R
2 ~P
3 (P R) (Q R)
4 ~P ~R
5 ~(P R)
6 QR
7 Q
c) Demonstrao indireta de A
1
2
3
4
5
6
(P Q) R
~P
~Q
PQ
P
P ~P
1
2
3
4
5
6
PR
Q ~R
Q
R ~Q
P ~Q
~P
1
2
3
4
5
6
7
PR
Q ~R
Q
~P R
~Q ~R
~R
~P
1
2
3
4
5
6
7
PR
Q ~R
Q
P
R
~Q
Q ~Q
d) Demonstrao direta de B
e) Demonstrao direta de B
f) Demonstrao indireta de B
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) H1 P R
b) H1 P Q
H2 Q R
H2 Q R
T: P Q
T: P Q
c) H1 P Q
H2 ~P R
H3 ~Q
T: R Q
d) H1 P Q
H2 R (S P)
H3 ~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)(x2 y = 3)
b) (y)(x)(x2 y = 3)
c) (y)(x)(x2 y = 3)
95. (FM-2002) (MD-2003) (FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo
dos nmeros reais: x2 + 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 2x2 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, 2x2 5x + 2 0.
b) Falso, pois para x = 2, 2x2 5x + 2 = 0
c) Verdadeiro, pois quando x = 2, 2x2 5x + 2 = 0
d) Verdadeiro, pois se considerarmos x = 3, temos 2x2 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) : a4 = 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.
x 4 2x 2 + 1
a) p(x):
= x 2 1 .
2
x 1
b) p(x): x 2 x x 2 x .
c) p(x): (x2+10).
100. (FM-2001) a) Sendo A = {1,2,3}, determine o valor lgico de ( x A) (x2 + 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) (x2+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 = y2 + z2
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) (2x2 + x = 15).
104. (FM-2000) Responda as questes a seguir justificando sua resposta.
a) A proposio (xIR)[x2+1 = (x+1)2] verdadeira?
b) A proposio (xIR)(x2 > 0) verdadeira?
c) A proposio (xIR)(x2+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 x2 < y + 1.
b) (x U), (x U) tal que x2 + y2 < 12.
c) (z U), (x U), (y U), tal que x2 + y2 < z2 .
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 =y2 +z2 t2 )
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 = y2 )
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 contraexemplo 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 x0 tal que P(x0) no vale. Neste caso dizemos que x0 um
contraexemplo 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) : a4 = 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:
x2 + 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 x2 + 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, x2+y2<2z2
Soluo: A proposio falsa pois para z=1 temos
x = 1 y = 1 x2 + y2 = 2.z2
x = 1 y = 2, 3 x2 + y2 > 2.z2
x = 2 y = 1, 2, 3 x2 + y2 > 2.z2
x = 3 y = 1, 2, 3 x2 + y2 > 2.z2
131. (MD-2001) Sendo A = {1,2,3,4}, determinar o valor lgico da proposio

( x A) (2x2 + x = 15)
Soluo: falsa, pois para
x = 1, temos 2x2+x=3
x = 2, temos 2x2+x=10
x = 3, temos 2x2+x=21
x = 4, temos 2x2+x=36.
2
Logo, ( x A) (2x +x 15) verdadeira.
Portanto, ( x A) (2x2+x 15) = ~( x A) (2x2+x 15) falsa.
p(x):
x par
s(x,y): y = x + 1
q(x,y,z): x = y2 z2
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 = y2 + z2
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 = y2 + z2
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 = y2 + z2
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 = y2 + z2
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) (x2+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) (x2+2=11) VERDADEIRA, pois para x=3,
temos x2+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) (x2 + 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 22+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.
x 4 2x 2 + 1
a) p(x):
= x 2 1 .
x2 1
b) p(x): x x x 2 x .
c) p(x): (x2+10).
Soluo:
x 4 2x 2 + 1
= x 2 1 , pois se x=0, teremos a igualdade, mas se x=1 ou x=-1, o lado esquerdo no est definido.
a) (x )
x2 1
b) (x ) x 2 x x 2 x , pois se x=2, temos
vale.
2 2 = 2 , mas se x=0
02 = 0 e
c) x2+1>0, pois para todo x, x2>0 e assim x2+1>0, logo (x) (x2+1>0), ou seja,
0 = 0 , portanto para 0 no
(x) (~p(x)).

Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
a) A proposio (xIR)[x2+2x+1 = (x+1)2] verdadeira?
b) A proposio (xIR)(x2+2x+1 = 0) verdadeira?
c) A proposio (xIR)(x2+2x+1 > 0) verdadeira?
Soluo:
a) Verdadeira, pois (x+1)2 = (x+1).(x+1) = x2+ 2x +1.
b) Falsa, basta pegar x =3 ento x2 + 2x + 1 = 16 0.
c) Verdadeira, se fizermos x = 2 temos x2 + 2x +1 = 9 > 0.
(x IR)(5a +4 11) pois a equao s se satisfaz com a
6
5
141. (FM-2000) Verifique o valor verdade das proposies a seguir, justificando sua resposta.
1
n Z * ( x B) (x2 1 0)
n
a) Dado B =
b) Dado A={1, 2, 3} (xA) (yA) (zA) (x2+y2<2z2)

~{(x) [(y) (p(x,y))]} (x) [(y) (~p(x,y))]
Soluo:
2
1
a) Verdadeira pois nZ, tal que n0 menor que zero.
n
b) Falsa, pois para y=1 e z=1 no temos xA tal que x2+y2< 2z2.
Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
a) A proposio (xIR)[x2+1 = (x+1)2] verdadeira?
b) A proposio (xIR)(x2 > 0) verdadeira?
c) A proposio (xIR)(x2+2x+1 < 0) verdadeira?
Soluo:
a) Falsa, pois se pegarmos x = 1 teremos (x2 + 1) = 3 4 = (x + 1)2 .
b) Falsa, pois para x = 0 temos x2 = 0 e no x2 > 0.
c) Falsa, pois para qualquer x IR temos x2 + 2x + 1 > 0.
(a IR) (5a + 4 11) pois a equao s se satisfaz com a
6
5
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 x2 < y+1.
b) xU, yU, tal que x2 +y2<12.
c) zU, xU, yU, tal que x2 +y2<2z2.
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 x2 < y + 1
Falsa pois se x = 3 para qualquer yU temos que x2 > y + 1.
b) (x U), (x U) tal que x2 + y2 < 12.
Verdadeira pois para x =1 y U temos x2 + y2 <12.
Para x = 2 e y =1 ou y = 2 temos x2 + y2 <12
Para x = 3 e y = 1 temos x2 + y2 < 12
c) (z U), (x U), (y U), tal que x2 + y2 < z2 .
Falsa pois para z = 1 (x U) e(y U) temos x2 + y2 2z2
144. (FM-1999) Verifique a validade dos quantificadores a seguir para a proposio no universo dos nmeros
inteiros: 2x2 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:
x2+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, x2+x+1= 0 no possui raiz real, e tambm nunca negativo, logo x2+x+10 .
b)
c)
Falso, pois negao de (x) (p(x)) que tambm verdadeiro.

Verdadeiro, pois pelo item a) para todo x real temos x2+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 v1 + v 2 + ... + v n dada pelo vetor que tem como representante o segmento orientado (X,Y), onde X a
origem de v1 e Y a extremidade de v n .
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) =
1
n.(n+1)(n+2)].
3
Soluo: i) Temos p(n0) verdadeiro pois

0.1=0.
1
.( 0 + 1)( 0 + 2 )
3
ii) Suponhamos que p(k) verdadeiro, ento temos

(0.1+1.2+2.3+...+k.(k+1)=
1
k(k+1)(k+2)
3
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)=
1
k(k+1)(k+2)+(k+1)(k+2)=
3
k( k + 1)( k + 2 ) + 3( k + 1)( k + 2 ) ( k + 1)( k + 2 )( k + 3 ) 1

=
= ( k + 1)( k + 2 )( k + 3 ) .
3
3
3
Portanto, p(k+1) verdadeiro.
148. (FM-2002) Mostre que :
12 + 32 + 52 + ...(2n 1)2 =
para todo n IN e n 1.
n(4n 2 1)
3
1(4.12 1)
Temos P(1) verdadeiro pois 1 = 1=
. Suponhamos que p(k) verdadeiro , ento 12 + 32+ 52 + ...+
3
k (4k 2 1)
(2k-1)2=
.
3
2
Somando [2 (k + 1) - 1]2 em ambos os lados obtemos:
k (4k 2 1)
+ (2 (k + 1) - 1)2 =
3
2
2
k (4k 1)
k (4k 1) + 3(2k + 1) 2
=
+ (2k+1)2 =
=
3
3
4k 3 k + 12k 2 + 12k + 3 4k 3 + 11k + 12k 2 + 3
=
=
=
3
3
12 + 32 + 52 +... + (2k 1)2 + (2(k+1)-1)2=
(k + 1).(4k 2 + 8k + 4 1)
(k + 1)(4k 2 + 8k + 3)
=
=
3
3
(k + 1)(4(k + 1) 2 2)
=
.
3
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 n0:
(n0 IN, n n0) (2n > n2).
Soluo:Primeiramente faremos alguns testes para encontrar o possvel valor de n0.
n2
n
2n
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
5
2
Pela tabela vemos que p(5) verdadeiro pois: 2 = 32 > 25 = 5
Suponhamos que p(k) verdadeiro ento: 2k > k2
Multiplicando * por 2 temos 2k+1>2k2
Assim devemos mostrar que 2k2 (k+1)2
De fato:
2+2 2
k2 + 2k + 1 0 2k2 k2 - 2k + 1 2k2 (k+1)2
2
Portanto p(k+1) verdadeiro.
K5k
150. (FM-2002) Mostre por induo que:

n
1 1 1 n
(nIN ) =
.
01
1
0

*
Soluo:Temos que p(1) verdadeiro pois:

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

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

=
0 1 0 1 0 1 0 1 0 1
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 an=a1+(n 1).r.
Soluo: an= a1 + ( n 1).r, n IN*
(i) P(1) verdadeiro pois a1=a1+(1 1).r.
(ii) Suponhamos que P(k) seja verdadeiro, ento
ak=a1+(k 1).r
Como temos uma P.A de razo r,
ak+1= ak + r= a1 + (k 1).r + r = a1 +[(k 1) +1].r = a1 +[(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:

1 1
1
1
2
a) (n IN ) 1 + + + +
2
n
n
4 9
b) ( n IN) (23n 1 divisvel por 7).

Soluo: (1a. maneira)
a) P(1) verdadeira pois 1 1. Suponhamos que P(k) verdadeiro, ento
1
1
1 1
1 + + + ... +
2
2
k
4
9
k
Somando
(k + 1)2
em ambos os lados obtemos

1 1
1
1
1
1 + + + ... + 1 +
2 +
=
2
2
4 9
k (k + 1)2
(k + 1)
k
1
1 (*)
1
= 2
2
(k + 1)2 k
k +1
Portanto, P(k+1) verdadeiro.

1
1
1
k
1
1
1
1
1
(*)
=

.
2
2
2
2
2
(k + 1) k + 2k + 1 k + 1 k + 1 k k + 1 (k + 1) k k + 1
(2a. maneira)
P(1) verdadeiro, pois 23 1=7. Suponhamos que P(k) verdadeiro, ento
23k 1=7.m, mZ.
Multiplicando por 23 em ambos os lados obtemos
23k.23 23 =7.m.23 23(k+1) 8=7.m.23 23(k+1) 1=7.m.23+7
23(k+1) 1=7.(m.23+7) 23(k+1) 1 = 7.(8.m+7).
Como 8m+7Z, temos que 23(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*) (2n > n);
b) (n IN) (32n + 7 divisvel por 8).
Soluo:(1a. maneira)
a) P(1) verdadeiro, pois
21=2 > 1.
Suponhamos que P(k) seja verdadeiro, ento
2k > k.
Multiplicando ambos lados por 2 teremos:
2k.2 > 2.k 2k+1>2.k.

Como k>1 temos k + k > k+1 e , logo, 2.k > k+1.
Portanto, 2k+1>k+1 e P(k+1) verdadeiro
.
b) P(0) verdadeiro pois
32.0+7=30+7=1+7=8=8.1.
8
, ou seja, 32.k+7=8.a para algum aZ.

3
+7
Multiplicando ambos os lados por 32 obtemos:
32.k 32+7.32=8.a.32 32k+2+63=8.(9.a) 32(k+1)+7=8.(9.a) 56 32(k+1)+7=8.(9.a 7)
Suponhamos que P(k) seja verdadeiro, ento
2.k
b=(9.a 7) Z tal que 32(k+1)+7=8.b. Portanto,

(2a. maneira)
(a) i) Para n=1, temos que 2n=21=2>1=n.
8
3
2.k
+7
e P(k+1) verdadeiro.
ii) Suponhamos que para n=k o resultado seja verdadeiro, ou seja, 2k>k. Queremos mostrar que o resultado verdadeiro para
n=k+1, ou seja, queremos mostrar que 2k+1>k+1.
Temos que 2k+1=2k.21, mas pela hiptese de induo 2k>k, logo 2k.21>2.k. Assim 2k+1>2.k =k+k>k+1, pois k1. Pelo PIF,
temos o desejado.
(b) P(0) verdadeiro pois
32.0+7=30+7=1+7=8=8.1.
Suponhamos que o resultado seja verdadeiro para n=k, isto , 32.k+7 divisvel por 8. Queremos mostrar que a proposio
verdadeira quando n=k+1, ou seja, 32.(k+1)+7 divisvel por 8. Temos
32.(k+1)+7=32k+2+7=32k.3+7 (*)
Pela hiptese de induo 32.k+7=8.a para algum a inteiro. Assim 32.k=8.a 7, em (*), obtemos
32.(k+1)+7=9.32k+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 an assim a0=1 e an=an-1.a, n>0. Utilize esta definio e o Princpio da Induo Finita (PIF)
para mostrar que a>0 an>0, n IN.
Soluo:
i) Se n=0, teremos a>0 an=a0=1>0, portanto a proposio verdadeira.
ii) Suponhamos que para n=k tenhamos uma proposio verdadeira, ou seja, a>0ak>0. Queremos mostrar que, se
a>0ak+1>0. Temos ak+1=ak.a (por definio). Mas por hiptese de induo ak>0 e por hiptese a>0, logo ak+1 produto
de dois nmeros positivos e assim ak+1>0.
155. (MD-2001) Demonstre, por induo finita, que
13 + 2 3 + 3 3 + + n 3 =
n2
(n + 1)2 , n IN .
4
Soluo: (i) P(1) verdadeiro, pois 13= (1/4)2(1+1)2.

(ii) Suponhamos que p(k) verdadeiro ento
13+23+33+...+k3= k2/4.(k+1)2
(*)
3
Somando (k+1) em ambos os lados de (*), teremos
13+23+33+...+k3+(k+1)3 = k2/4.(k+1)2+(k+1)3=
= k2/4+k+1)+(k+1)2=(k2+4k+4)/4.(k+1)2=
=(k+1)2/4.(k2+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
1
(nIN*)[30 + 31 + ...+ 3n - 1 = (3n-1)].
2
Soluo:
Primeiramente mostraremos que p(1) verdadeiro. De fato
30=1=
1 1
(3 -1)
2
Agora, suponhamos p(k) verdadeiro, ento temos

30+31+32+...3k-1=
1 k
(3 -1)
2
Queremos mostrar que p(k+1) verdadeiro. De fato

30+31+32+...+3(k+1)1=
k
1
2
(3k-1) +3k+1=
3
1
3 .3
1 1
+ 3k =
= ( 3k+1 1) .
2
2 2
2
2
157. (FM-2000) Mostre que n3+2n divisvel por 3.

Soluo: P(n): ( n IN, n 0) (n3 + 2n) divisvel por 3.
Primeiramente, mostremos que P(0) verdadeiro. De fato,
03+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)

k3+2k=3.a
Queremos mostrar que P(k+1) tambm verdadeiro. De fato,
(k+1)3+2(k+1)=k3+3k2+3k+1+2k+2=
=(k3+2k)+3k2+3k+3=
=3a+3k2+3k+3=
=3.(a+k2+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) =
3n 2 n
.
2
Soluo: Primeiramente, mostraremos que p(1) verdadeiro, de fato:

3.1 2 = 1 =
3 .1 2 1
2
Agora , suponhamos que p(k) seja verdadeiro , ento temos :

1+4+7+...+(3k-2)=
3k 2 k
2
Devemos mostrar que p(k+1) verdadeiro, de fato :
1+3 + 7+ ...+(3k 2) +(3(k+1) 2) =
3k 2 k
+ (3(k+1) 2) =
2
3k 2 k + 2( 3( k + 1)) 4 3k 2 k + 6 k + 6 4
=
=
2
2
3k 2 + 5 k + 2
=
2
3k 2 + 5 k + 2 + ( k + 1) ( k + 1)
2
3[ k 2 + 2k + 1] ( k + 1)
2
3( k + 1) 2 ( k + 1)
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:

b)
a)
r
t
s
t
r
s
d)
c)
x
y
e)
f)
p
q
p
p
p
q
r
r
s
q
q
r
r

Logica Word

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica Word

Enviado por

Direitos autorais:

Formatos disponíveis

Universidade Estadual de Maring

Centro de Cincias Exatas

Organizador: Joo Roberto Gernimo

1. O que Lgica? Para que serve?

Em (I) conclumos que:

13. a) O que uma tabela verdade?

[PQ QR] (PR).

Lei da dupla negao ~(~P) P

~(P Q) [(~P) (~Q)]

Soluo: Como p sempre verdadeira, temos a seguinte tabela verdade detalhada.

b) (MD-2001) [(p r) (q r)] [(p q) r].

35. (FM-2002) Verifique se tautologia, contradio ou contingncia.

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

c) Como as tabela-verdade das duas proposies so iguais, temos que pq e

38. (FM-2001) a) Faa a Tabela Verdade Detalhada da proposio

(~ q p)] ~ [(p (~ q)) (q (~ p))

40. (FM-2000) Encontre a tabela verdade das seguintes proposies.

Temos que o resultado da tabela- verdade acima uma contradio.

Temos que o resultado da tabela verdade uma tautologia.

41. (FM-2000) Encontre a tabela verdade das seguintes proposies.

[(p r) (q r)] [(p q) r]

42. (FM-2000) Encontre a tabela verdade das seguintes proposies.

Temos que o resultado da tabela- verdade uma contradio.

45. O que um argumento?

p) (FM-1999) (p q) ~p (~q ~p).

ah) H1- (pq)(rs)

50. (FM-2002) Demonstre pelo mtodo dedutivo as seguintes tautologias:

b) [(p q) (p r)] [p (q r)]

51. (FM-2002) Demonstre:

2, Teorema 2.10 b De Morgan

5, Teorema 2.8 c Simplificao

1 6 Teorema 2.8 f Modus Tolles

7 Teorema 2.9 a Condicional

3, 8, Exemplo 2.18 Transitiva

4, 9,Teorema 2.8 e Modus Ponens

7,Teorema 2.8 c- Simplificao

10, 11, Conjuno

52. (FM-2002) Demonstre pelo mtodo dedutivo as seguintes tautologias:

1, Teorema 2.11 a Comutativa

53. (FM-2002) Demonstre:

2, Teorema 2.10 b De Morgan

54. (FM-2002) Usando as regras de equivalncia, mostre a seguinte tautologia:

56. (FM-2002) Usando as regras de equivalncia, mostre a seguinte tautologia:

5, Teorema 2.9 b - Condicional

58. (FM-2002) Mostre que 2n < n! para todo nIN e n 4.

59. (FM-2002) Mostre que (pq)r[(pr)(qr)], utilizando o mtodo dedutivo.

1, Teorema 2.9 b - Condicianal

2, Teorema 2.10 a De Morgan

3, Teorema 2.11 c Associativa

~p [ ~q ( r r) 4, Teorema 2.12 j Tautologia

~p [ r ( ~q r) 5, Teorema 2.11 c Associativa

(~p r) ( ~q r) 6, Teorema 2.11 c Associativa

7, Teorema 2.9 b - Condicianal

60. (FM-2001) Utilizando o mtodo dedutivo, demonstre as seguintes tautologias:

1, Teorema 2.8 b - Adio

2, Teorema 2.12 c - Identidade

3, Teorema 2.12 j - Tautologia

4, Teorema 2.11 d - Distributiva

1, Teorema 2.9 a - condicional

2, Teorema 2.10 a - De Morgan

3, Teorma 2.11 d - distributiva

4, Teorema 2.12 e - contradio

5, Teorema 2.12 c - identidade

H1: pq H2: rs H3: ~q r H4: ~p s x