证 (r∧-q)→(r∧q)∧(r∧q) 假设:p(→p的矛盾论题) (p∧r)→(r∧q)∧(r∧q) (T∧-q)→(Aq)NAq)r∧-qq∧可T∧qr∧q+s (r∧q)→-s)∧s (r∧-q)=(q∧-r)-(r∧-q)(r∧q) p 上帝不存在 假设:上帝存在p 上帝存在就意味着上帝全能q、全善r(和全智) 那么,就有四种可能的组合:上帝善而不能;能而不善;不善不能; 善而能。而且,世界上有邪恶存在s 但每一种组合都不成立,所以,假设错误,即上帝不存在→p。上帝不存在 假设：上帝存在 p 上帝存在就意味着上帝全能q、全善r（和全智） 那么，就有四种可能的组合：上帝善而不能；能而不善；不善不能； 善而能。而且，世界上有邪恶存在s 但每一种组合都不成立，所以，假设错误，即上帝不存在¬p 。 证 ¬p 假设：p（ ¬p的矛盾论题） p r∧¬q q ∧¬r ¬r ∧¬q r ∧q + s ¬p ¬( r∧¬q) ¬(q ∧¬r) ¬(¬r ∧¬q) ¬( r ∧q) ((r∧¬q) → ¬(r∧q )) ∧ (r∧q ) (( p∧¬r) →¬(r∧q ) )∧( r∧q ) ((¬r ∧¬q) →¬(r∧q ))∧( r∧q ) ((r ∧q) → ¬s )∧s