东南大学薛 晖hxue@seu.edu.cn.pptVIP

经典问题之一 一逻辑学家误入某部落，被囚于牢狱，酋长欲意放行，他对逻辑学家说：“今有两门，一为自由，一为死亡，你可任意开启一门。现从两个战士中选择一人负责解答你所提的任何一个问题（Y/N），其中一个天性诚实，一人说谎成性，今后生死任你选择。”逻辑学家沉思片刻，即向一战士发问，然后开门从容离去。逻辑学家应如何发问？ 经典问题之二 某汽车司机违章驾驶，交警向他宣布处理决定：“要么扣留驾驶执照三个月，要么罚款1000元。”司机说：“我不同意。”如果司机坚持己见，那么，以下哪项实际上是他必须同意的？　　A、扣照但不罚款。　　 B、罚款但不扣照。　 　C、既不罚款也不扣照。　 　D、既罚款又扣照。　 　E、如果做不到既不罚款也不扣照，那么就必须接受既罚款又扣照。 经典问题之二 某汽车司机违章驾驶，交警向他宣布处理决定：“要么扣留驾驶执照三个月，要么罚款1000元。”司机说：“我不同意。”如果司机坚持己见，那么，以下哪项实际上是他必须同意的？　　A、扣照但不罚款。　　 B、罚款但不扣照。　 　C、既不罚款也不扣照。　 　D、既罚款又扣照。　 　E、如果做不到既不罚款也不扣照，那么就必须接受既罚款又扣照。 数理逻辑与计算机 一切能用数理逻辑抽像出来的逻辑问题，全都可以用计算机程序来解决 罗素和怀海德的巨著《数学原理》里给出了很多经典数学定理的证明过程，在若干年以后，书中越来