CAPTULO I LGICA
CONSTRUO AXIOMTICA DA CINCIA
A linguagem da Cincia construda a partir Termos
primitivos e Definies.
0
0
CONECTIVOS SECUNDRIOS
1) CONDICIONAL se ento ( ):
pq
2) CONDICIONAL se e somente se ( ):
pq
NEGAO DA NEGAO
1. p p
2. p q q p
3. p q q p
ASSOCIATIVIDADE DO E DO
1) CONECTIVO e ( ):
4. p ( q r ) ( p q ) r
5. p ( q r ) ( p q ) r
pq
DISTRIBUTIVIDADE
6. p ( q r ) ( p q ) ( p r )
7. p ( q r ) ( p q ) ( p r )
2) CONECTIVO ou ( ):
COMUTATIVIDADE DO E DO
NEGAO DO E DO
8.
pq
9.
q
p
q
p
p q
p q
IMPLICAO LGICA
10. p q
p q
Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt
Captulo I
11. p q
12.
p
q
EQUIVALNCIA LGICA
13. p q
p q
Exerccios Nivelamento
a) Paula no vai.
b) Paula vai, mas Quincas no vai.
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;
ANOTAES:
Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt
Captulo I
Sejam as proposies p e q, traduzir para a linguagem
simblica as seguintes proposies:
5. p: Marcos alto e q: Marcos elegante.
a) Marcos alto e elegante
c) No verdade que Marcos baixo ou elegante
d) Marcos no nem alto e nem elegante
Sejam as proposies p e q, traduzir para a
linguagem corrente as seguintes proposies:
a) ~p
b) p ^ q
c) p v q
d) q p
e) p ~q
7. p: Carlos fala francs e q: Carlos fala ingls e r:
Carlos fala alemo.
f) p v ~q
g) ~p ^ ~q
h) p ~q
i) p ^ ~q p
b) p v ~q
c) q ~p
8. a) x = 0 ou x > 0
b) x 0 e y 0
d) ~p q
c) x > 1 ou x + y > 0
d) x2 = x . x ou x0 = 1
e) ~~p
f) ~p ^ q p
9. a) (x + y = 0 e z > 0) ou z = 0
b) x = 0 e (y + z > x ou z = 0)
a) q v p
c) x 0 ou (x = 0 e y < 0 e z = 0)
b) p ^ q
c) p ^ ~q
d) ~p ^ ~q
b) Se x + y = 2 ento z > 0
e) ~~p
c) x = 1 ou z = 2 ento y > 1
f) ~(~p ^ ~q)
d) Se z > 5 ento x 1 e x 2
a) ~(~p ^ ~q)
b) ~~p
g) Se x < 2 ento x = 1 ou x = 0
c) ~(~p v ~q)
d) p ~q
e) ~p ~q f) ~(~q p)
GABARITO:
1.
No est frio
Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt
Captulo I
Est frio e est chovendo
b) p v ~q
c) ~p ^ ~q
d) (~p v p) ^ ~q
7.
a) (p v q) ^ ~r
b) (p v q) v ~(p ^ r)
c) ~(p ^ ~r)
d) ~((q v r) ^ ~p)
2.
8.
a) x = 0 V x > 0
b) x 0 ^ y 0
c) x > 1 v x + y > 0
d) x2 = x . x v x0 = 1
9.
a) (x + y = 0 ^ z > 0) v z = 0
3.
b) x = 0 ^ (y + z > x v z = 0)
c) x 0 v (x = 0 ^ y < 0)
10.
a) x > 0 y = 2
b) x + y = 2 z > 0
c) x = 1 v z = 2 y > 1
d) z > 5 x 1 ^ x 2
e) x y x + z > 5 ^ y + z < 5
f) (x + y > z ^ z = 1) x + y > 1
g) x < 2 x = 1 v x = 0
h) y = 4 ^ (x < y x < 5)
ESCOLA NAVAL
1. (EN 1998) Considere a proposio: Se x > 5 ento y =
6. A proposio equivalente
(A) Se x < 5 ento y 6
(B) Se y 6 ento x < 5
(C) Se y > 5 ento x = 5
(D) Se y 6 ento x 5
(E) Se x 5 ento y 6
2. (EN 1994) A negao da proposio: x 3 e y < 2, :
(A) x = 3 e y 2
(B) x = 3 e y > 2
(C) x = 3 ou y 2
(D) x 2 e y < 3
(E) x 3 ou y < 2
6.
a) ~p ^ q
4
Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt
Captulo I
3. (EN 1992) Sabe-se que se x > 4 ento y = 2. Podemos
da concluir que:
(A) Se x < 4 ento y 2.
(B) Se x 4 ento y 2.
(C) Se y = 2 ento x > 4.
(D) Se y 2 ento x 4.
Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt