FICHA 3 - EXERCÍCIOS DE LÓGICA PROPOSICIONAL
1. Sejam as proposições:
p : está frio
q : está a chover
Traduzir para a linguagem natural as seguintes proposições:
a) ~p
b) p ^ q
c) p v q
d) q ↔ p
e) p → ~q
f) p v ~q
g) ~p ^ ~q
h) p ↔ ~q
i) p ^ ~q → p
2. Sejam as proposições:
p : Jorge é sábio
q : Carlos é feliz
Traduzir para a linguagem natural as seguintes proposições:
a)
q →
p
b)
~~p
c)
~(~p ^
~q)
3. Construir
a tabela-verdade para a proposição: p v
~q
4. Sejam
as proposições:
p
: Joana é rica
q
: Joana é feliz
r : Joana é culta
Traduzir para linguagem simbólica (lógica)
as seguintes frases:
a)
Joana é pobre, mas é feliz
b)
Joana é rica ou infeliz
c)
Joana é pobre e infeliz
d)
Joana é pobre ou rica, mas é feliz
e)
Se a Joana é culta então não é rica mas
é feliz
Nenhum comentário:
Postar um comentário