Captulo I

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 ( ):

Termo primitivo um vocbulo cujo significado no

descrito por outros vocbulos.
Definir a ao de descrever o significado de um
vocbulo a partir de outros vocbulos previamente
definidos ou de termos primitivos.
A introduo de novos vocbulos na Cincia ser sempre
feita a partir de termos primitivos ou de definies.
Proposio ou sentena matemtica uma afirmativa a
qual se associa um nico valor: verdadeiro ou falso, que
representaremos respectivamente por 1 ou 0.

pq

2) CONDICIONAL se e somente se ( ):

Axioma uma proposio cuja veracidade assumida

por definio e um Teorema uma proposio cuja
veracidade deve der verrificada por meio de outros axiomas
e teoremas. A matemtica construda por meio de
Axiomas e Teoremas.

pq

DEFINIO: A negao de uma proposio uma

nova proposio cujo valor o oposto da original.

DEFINIO: Tautologia uma proposio que

assume apenas o valor verdadeiro.
Sejam p, q e r proposies, seguem as principais
tautologias:

Ento dada uma proposio p, temos:

p

NEGAO DA NEGAO
1. p p

DEFINIO: conectivo o elemento utilizado para

unir duas proposies.
Os conectivos se dividem em primrios e secundrios.
Sejam p e q duas proposies, ento:
CONECTIVOS PRIMRIOS

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

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;
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

feliz. Traduzir para linguagem corrente as seguintes
proposies:
a) p ~q

p: Paula vai festa.

r: Ricardo vai festa.

q: Quincas vai festa.

s: Sara vai festa.

a) Paula no vai.
b) Paula vai, mas Quincas no vai.

b) ~ p q

c) Se Paula for, ento Quincas tambm ir.

c) q ~p;
02. Sejam as proposies p: O livro interessante e q: O
livro de lgica. Traduzir para linguagem corrente as
seguintes proposies:

d) Paula ir, se Quincas for.

e) Paula ir se e somente se Quincas for.
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

ir.

03. Traduzir para a linguagem simblica, considerando p =

Josefa rica, q = Josefa feliz, r = Josefa
estudante.

l) Se Sara for, ento Ricardo ou Paula iro, e se Sara no

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.

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:

e) Marcos alto ou baixo e elegante

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
7. p: Carlos fala francs e q: Carlos fala ingls e r:
Carlos fala alemo.

f) p v ~q
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.

a) q p

d) falso que Carlos fala ingls ou alemo mas que no

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

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

f) No verdade que Cludio no fala ingls e nem alemo
4.
a) No verdade que Joo no gacho e Jaime no
paulista

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

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

paulista

h) y = 4 ^ (x < y x < 5)

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
b) p ^ ~q
c) ~(~p v q)
d) ~p ^ ~q
e) p v (~p ^ q)
f) ~(~p v ~q)

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.

(E) Se y 2 ento x < 4.

GABARITO:
1. D
2. C
3. D

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