Escolar Documentos
Profissional Documentos
Cultura Documentos
:{0,1}{0,1}{0,1}onde f
,f
(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
Teorema 2.13 Substituio
5 p (c q) 4, Teorema 2.11 d Distributiva
6 p (q c) 5, Teorema 2.11 a Comutativa
Teorema 2.13 Substituio
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)]
Ordem Proposio Justificativa
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
Teorema 2.13 Substituio
4 q (~p r) ~p 3, Teorema 2.11 c Associativa
5 q (r ~p) ~p 4, Teorema 2.11 a Comutativa
Teorema 2.13 Substituio
6 (q r) (~p ~p) 5, Teorema 2.11 c Associativa
7 (q r) ~p 6, Teorema 2.11 b Idempotncia
Teorema 2.13 Substituio
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:
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
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
52. (FM-2002) Demonstre pelo mtodo dedutivo as seguintes tautologias:
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
Ordem Proposio Justificativa
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
Teorema 2.13 Substituio
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
Ordem Proposio Justificativa
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
Teorema 2.13 Substituio
4 t 3, Teorema 2.12 Tautologia
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somentes
equivalncias lgicas.
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:
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
1 p q H
1
2 q r H
2
3 ~r H
3
4 p 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,Cconjuno
c) Demonstrao Condicional
Ordem Proposio Justificativa
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
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
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
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.
Ordem Proposio Justificativa
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:
Ordem Proposio Justificativa
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
Teorema 2.13 Substituio
4 ~q (~r p) 3, Teorema 2.11 c Associativa
Teorema 2.13 Substituio
5 ~q (r p) 4, Teorema 2.9 b Condicional
Teorema 2.13 Substituio
6 q (r p) 5, Teorema 2.9 b - Condicional
Teorema 2.13 Substituio
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.
Ordem Proposio Justificativa
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:
Ordem Proposio Justificativa
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:
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
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
equivalncias lgicas.
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:
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
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
Teorema 2.13 - Substituio
4 ~[(p ~p) (p~q)] 3, Teorema 2.11 d Distributiva
Teorema 2.13 - Substituio
5 ~[c (p ~q)] 4, Teorema 2.12 e Contadio
Teorema 2.13 - Substituio
6 ~[(p ~q) c] 5, Teorema 2.11 a Comutativa
Teorema 2.13 Substituio
7 ~(p ~q) 6, Teorema 2.12 g Contradio
Teorema 2.13 Substituio
8 p q 7, Teorema 2.9 a - Condicional
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente
equivalncias lgicas.
b) Vamos demonstrar que [(p q) q)] (p q).; uma tautologia utilizando o mtodo dedutivo. Para isto devemos
mostrar a validade dos argumentos H
1
[(p q) q)] (p q).e H
2
: (p q). [(p q) q)]. Vejamos o primeiro
argumento
Ordem Proposio Justificativa
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
Teorema 2.13 Substituio
5 ~[~(p (~q))] q 4, Teorema 2.9 a Condicional
Teorema 2.13 Substituio
6 [p (~q)] q 5, Teorema 2.8 a Dupla negao
Teorema 2.13 Substituio
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
Teorema 2.13 - Substituio
10 q p 9, Teorema 2.12 c - Identidade
11 p q 10, Teorema 2.11 a Comutativa
Para demostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente
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
Ordem Proposio Justificativa
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:
Ordem Proposio Justificativa
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
9 q 2, 4, Teorema 2.8 e Modus Ponens
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
mostrar a validade dos argumentos H
1
[(p q) (p r)] [p(q r)] e H
2
[p(q r)] [(p q) (p r)] .Vejamos o
primeiro argumento
Ordem Proposio Justificativa
1 (p q) (p r) H
1
2 (~p q) (~p r) 1, Teorema 2.9 b Condicional
Teorema 2.13 - Substituio
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
equivalncias lgicas.
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
Ordem Proposio Justificativa
1 ~(p q) (~p q) H
1
2 (~p ~q) (~p q) 1, Teorema 2.10 b De Morgan
Teorema 2.13 - Substituio
3 ~p (~q q) 2, Teorema 2.11 d - Distributiva
4 ~p t 3, Teorema 2.12 j Tautologia
Teorema 2.13 Substituio
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
equivalncias lgicas.
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)
Ordem Proposio Justificativa
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)
Ordem Proposio Justificativa
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
10 ~q 9, Teorema 2.8 c - Simplificao
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)
Ordem Proposio Justificativa
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)
Ordem Proposio Justificativa
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
7 ~q 6, Teorema 2.8 c - Simplificao
Outra soluo:
Ordem Proposio Justificativa
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
6 ~p ~q 5, Teorema 2.10 b De Morgan
7 ~q 6, Teorema 2.8 c Simplificao
Mtodo Indireto
Ordem Proposio Justificativa
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
7 s 4, Teorema 2.8 c - Simplificao
8 s ~s 3,7 conjuno
75. (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
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)
Ordem Proposio Justificativa
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
7 ~q 6, Teorema 2.8 c Simplificao
Outra soluo:
Ordem Proposio Justificativa
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
6 ~p ~q 5, Teorema 2.10 b De Morgan
7 ~q 6, Teorema 2.8 c Simplificao
Mtodo Indireto
Ordem Proposio Justificativa
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
7 s 4, Teorema 2.8 c - Simplificao
8 s ~s 3,7 conjuno
76. (FM-2000) Mostre pelo mtodo direto ou indireto as seguintes tautologias.
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
Ordem Proposio Justificativa
1 (p q) r H
1
2 s (p u) H
2
3 q s H
3
4 ~r H
4
negao da tese
5 ~(p q) 1,4, Teorema 2.8 f Modus Tolles
6 ~p ~q 5, Teorema 2.10 b De Morgan
7 ~q 6, Teorema 2.8 c - Simplificao
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
Ordem Proposio Justificativa
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
77. (FM-1999) Demonstre pelo mtodo dedutivo as seguintes tautologias:
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
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
Teorema 2.13 Substituio
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
equivalncias lgicas.
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
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
Teorema 2.13 Substituio
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
Teorema 2.13 Substituio
7 s 6, Teorema 2.12 c Tautologia
Para mostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente
equivalncias lgicas.
78. (FM-1999) Demonstre pelo mtodo dedutivo as seguintes tautologias:
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
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.
Ordem Proposio Justificativa
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
Ordem Proposio Justificativa
1 |(p q) (p r) H
1
2 (~p q) (~p r) 1,Teorema 2.9 a Condicional
Teorema 2.13 Substituio
3 (~p ~p) (q r) 2, Teorma 2.11 a - Comutativa
Teorema 2.13 Substituio
4 ~p (q r) 3, Teorema 2.11 b Idempotncia
Teorema 2.13 Substituio
5 p (q r) 4, Teorema 2.9 a - Condicional
Para mostrar o segundo argumento utilizamos o mesmo processo de baixo para cima pois foram utilizadas somente
equivalncias lgicas.
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.
132. (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 diferena de dois quadrados
[sugesto: escreva, antes, o predicado x diferena de dois quadrados].
133. (MD-2001) Considere, no universo dos nmeros naturais, os seguintes predicados:
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))
determine seus valores-verdade e expresse as respectivas negaes;
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].
134. (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
e) 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;
f) 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].
135. (MD-2001) Considere, no universo dos nmeros naturais, os seguintes predicados:
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))
determine seus valores-verdade e expresse as respectivas negaes;
h) 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].
136. (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
i) 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;
j) 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].
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)).
140. (FM-2000) Responda as questes a seguir justificando sua resposta.
Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
a) A proposio (xIR)[x
2
+2x+1 = (x+1)
2
] verdadeira?
b) A proposio (xIR)(x
2
+2x+1 = 0) verdadeira?
c) A proposio (xIR)(x
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
.
142. (FM-2000) Responda as questes a seguir justificando sua resposta.
Quantifique a expresso 5.a +4 11 de forma a obter uma sentena verdadeira no universo dos nmeros reais..
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?
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 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
\
|
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)