如何编写”判断上帝是否存在“这样的逻辑类软件

Question

看到这样一道题目 ：编写一个可以推断出或证明上帝到底存不存在的软件。好像是重在推理，但是写成软件我却一点思路都没有，麻烦那位大侠给点意见，多谢！

Answer 1

我早就写过一个了，其实很简单，向上帝发一封e-mail就行了。

Answer 2

这难道不难：
枚举题
枚举所有情况，像这样的逻辑推理题，可以减去很多很多枝。
给个逻辑题吧：
http://acm.tongji.edu.cn/showproblem.php?problem_id=1130交一次就过。

Answer 3

to VivianSnow() :我这题的全部就是我上面的那句话了，你的意思是输入内容我自己定出来？
to  Eastunfail：能否详细些？
谢谢！

Answer 4

上帝的email地址：[email protected]注意给上帝发email不要用163，yahoo之类的邮箱，否则有可能会被当成垃圾邮件处理掉！切记！

Answer 5

命题：楼主木有小JJif 楼主是MM then 楼主木有小JJ;if Asked(楼主有小JJ？) = 没有 then 楼主木有小JJ;