2

Exercícios de formalização

Formalize em linguagem lógica, com recurso a um dicionário, as seguintes proposições:

1- Deus existe.

2- A vida tem sentido e Deus existe.

3- A vida tem sentido ou Deus existe.

4- Se Deus existe, então a vida não tem sentido.

5- Deus não existe se, e só se, a vida não tem sentido.

6- Se não é verdade que a vida tem sentido, então Deus existe.

7- Não é verdade que se a vida tem sentido, então Deus existe.

8- Deus existe, e se a vida tem sentido, então há entrega ativa a projetos de valor.

9- Se Deus existe e a vida tem sentido, então há entrega ativa a projetos de valor.

10- Se ou Deus existe ou não existe, então a vida tem sentido e há entrega ativa a projetos
de valor.

11- Tanto sucede que Deus existe e a vida tem sentido como sucede que Deus não existe e
a vida tem sentido.

12- Não é o caso que se Deus existe, então a vida tem sentido e há entrega ativa a projetos
de valor.

13- Se Deus não existe, então a vida tem sentido, e há entrega ativa a projetos de valor.

14- Não é verdade que Deus existe e a vida não tem sentido, mas sucede que se Deus não
existe e há entrega ativa a projetos de valor, então a vida tem sentido.

FICHA 2 | Professora: Elisa Matos