Escolar Documentos
Profissional Documentos
Cultura Documentos
br
b) ~p q
c) q ~p;
02. Sejam as proposies p: O livro interessante e q: O livro de lgica. Traduzir para linguagem
corrente as seguintes proposies:
a) ~p
b) p q
c) p ~q
d) ~(p q)
e) q ~p;
03. Traduzir para a linguagem simblica, considerando p = Josefa rica, q = Josefa feliz, r = Josefa
estudante.
a) Josefa rica ou infeliz.
b) Se Josefa estudante e rica ento estudante e feliz.
c) Josefa pobre, mas feliz.
d) Josefa pobre e infeliz.
e) Josefa pobre ou rica, mas infeliz.
f) Se Josefa pobre ento feliz.
g) Josefa rica se e somente se no for pobre.
h) Se Josefa estudante ento rica se e somente se feliz.
i) Josefa pobre, infeliz, estudante ou rica.
j) Josefa estuda, mas feliz se e somente no for pobre.
04. Indicar as proposies simples abaixo por letras minsculas e traduzir as sentenas para notao
simblica:
a) Se Janet vencer ou perder, ela estar cansada;
Exemplo: p: Janet vence, q: Janet perde, t: Janet est cansada;
Notao simblica: (p q) t;
b) Ou vai chover ou vai nevar, mas no ambos;
c) Se os preos subirem, as construes ficaro mais caras, mas se as construes no forem caras,
elas sero muitas;
d) Ou Janet ir vencer ou, se perder, ficar cansada;
a) Paula no vai.
b) Paula vai, mas Quincas no vai.
c) Se Paula for, ento Quincas tambm ir.
d) Paula ir, se Quincas for.
e) Paula ir se e somente se Quincas for.
f) Nem Paula nem Quincas iro.
g) Paula e Quincas no iro.
h) Paula no ir, se Quincas for.
i) Se Ricardo for, ento se Paula no for, Quincas ir.
j) Se nem Ricardo nem Quincas forem, ento Paula ir.
k) Se Ricardo ou Quincas forem, ento Paula ir e Sara no ir.
l) Se Sara for, ento Ricardo ou Paula iro, e se Sara no for, ento Paula e Quincas iro.
www.matematiques.com.br
b) p ^ q
c) p v q
i) p ^ ~q p
d) q p
e) p ~q
f) p v ~q
g) ~p ^ ~q
b) p v ~q
c) q ~p
d) ~p q
e) ~~p
f) ~p ^ q p
e) ~~p
f) ~(~p ^ ~q)
b) p ^ q
c) p ^ ~q
d) ~p ^ ~q
b) ~~p
c) ~(~p v ~q)
d) p ~q
e) ~p ~q f) ~(~q p)
b) x 0 e y 0
d) x2 = x . x ou x0 = 1
9. a) (x + y = 0 e z > 0) ou z = 0
b) x = 0 e (y + z > x ou z = 0)
c) x 0 ou (x = 0 e y < 0 e z = 0)
10. a) Se x > 0 ento y = 2
b) Se x + y = 2 ento z > 0
c) x = 1 ou z = 2 ento y > 1
d) Se z > 5 ento x 1 e x 2
e) Se x y ento x + z > 5 e y + z < 5
f) Se x + y > z e z = 1 ento x + y > 1
g) Se x < 2 ento x = 1 ou x = 0
h) Se y = 4 e se x < y ento x < 5
www.matematiques.com.br
Gabarito:
1.
No est frio
Est frio e est chovendo
Est frio ou est chovendo
Est chovendo se e somente se est frio
Se est frio, ento no est chovendo
Est frio ou no est chovendo
No est frio e no est chovendo
Est frio se e somente se no est chovendo
Se est frio e no est chovendo, ento est frio
2.
a) Se Carlos feliz, ento Jorge rico
b) Jorge rico ou Carlos no feliz
c) Carlos feliz se e somente se Jorge no rico
d) Se Jorge no rico, ento Carlos feliz
e) No verdade que Jorge no rico
f) Se Jorge no rico, e Carlos feliz, ento Jorge rico
3.
a) Cludio fala alemo ou ingls
b) Cludio fala ingls e alemo
c) Cludio fala ingls, mas no alemo
d) No verdade que Cludio fala ingls e alemo
e) No verdade que Cludio no fala ingls
f) No verdade que Cludio no fala ingls e nem alemo
4.
a) No verdade que Joo no gacho e Jaime no paulista
b) No verdade que Joo no gacho
c) No verdade que Joo no gacho ou que Jaime no paulista
d) Se Joo no gacho, ento Jaime no paulista
e) Se Joo no gacho se e somente se Jaime no paulista
f) No verdade que, se Jaime no paulista, ento Joo gacho
5.
a) p ^ q
6.
a) ~p ^ q
b) p ^ ~q
b) p v ~q
7.
a) (p v q) ^ ~r
8.
a) x = 0 V x > 0
c) ~(~p v q)
d) ~p ^ ~q
c) ~p ^ ~q
b) (p v q) v ~(p ^ r)
b) x 0 ^ y 0
9.
a) (x + y = 0 ^ z > 0) v z = 0
e) p v (~p ^ q)
f) ~(~p v ~q)
d) (~p v p) ^ ~q
c) ~(p ^ ~r)
d) ~((q v r) ^ ~p)
c) x > 1 v x + y > 0
b) x = 0 ^ (y + z > x v z = 0)
10.
a) x > 0 y = 2
b) x + y = 2 z > 0
e) x y x + z > 5 ^ y + z < 5
g) x < 2 x = 1 v x = 0
d) x2 = x . x v x0 = 1
c) x 0 v (x = 0 ^ y < 0)
c) x = 1 v z = 2 y > 1
d) z > 5 x 1 ^ x 2
f) (x + y > z ^ z = 1) x + y > 1
h) y = 4 ^ (x < y x < 5)