Formalização e avaliação de argumentos

Lógica proposicional

Actividade 2

Tarefa:
2. Formalize os seguintes argumentos:

2.1          Se for à praia e tomar banho, leio um livro. Sucede que  não leio um livro, portanto não vou à praia e tomo banho.

2.2.             Está a chover, uma vez que se não chovesse as pessoas não estavam molhadas e as pessoas estão molhadas.

2.3.             A Ana não está contente, pois quando tira positiva num teste fica contente e sempre que fica contente canta. Acontece que a Ana não canta.

2.4.             Deus existe ou a Bíblia está errada. Se Deus existe, não existe o mal no mundo. Mas no mundo existe o mal. Daí que a Bíblia esteja errada.

2.5.             Se Deus existe e é bom, então o mal não existe no mundo. Mas se o mal não existe no mundo, o paraíso terrestre existe. Mas será que o paraíso existe na Terra? A verdade é que o paraíso terrestre não existe. Logo, não é verdade que Deus existe e é bom.

2.1    P : «Vou à praia.»;   Q: «Tomo banho.»;  R: «Leio um livro.»

                        (P Ù Q) ® R

                        ~R_______

                        \ ~(P Ù Q)

2.2.               P: «Está a chover.»;    Q: «As pessoas estão molhadas.»

                        ~P ® ~Q

                        Q_______

                        \ P

2.3.               P: «A Ana está contente.»;    Q: «A Ana tira positiva.»;   «A Ana canta.»

                        Q ® P

                        P ® R

                        ~R___

                        \ ~Q

2.4.               P: «Deus existe.»;   Q: «A Bíblia está errada.»;  R: «O mal existe.»

                        P Ú Q

                        P ® ~R

                        R___

\ Q

2.5.               P: «Deus existe.»;      Q: «Deus é bom.»;   R: «O mal existe no mundo.»;    S: «O paraíso terrestre existe.»

(P Ù Q) ® ~R

~R ® S

~S_________

\~(P Ù Q)