Ateistlogik

Då kan du få matematiskt bevis på att Gud inte finns då.

På engelska. Men det tror jag du inte har några problem med.
*
W (x, y) = y is willing to prevent x
A (x, y) = y is able to prevent x
E (x) = x is evil, T(x) = x exists
M (x) = x is malevolent
I (x) = x is impotent

A: If god is not able to prevent evil, then god is impotent.
¬ A (god,evil) -> I (god)

B: If god is unwilling to prevent evil, then god is malevolent.
¬ W (god,evil) -> M (god)

C: If evil exists, god is unwilling to prevent evil or god is unable to prevent evil.
T (evil) -> (¬ A (god,evil) v ¬ W (god,evil))

D: If god exists, he is not malevolent and he is not impotent
T (god) -> (¬ M(god) & ¬ I (god))

*************


1. God exists: T (god)

2. Evil exists: T (evil)

3. By 1 and D, god is not malevolent and he is not impotent:
¬ M (god) & ¬ I (god)

4. By 2 and C, god is unwilling to prevent evil or god is unable to prevent evil:
¬ A (god,evil) v ¬W(god,evil)

5. By 4 and A and B, god is malevolent or god is impotent:
I (god) v M (god)

6. 3 and 5 are a contradiction.

****************
By 6, either 3 is false or 5 is false.

If 3 is false, then 1 is false, then god does not exist:
¬ 3 -> ¬ 1 -> ¬ T (god)

If 5 is false, then 4 is false:
¬ 5 -> ¬ 4

If 4 is false, then 2 is false, then evil does not exist:
¬ 4 -> ¬ 2 -> ¬ T (evil)

***********


Therefore, either evil does not exist or god does not exist.
We cannot conclude that god does not exist unless we presume that if god exists, evil exists:

T (god) -> T (evil)

The contrapositive would then be:
¬ T (evil) -> ¬ T (god) - and thus god would not exist.

Therefore, either evil does not exist or god does not exist.
We cannot conclude that god does not exist unless we presume that if god exists, evil exists:

T (god) -> T (evil)