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