Ensino Superior

Lgica Matemtica e Computacional

1.3 Proposies Simples e Compostas

Amintas Paiva Afonso

PROPOSIES SIMPLES OU ATMICAS

PROPOSIO SIMPLES (TOMOS)

Proposio NO contm nenhuma outra
proposio como parte integrante
de si mesmo.
Minha casa grande.
Seus olhos so azuis.
Est calor.

PROPOSIES SIMPLES OU ATMICAS

PROPOSIO SIMPLES (TOMOS)
So designadas pelas letras latinas
minsculas p,q,r,s,...,
chamadas letras proposicionais.
p: Minha casa grande.
q: Seus olhos so azuis.
r: Est calor.

PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIAO COMPOSTA (MOLCULAS)

Formada pela combinao de 2 ou mais
PROPOSIES.
Minha casa grande e meu carro azul.
Seus olhos so azuis ou verdes.
Se est calor, ento vero.

PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIO COMPOSTA (MOLCULAS)

So designadas pelas letras latinas
maisculas P,Q,R,S,...,
chamadas letras proposicionais.
P: Minha casa grande e meu carro azul.
Q: Seus olhos so azuis ou verdes.
R: Se est calor, ento vero.

PROPOSIES COMPOSTAS OU MOLECULARES

PROPOSIO COMPOSTA (MOLCULAS)

Tambm chamadas de
frmulas proposicionais ou frmulas.
Notao:
P(q,r,s) significa que P
uma proposio composta das
proposies atmicas q,r e s.

Os smbolos da Linguagem do
Clculo Proposicional
VARIVEIS PROPOSICIONAIS SIMPLES E COMPOSTAS
Proposies Simples: letras minsculas p, q, r, s,....
Ex: A lua quadrada: p
A neve branca: q
Proposies Compostas: letras maisculas P, Q, R, S,....
Ex: Carlos estudante e Pedro Careca: P
Se Andr mdico ento sabe biologia: Q
P (p, q, r, ...) indica que a proposio composta P combinao das
proposies simples p, q, r, ...
O valor lgico de uma proposio simples p indica-se por V(p) e o de
uma proposio composta P por V(P).

Conectivos Lgicos
Termos usados para formar novas
proposies a partir de outras.
EE
SE...
SE...
ENTO...
ENTO...

OU
OU

NO
NO
...SE
...SE EE
SOMENTE
SOMENTE SE...
SE...

Conectivos Lgicos
CONECTIVO Exemplos:
P: Minha casa grande e meu carro azul.
Q: Seus olhos so azuis ou verdes.
R: Se est calor ento vero.
S: No est chovendo.
T: O tringulo equiltero se e
somente se equingulo.

Operadores Lgicos
Assim como operamos com nmeros, as
proposies tambm podem ser operadas
utilizando os operadores lgicos. So eles:
Conjuno - E (^)
Disjuno - Ou (v)
Condicional - Se ... ento ()
Bi-condicional - Se e s se ()

Conectivos Lgicos

Exemplos
A lua quadrada e a neve branca.
p q (p e q so chamados conjunctos)
A lua quadrada ou a neve branca.
p q (p e q so chamados disjunctos)
Se a lua quadrada ento a neve branca.
p q (p o antecedente e q o consequente)
A lua quadrada se e somente se a neve branca.: p q
A lua no quadrada.: ~p

Outros Exemplos
Pedro estudante e Carlos professor.
p q (p e q so chamados conjunctos)
O tringulo ABC retngulo ou issceles.
p q (p e q so chamados disjunctos)
Se Roberto engenheiro ento sabe matemtica.
p q (p o antecedente e q o conseqente)
O tringulo ABC equiltero se e somente se tem os trs
lados iguais.: p q
No tenho carro.: ~p

Smbolos Auxiliares
( ), servem para denotar o "alcance" dos conectivos.
Exemplos: p: a lua quadrada e q: a neve branca
Se a lua quadrada e a neve branca ento a lua no
quadrada.:
((p q) ~p)
A lua no quadrada se e somente se a neve
branca.:
((~p) q))

Definio de Frmula
1.

Toda frmula atmica uma frmula.

2.

Se A e B so frmulas ento (A B), (A B), (A B),

(A B) e (~ A) tambm so frmulas.

3.

So frmulas apenas as obtidas por 1. e 2..

Os parnteses sero usados segundo a seguinte ordem dos conectivos:

~, , , , .

Com o mesmo conectivo adotaremos a conveno pela direita.

Exemplo: a frmula p q ~ r p ~ q deve ser entendida
como
(((p q) (~ r)) ( p (~ q)))

Negao (~)
Chama-se negao de uma proposio p a proposio representada por no p cujo valor
lgico a verdade (v) se p falsa e a falsidade (f) se p verdadeira. Simbolicamente: ~p.

Dada uma proposio p, sua negao ser denotada por

~p (no p).
Se p verdadeira ento ~ p ser falsa e vice versa.
Ex: p = Bia est usando tnis preto.
~p = Bia no est usando tnis preto.

p = Esta frase possui cinco palavras.

~p = Esta frase no possui cinco palavras.

Sejam as proposies p e q, traduzir para a

linguagem corrente as seguintes proposies:
1. p: Est frio e q: Est Chovendo.
a) ~p
b) p ^ q
c) p v q
f) p v ~q g) ~p ^ ~q h) p ~q
2. p: Jorge rico e q: Carlos feliz.
a) q p b) p v ~q c) q ~p
f) ~p ^ q p

d) q p
e) p ~q
i) p ^ ~q p
d) ~p q

e) ~~p

3. p: Claudio fala ingls e q: Claudio fala alemo.

a) q v p
b) p ^ q
c) p ^ ~q
d) ~p ^ ~q
f) ~(~p ^ ~q)

e) ~~p

4. p: Joo gacho e q: Jaime paulista.

a) ~(~p ^ ~q) b) ~~p c) ~(~p v ~q) d) p ~q
f) ~(~q p)

e) ~p ~q

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

b) Marcos alto, mas no elegante

c) No verdade que Marcos baixo ou elegante
d) Marcos no nem alto e nem elegante
e) Marcos alto ou baixo e elegante
f) falso que Marcos baixo ou que no elegante

Sejam as proposies p e q, traduzir para a

linguagem simblica as seguintes proposies:

6. p: Suely rica e q: Suely feliz.

a) Suely pobre, mas feliz
b) Suely rica ou infeliz
c) Suely pobre e infeliz

d) Suely pobre ou rica, mas infeliz

Sejam as proposies p e q, traduzir para a

linguagem simblica as seguintes proposies:
7. p: Carlos fala francs e q: Carlos fala ingls
e r: Carlos fala alemo.
a) Carlos fala francs ou ingls, mas no fala alemo

b) Carlos fala francs e ingls, ou no fala francs e alemo

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

Traduzir para a linguagem simblica

seguintes proposies matemticas:
8. a) x = 0 ou x > 0
c) x > 1 ou x + y > 0

b) x 0 ou 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)
d) x + y = 0 e z > 0) ou z = 0

as

Traduzir para a linguagem simblica

seguintes proposies matemticas:
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

as

Gabarito
1.
a) No est frio
b) Est frio e est chovendo
c) Est frio ou est chovendo
d) Est chovendo se e somente se est frio
e) Se est frio, ento no est chovendo
f) Est frio ou no est chovendo
g) No est frio e no est chovendo
h) Est frio se e somente se no est chovendo
i) Se est frio e no est chovendo, ento est frio

Gabarito
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

Gabarito
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

Gabarito
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 gacho, ento Jaime no paulista
e) Se Joo no gacho ento Jaime no paulista
f) No verdade que, se Jaime no paulista, ento
Joo gacho

Gabarito
5.
a) p ^ q

b) p ^ ~q

c) ~(~p v q)

d) ~p ^ ~q

e) p v (~p ^ q)

f) ~(~p v ~q)

6.
a) ~p ^ q

b) p v ~q

c) ~p ^ ~q

d) (~p v q) ^ ~q

Gabarito
7.
a) (p v q) ^ ~r

b) (p ^ q) v ~(p ^ r)

c) ~(p ^ ~r)

d) ~((q v r) ^ ~p)

8.
a) x = 0 v x > 0

b) x 0 v y 0

c) x > 1 v x + y > 0

d) x2 = x . x v x0 = 1

Gabarito
9.
a)(x + y = 0 ^ z > 0) v z = 0
b) x = 0 ^ (y + z > x v z = 0)
c) x 0 v (x = 0 ^ y < 0 ^ z = 0)
d) (x + y = 0 ^ z > 0) v z = 0

Gabarito
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)