mffv

CENTRO UNIVERSTITÁRIO CARIOCA – UNICARIOCA
LÓGICA MATEMÁTICA – PROF. JÚLIO SILVEIRA
LISTA DE EXERCÍCIOS (ALGUNS COM RESPOSTA)
1) Classificar as proposições a seguir como: atômicas, negação, conjunção, disjunção, implicação, ou biimplicação. Para as proposições compostas, indique suas componentes.
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)

Carlos não tem dinheiro e namorada
Carlos não tem dinheiro nem namorada
Carlos não tem dinheiro mas tem namorada
Carlos tem namorada, Pedro não
Carlos tem dinheiro ou namorada
Carlos não tem namorada, nem Pedro
Carlos e Pedro não têm namorada
É falso que Carlos e Pedro têm namorada
Carlos tem namorada mas não é feliz
Não é verdade que Carlos ou Pedro tenham namorada
Carlos tem namorada somente se é feliz

l) Se Carlos não tem dinheiro e namorada então não é feliz
m) Se Carlos não tem dinheiro mas tem namorada então ele não é feliz
n) Se Carlos não tem dinheiro nem namorada então não é feliz
o) Carlos é feliz somente se tem dinheiro ou namorada
p) Carlos é feliz quando tem dinheiro ou namorada
q) Carlos é feliz e rico somente se tem namorada
r) Carlos é feliz, e se é rico então tem namorada
s) Se Carlos não é rico então não é feliz
t) Não é verdade que se Carlos é rico então não é feliz
u) Carlos tem dinheiro se e somente se não é rico e feliz

Para as questões 2) , 3), 4), 5) e 6) considere as proposições simples: d: Carlos tem dinheiro, n: Carlos tem namorada, p: Pedro tem namorada, f: Carlos é feliz, r: Carlos é rico.
2) Traduzir as proposição da questão 1) para linguagem simbólica (NÃO USE parênteses desnecessários).
3) Para cada uma das proposições compostas a seguir
i. Determinar qual o seu tipo: negação, conjunção, disjunção,implicação ou biimplicação; e ii. Traduzir para linguagem corrente. d∨n ~d ∧ f
~(d ∨ n) d∨n→f ~d ∧ n ↔ f
~(d ∧ n) → f
~d ∧ n → f
~d ∧ ~n → f
~(d ∧ n → f)
~d ∧ (n → f)

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)

i.
i.
i.
i.
i.
i.
i.
i.
i.
i.