Solues para os problemas do livro Fundamentos de matemtica elementar 1

Lgica e conjuntos
Captulo 1 Noes de lgica
Paulo Henrique Santos Cardoso

- Noes de lgica
A.1 Quais das sentenas abaixo quais so proposies? No caso das proposies quais so
verdadeiras?
a) 5.4=20
b)5-4=3
c) 2+7.3=5.4+3
d)5(3+1)=5.3+5.1
e)1+31+6
f)(-2)(-2)
g)3+4>0
h)11-4.2
Resposta:
Pela definio proposio toda orao declarativa que pode ser definida em verdadeira ou falsa.
Logo, as opes
a) 5.4=20 ( Proposio e Verdadeira)
b)5-4=3 ( Proposio e Falsa)
c) 2+7.3=5.4+3 ( Proposio e Verdadeira)
d)5(3+1)=5.3+5.1 ( Proposio e Verdadeira)
e)1+31+6 ( Proposio e Verdadeira)
f)(-2)(-2) ( Proposio e Falsa)
g)3+4>0 ( Proposio e Verdadeira)
h)11-4.2 (No Proposio)
A.2 Qual a negao de cada uma das seguintes proposies? Que negaes so verdadeiras?
a)3.7=21
b)3.(11-7)5
c)3.2+1>4
d)5.7-25.6
e)(1/2)<(1/2)
f)2<1
g)-(-4)7
h)3|7
Resposta:
a)p:3.7=21 (Verdadeira)
~p:3.721 (Falsa)
b)p:3.(11-7)5 (Verdadeira)
~p:3.(11-7)=5 (Falsa)
c)p:3.2+1>4 (Verdadeira)
~p:3.2+14 (Falsa)

d)p:5.7-25.6 (Falsa)
~p:5.7-2>5.6 (Verdadeira)
e)p:(1/2)<(1/2) (Verdadeira)
~p:(1/2)(1/2) (Falsa)
f)p:2<1(Falsa)
~p:21 (Verdadeira)
g)p:-(-4)7 (Falsa)
~p:-(-4)<7 (Verdadeiro)
h)p:3 divisor de 7 (Falsa)
~p:3 no divisor de 7 (Verdadeira)
A.3 Classificar em verdadeira ou falsa cada uma das seguintes proposies compostas:
a) 3>1 e 4>2
b) 3>1 ou 3=1
c)2|4 ou 2|(4+1)
d)3(5+2)=3.5+3.2 e 3|7
e)1/2<3/4 ou 5|11
f)(-1)=-1 e 2<(-2)
g)16=6 ou mdc(4,7)=2
Resposta:
a) 3>1 e 4>2
3>1(Verdadeira) e 4>2(Verdadeira) = (Verdadeira)
b) 3>1 ou 3=1
3>1(Verdadeira) ou 3=1(Falsa) = (Verdadeira)
c)2|4 ou 2|(4+1)
2|4(Verdadeira) ou 2|(4+1)(Falsa) = (Verdadeira)
d)3(5+2)=3.5+3.2 e 3|7
3(5+2)=3.5+3.2(Verdadeira) e 3|7(Falsa) = (Falsa)
e)1/2<3/4 ou 5|11
1/2<3/4(Verdadeira) ou 5|11(Falsa) = (Verdadeira)
f)(-1)=-1 e 2<(-2)
(-1)=-1(Falsa) e 2<(-2)(Falsa) = (Falsa)
g)16=6 ou mdc(4,7)=2
16=6(Falsa) ou mdc(4,7)=2 (Falsa) = (Falsa)
A.4 Classificar em verdadeira ou falsa cada uma das proposies abaixo:
a)2-1=15+7=3.4
b)2=4(-2)=4

c)5+7.1=103.3=9
d)mdc(3,6)=14 um nmero primo
e)2|8mmc(2,8)=2
f)626-20
g)3/5<2/73.7=2.5
Resposta:
a)2-1=15+7=3.4
2-1=1(Verdadeira)5+7=3.4(Verdadeira) = (Verdadeira)
b)2=4(-2)=4
2=4(Verdadeira)(-2)=4 (Verdadeira) = (Verdadeira)
c)5+7.1=103.3=9
5+7.1=10(Falsa)3.3=9(Verdadeira) = (Verdadeiro)
d)mdc(3,6)=14 um nmero primo
mdc(3,6)=1(Falsa)4 um nmero primo(Falsa) = (Verdadeira)
e)2|8mmc(2,8)=2
2|8(Verdadeira)mmc(2,8)=2(Falsa) = (Falsa)
f)626-20
62(Falsa)6-20(Verdadeira) = (Verdadeira)
g)3/5<2/73.7=2.5
3/5<2/7(Falsa)3.7=2.5(Falsa) = (Verdadeira)
A.5 Admitindo que p e q so verdadeiras e r falsa, determine o valor (V ou F) de cada proposio
abaixo.
a)pr
b)pq
c)rp
d)(pr)q
e)p(qr)
f)p(qr)
g)~p~q
h)~pr
Resposta:
a)pr (F)
b)pq (V)
c)rp (V)
d)(pr)q (V)
e)p(qr) (F)

f)p(qr) (V)
g)~p~q (V)
h)~pr (V)
A.6 Verificar, atravs das tabelas-verdades, a validade das equivalncias abaixo:
a) da conjuno
pqqp
(pq)rp(qr)
ppp
pvp
pff
b) da disjuno
pqqp
(pq)rp(qr)
ppp
pvv
pfp
c) da conjuno relativamente disjuno
p(qr)(pq)(pr)
p(qr)(pq)(pr)
p(qq)p
p(qq)p
d) da negao
~(~p)p
~(pq)~p~q
~(pq)~p~q
Resposta:
a) da conjuno
pqqp
p q pq

qp

V V

F F
F
F
pq e qp tem o mesmo valor lgico (tabelas iguais) ento pqqp.
(pq)rp(qr)
p q
r
pq

qr

(pq)r

p(qr)

F F
F
F
F
F
F
(pq)r e p(qr) tem o mesmo valor lgico (tabelas iguais) ento (pq)rp(qr).
ppp
P pp
V

F
F
pp e p tem o mesmo valor lgico (tabelas iguais) ento ppp.
pvp
p v pv
V

F F F
pv e p no tem o mesmo valor lgico (tabelas desiguais) ento pvp falso.
pff
p
f

pf

F
F
F
pf e f no tem o mesmo valor lgico (tabelas desiguais) ento pff falso.
b) da disjuno
pqqp
p q pq qp
V

F F
F
F
pq e qp tem o mesmo valor lgico (tabelas iguais) ento pqqp

(pq)rp(qr)
p
q
r
pq

qr

(pq)r p(qr)

F
F
F
F
F
F
F
(pq)r e p(qr) tem o mesmo valor lgico (tabelas iguais) ento (pq)rp(qr).
ppp
p pp
V

F
F
pp e p tem o mesmo valor lgico (tabelas iguais) ento ppp.
pvv
p
v

pv

F
F
F
pv e v no tem o mesmo valor lgico (tabelas desiguais) ento pvv falso.
pfp
p f

pf

F F F
pf e p no tem o mesmo valor lgico (tabelas desiguais) ento pfp falso.

c) da conjuno relativamente disjuno

p(qr)(pq)(pr)
p
q r qr pq pr p(qr) (pq)(pr)
V

F
F F
F
F
F
F
F
p(qr) e (pq)(pr) tem o mesmo valor lgico (tabelas iguais) ento p(qr)(pq)(pr).
p(qr)(pq)(pr)
p
q r qr pq pr p(qr) (pq)(pr)
V

F
F F
F
F
F
F
F
p(qr) e (pq)(pr) tem o mesmo valor lgico (tabelas iguais) ento p(qr)(pq)(pr).
p(qq)p
p q qq p(qq)
V

F F
F
F
p(qq) e p no tem o mesmo valor lgico (tabelas desiguais) ento p(qq)p falso.
p(qq)p
p q qq p(qq)
V F

F V

V V

F F F
F
p(qq) e p no tem o mesmo valor lgico (tabelas desiguais) ento p(qq)p falso.

d) da negao
~(~p)p
p ~p ~(~p)
V F

F V F
~(~p) e p tem o mesmo valor lgico (tabelas iguais) ento ~(~p)p.
~(pq)~p~q
p
q ~p ~q pq p~q ~(pq)

~p~q

F
F
V V
F
V
V
V
~(pq) e ~p~q tem o mesmo valor lgico (tabelas iguais) ento ~(pq)~p~q.
~(pq)~p~q
p q ~p ~q pq ~(pq) ~p~q
V

F F V V
F
V
V
~(pq) e ~p~q tem o mesmo valor lgico (tabelas iguais) ento ~(pq)~p~q.

A.7 Transforme as seguintes sentenas abertas em proposies verdadeiras usando quantificadores:

a)x-5x+4=0
b)(a+1)(a-1)=a-1
c)y/3+y/4y/7
d)m+9m+3
e)-(-x)=x
f)5a+411
g)x=2
h)(a-a)/a=a-1

Respostas:
a)x-5x+4=0
x; x-5x+4=0
b)(a+1)(a-1)=a-1
a; (a+1)(a-1)=a-1

c)y/3+y/4y/7
y; y/3+y/4y/7
d)m+9m+3
m+9m+3
m; m+9m+3
e)-(-x)=x
x=x
x; -(-x)=x
f)5a+411
a(11-4)/5
a7/5
a; 5a+411
g)x=x
x=x
x; x=x
h)(a-a)/a=a-1
(a-a)=a(a-1)
a-a=a-a
a; (a-a)/a=a-1
A.8 Dizer qual a negao de cada proposio abaixo:
a) mdc(2,3)=1 ou mmc(2,3)=6
b)3/5=6/10 ou 3.106.5
c)3/71 e -3-7
d)2=44=2
e)(-3)=99-3
f)2535
g)(x)(x>23x>3)
h)(x)(x<0)
i) Todo nmero inteiro primo impar
j) Todo tringulo issceles equiltero
k) Existe um losango que no quadrado
l) Existe um nmero cuja raiz quadrada zero
m) Todo tringulo que tem trs ngulos congruentes, tem trs lados congruentes
Respostas:
a) pq: mdc(2,3)=1 ou mmc(2,3)=6
~(pq): mdc(2,3)1 e mmc(2,3)=6
b) pq: 3/5=6/10 ou 3.106.5
~(pq): 3/56/10 e 3.10=6.5

c) pq: 3/71 e -3-7

~(pq): 3/7<1 ou -3<-7
d) pq:2=44=2
~(pq):2=442
e) pq:(-3)=99-3
~(pq):(-3)=99=-3
f) pq:2535
~(pq):2>53>5
g) (x)(x>23x>3)
(x)(x>23x<3)
h) (x)(x<0)
(x)(x>0)
i) p: Todo nmero inteiro primo impar.
~p: Existe um nmero inteiro primo que no impar.
j) p: Todo tringulo issceles equiltero .
~p: Existe um tringulo issceles que no equiltero.
k) p: Existe um losango que no quadrado.
~p: Todo losango um quadrado.
l) p: Existe um nmero cuja raiz quadrada zero.
~p: Todo nmero tem raiz quadrada igual a zero.
m) p: Todo tringulo que tem trs ngulos congruentes, tem trs lados congruentes.
~p: Existe um tringulo que tem trs ngulos congruentes, e com trs lados diferentes.
A.9 Classificar em V ou F as negaes construdas no exerccio anterior.
Respostas:
a) ~(pq): mdc(2,3)1 e mmc(2,3)6 (F)
b) ~(pq): 3/56/10 e 3.10=6.5 (F)

c) ~(pq): 3/7<1 ou -3<-7 (V)

d) ~(pq):2=442 (F)
e) ~(pq):(-3)=99=-3 (F)
f) ~(pq):253>5 (F)
g) (x)(x>23x<3) (F)
h) (x)(x>0) (V)
i) ~p: Existe um nmero inteiro primo que no impar. (V)
j) ~p: Existe um tringulo issceles que no equiltero. (V)
k) ~p: Todo losango um quadrado. (F)
l) ~p: Todo nmero tem raiz quadrada igual a zero. (F)
m) ~p: Existe um tringulo que tem trs ngulos congruentes, e com trs lados diferentes. (F)