Baixar o arquivo - Filosofia e Psicologia na ESARS

Exercício
1- Formalize as proposições seguintes:
a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
m)
n)
A terra é um planeta
A terra não é um planeta
A Terra ou é um planeta telúrico ou não telúrico.
A Terra é um planeta telúrico, somente se Júpiter é um planeta gasoso
A Terra é um planeta telúrico se e só se é rochoso
A Terra é um planeta e o Sol uma estrela, embora plutão seja um planeta anão
Não é verdade que a Terra seja uma estrela e o Sol um planeta
Não é verdade que a Terra seja um planeta e o Sol uma estrela, se Plutão é
um planeta anão.
A Terra é um planeta e o Sol uma estrela se e só se Plutão é um planeta anão
A Terra não é um planeta e o Sol não é uma estrela, só se Plutão é um asteróide.
Se a Terra é um planeta, Plutão é um planeta anão, embora nem a Terra
nem Plutão sejam corpos celestes.
Se Júpiter não é um planeta gasoso, é falso que a Terra seja um planeta se e só
se o Sol não é uma estrela.
Se é falso que a Terra seja uma estrela e o Sol um planeta, então a Terra não
é uma estrela ou o Sol não é um planeta
Não nos sentimos bem se não estamos calmos. Se estamos calmos, mas não nos
alimentamos, não nos sentimos bem. Logo, se nos sentimos bem, estamos
alimentados