Captulo I

CAPTULO I LGICA 0 0 0
CONSTRUO AXIOMTICA DA CINCIA CONECTIVOS SECUNDRIOS
A linguagem da Cincia construda a partir Termos
1) CONDICIONAL se ento ( ):
primitivos e Definies.
Termo primitivo um vocbulo cujo significado no
descrito por outros vocbulos. p q pq

Definir a ao de descrever o significado de um 1 1 1

vocbulo a partir de outros vocbulos previamente 1 0 0
definidos ou de termos primitivos.
0 1 1
A introduo de novos vocbulos na Cincia ser sempre
feita a partir de termos primitivos ou de definies. 0 0 1

Proposio ou sentena matemtica uma afirmativa a

2) CONDICIONAL se e somente se ( ):
qual se associa um nico valor: verdadeiro ou falso, que
representaremos respectivamente por 1 ou 0.
Axioma uma proposio cuja veracidade assumida p q pq
por definio e um Teorema uma proposio cuja 1 1 1
veracidade deve der verrificada por meio de outros axiomas
e teoremas. A matemtica construda por meio de 1 0 0
Axiomas e Teoremas. 0 1 0
DEFINIO: A negao de uma proposio uma 0 0 1
nova proposio cujo valor o oposto da original.
Ento dada uma proposio p, temos: DEFINIO: Tautologia uma proposio que
assume apenas o valor verdadeiro.
p p Sejam p, q e r proposies, seguem as principais
tautologias:
0 1
1 0 NEGAO DA NEGAO
1. p p
DEFINIO: conectivo o elemento utilizado para
unir duas proposies. COMUTATIVIDADE DO E DO
Os conectivos se dividem em primrios e secundrios. 2. p q q p
Sejam p e q duas proposies, ento: 3. p q q p
CONECTIVOS PRIMRIOS
ASSOCIATIVIDADE DO E DO
1) CONECTIVO e ( ):
4. p ( q r ) ( p q ) r
5. p ( q r ) ( p q ) r
p q pq
1 1 1 DISTRIBUTIVIDADE
1 0 0 6. p ( q r ) ( p q ) ( p r )
0 1 0 7. p ( q r ) ( p q ) ( p r )
0 0 0
NEGAO DO E DO
2) CONECTIVO ou ( ): q
p p q
8.
q
p p q
9.
p q pq
1 1 1
IMPLICAO LGICA
1 0 1
10. p q p q
0 1 1

4 Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt
 Captulo I

11. p q q p f) Se Josefa pobre ento feliz.

p
q q g) Josefa rica se e somente se no for pobre.
12. p
h) Se Josefa estudante ento rica se e somente se feliz.
EQUIVALNCIA LGICA i) Josefa pobre, infeliz, estudante ou rica.
p q j) Josefa estuda, mas feliz se e somente no for pobre.
13. p q
Exerccios Nivelamento
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;
e) Se a quantidade de gua suficiente ento o crescimento
das plantas sadio;
05. Escreva frmulas para as sentenas abaixo utilizando as
seguintes proposies:
01. Sejam as proposies p: Jorge rico e q: Carlos p: Paula vai festa. q: Quincas vai festa.
feliz. Traduzir para linguagem corrente as seguintes r: Ricardo vai festa. s: Sara vai festa.
proposies:
a) Paula no vai.
a) p ~q
b) Paula vai, mas Quincas no vai.
b) ~ p q
c) Se Paula for, ento Quincas tambm ir.
c) q ~p;
d) Paula ir, se Quincas for.
02. Sejam as proposies p: O livro interessante e q: O
livro de lgica. Traduzir para linguagem corrente as e) Paula ir se e somente se Quincas for.
seguintes proposies: f) Nem Paula nem Quincas iro.
a) ~ p g) Paula e Quincas no iro.
b) p q h) Paula no ir, se Quincas for.
c) p ~q i) Se Ricardo for, ento se Paula no for, Quincas ir.
d) ~(p q) j) Se nem Ricardo nem Quincas forem, ento Paula ir.
e) q ~p; k) Se Ricardo ou Quincas forem, ento Paula ir e Sara no
03. Traduzir para a linguagem simblica, considerando p = ir.
Josefa rica, q = Josefa feliz, r = Josefa l) Se Sara for, ento Ricardo ou Paula iro, e se Sara no
estudante. for, ento Paula e Quincas iro.
a) Josefa rica ou infeliz.
b) Se Josefa estudante e rica ento estudante e feliz. ANOTAES:
c) Josefa pobre, mas feliz.
d) Josefa pobre e infeliz.
e) Josefa pobre ou rica, mas infeliz.

4 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
e) Marcos alto ou baixo e elegante
Sejam as proposies p e q, traduzir para a
linguagem corrente as seguintes proposies: f) falso que Marcos baixo ou que no elegante
1. p: Est frio e q: Est Chovendo. 6. p: Suely rica e q: Suely feliz.
a) ~p a) Suely pobre, mas feliz
b) p ^ q b) Suely rica ou infeliz
c) p v q c) Suely pobre e infeliz
d) q p d) Suely pobre ou rica, mas infeliz
e) p ~q
f) p v ~q 7. p: Carlos fala francs e q: Carlos fala ingls e r:
Carlos fala alemo.
g) ~p ^ ~q
a) Carlos fala francs ou ingls, mas no fala alemo
h) p ~q
b) Carlos fala francs e ingls, ou no fala francs e alemo
i) p ^ ~q p
c) falso que Carlos fala francs mas que no fala alemo
2. p: Jorge rico e q: Carlos feliz.
d) falso que Carlos fala ingls ou alemo mas que no
a) q p fala francs
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

3. p: Claudio fala ingls e q: Claudio fala alemo. 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 10. a) Se x > 0 ento y = 2

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

4. p: Joo gacho e q: Jaime paulista. e) Se x y ento x + z > 5 e y + z < 5
a) ~(~p ^ ~q) f) Se x + y > z e z = 1 ento x + y > 1
b) ~~p g) Se x < 2 ento x = 1 ou x = 0
c) ~(~p v ~q) h) Se y = 4 e se x < y ento x < 5
d) p ~q
e) ~p ~q f) ~(~q p) GABARITO:
1.
No est frio

4 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

Est frio ou est chovendo c) ~p ^ ~q
Est chovendo se e somente se est frio d) (~p v p) ^ ~q
Se est frio, ento no est chovendo 7.
Est frio ou no est chovendo a) (p v q) ^ ~r
No est frio e no est chovendo b) (p v q) v ~(p ^ r)
Est frio se e somente se no est chovendo c) ~(p ^ ~r)
Se est frio e no est chovendo, ento est frio d) ~((q v r) ^ ~p)
2. 8.
a) Se Carlos feliz, ento Jorge rico a) x = 0 V x > 0
b) Jorge rico ou Carlos no feliz b) x 0 ^ y 0
c) Carlos feliz se e somente se Jorge no rico c) x > 1 v x + y > 0
d) Se Jorge no rico, ento Carlos feliz d) x2 = x . x v x0 = 1
e) No verdade que Jorge no rico 9.
f) Se Jorge no rico, e Carlos feliz, ento Jorge rico a) (x + y = 0 ^ z > 0) v z = 0
3. b) x = 0 ^ (y + z > x v z = 0)
a) Cludio fala alemo ou ingls c) x 0 v (x = 0 ^ y < 0)
b) Cludio fala ingls e alemo 10.
c) Cludio fala ingls, mas no alemo a) x > 0 y = 2
d) No verdade que Cludio fala ingls e alemo
b) x + y = 2 z > 0
e) No verdade que Cludio no fala ingls
c) x = 1 v z = 2 y > 1
f) No verdade que Cludio no fala ingls e nem alemo
d) z > 5 x 1 ^ x 2
4.
e) x y x + z > 5 ^ y + z < 5
a) No verdade que Joo no gacho e Jaime no
paulista f) (x + y > z ^ z = 1) x + y > 1
b) No verdade que Joo no gacho g) x < 2 x = 1 v x = 0
c) No verdade que Joo no gacho ou que Jaime no h) y = 4 ^ (x < y x < 5)
paulista
d) Se Joo no gacho, ento Jaime no paulista
e) Se Joo no gacho se e somente se Jaime no ESCOLA NAVAL
paulista 1. (EN 1998) Considere a proposio: Se x > 5 ento y =
f) No verdade que, se Jaime no paulista, ento Joo 6. A proposio equivalente
gacho (A) Se x < 5 ento y 6
(B) Se y 6 ento x < 5
5. (C) Se y > 5 ento x = 5
a) p ^ q (D) Se y 6 ento x 5
(E) Se x 5 ento y 6
b) p ^ ~q
c) ~(~p v q) 2. (EN 1994) A negao da proposio: x 3 e y < 2, :
(A) x = 3 e y 2
d) ~p ^ ~q (B) x = 3 e y > 2
e) p v (~p ^ q) (C) x = 3 ou y 2
(D) x 2 e y < 3
f) ~(~p v ~q) (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 (E) Se y 2 ento x < 4.
da concluir que:
GABARITO:
(A) Se x < 4 ento y 2.
(B) Se x 4 ento y 2. 1. D
(C) Se y = 2 ento x > 4. 2. C
(D) Se y 2 ento x 4.
3. D

4 Acredite que voc pode, assim voc j est no meio do caminho - Theodore Roosevelt