Você está na página 1de 1

Proposição a formalizar Dicionário Formalização

Deus existe. P: Deus existe. P


Deus não existe. P: Deus existe. ¬P
P: Deus existe.
Deus existe e é bom. Q: Deus é bom. PʌQ
P: Deus é perfeito.
Deus é perfeito ou infinito. Q: Deus é infinito. P˅Q
P: Deus é bom.
Q: Deus é vingativo.
Ou Deus é bom ou Deus é vingativo. PvQ
Ou Deus existe ou Deus não existe. P: Deus existe. P˅¬Q
P: Deus existe.
Se Deus não existe, então a vida não tem sentido. Q: A vida tem sentido .¬ P → ¬ Q
P: Deus existe.
Deus existe se, e só se, o ateísmo é falso. Q: O ateísmo é falso. P↔Q

Você também pode gostar