Not both Christianity and Evolution are true - An Argument

1.       If evolution is true, we all share a common ancestor

2.       All our shared common ancestors die

3.       If christianity is true, humans don’t die

[Therefore:  not both Christianity and evolution are true

4.       Assume the negation, both christianity and evolution are true

5.       Christianity is true from 4 simplification

6.       Evolution is true from 4 simplification

7.       It is not the case that humans die from 5 and 3 modus ponens

8.       For all x, x is a shared common ancestor from 6 and 1 modus ponens

9.       Humans share a common ancestor from 8 universal instantiation

10.   If humans share a common ancestor then humans die from 2 universal instantiation

11.   Humans die from 9 and 10 modus ponens, contradicting 7

12.   Not both christianity and evolution can be the case from 4-11 reductio ad absurdum

1.       (E > (x) Sx)

2.       (x)(Sx > Dx)

3.       (C > ~Dh)

[~(C ^. E)

4.       (C ^. E) assume the negation

5.       C from 4 simp

6.       E from 4 simp

7.       ~Dh from 5 and 3 modus ponens

8.       (x)Sx from 6 and 1 modus ponens

9.       Sh from 8 UI

10.   (Sh > Dh) from 2 UI

11.   Dh from 9 and 10 modus ponens, contradicting 7

13.   ~(C ^. E) from 4-11 reductio ad absurdum