Formalização




           Exercícios:

           1.  Traduza as seguintes proposições para linguagem proposicional

1.       O Pedro é aluno da Escola Secundária D. João II.
2.       O Pedro é pontual e não gosta de faltar às aulas.
3.       Não é verdade que o Pedro é preguiçoso ou divertido.
4.       O Pedro gosta de matemática ou de filosofia, mas não de ambas.
5.       Se o Pedro gosta de matemática ou de filosofia, então não gosta de história.
6.       O Pedro ganhou o prémio do melhor ensaio de filosofia, a não ser que a Teresa o tenha ganho.
7.     Se o Pedro ou a Teresa tiveram boa nota no teste, e  foi o Pedro que teve boa nota, então não foi a Teresa.
8.     O Pedro gosta da Teresa, se e só se, não gosta da Ana e do Ricardo.
9.     O Pedro e a Ana são alunos da Escola Secundária D. João II, mas só um deles é aluno do 10º ano.
10.   O Pedro e a Ana fizeram um desenho e uma pintura, respetivamente.


            Soluções: aqui


          2. Formalize os seguintes argumentos:

1. Se somos livres, então poderemos agir de modo diferente. As pessoas não podem agir de modo diferente. Logo, as pessoas não são livres.

2. Se somos livres, podemos escolher as nossas ações. Se podemos escolher as nossas ações, então não somos determinados. Portanto, se somos livres, não somos determinados.

3. Se a existência é uma perfeição e Deus por definição tem todas as perfeições, então Deus por definição tem de existir. Mas a existência é uma perfeição. Além disso, é verdade que Deus tem por definição todas as perfeições. Logo, Deus por definição tem de existir.

             Soluções: aqui



Sem comentários:

Enviar um comentário

Related Posts Plugin for WordPress, Blogger...