趣味逻辑推理.docx

----
1 / 5
动手的问题
下面三个问题都需要用计算机编程实现。〔难度逐渐加大〕
首先作如下约定：
输入的命题变元用小写字母表示，如p、q、r、s、t
计算机中命题连接词否认连接词、合取连接词、析取连接词、蕴含连接词和等价----
1 / 5
动手的问题
下面三个问题都需要用计算机编程实现。〔难度逐渐加大〕
首先作如下约定：
输入的命题变元用小写字母表示，如p、q、r、s、t
计算机中命题连接词否认连接词、合取连接词、析取连接词、蕴含连接词和等价连
接词分别用!、&、|(键盘上回车上面右方括号按键右边那个按键上档的符号)、-和+表示。
根据以上约定，一个命题公式的例如如下：!p&q即
题目：
。难度系数：
例如输入公式!p+q，程序应该显示肯定的答复(中文，英文皆可)；输入q!&p，程序应
该返回否认的结果。
、矛盾式或者非重言可满足式。〔参考
阅读文章“命题公式真值表的生成算法〞〕难度系数：
例如输入公式!p+q，程序应该返回为非重言可满足式；输入p-(q-p),程序应该返回重言
式，输入p&!p，程序应该返回矛盾式。
。(参考阅读文章“命题逻
辑等值演算的计算机实现〞)难度系数：
思考问题
趣味逻辑问题
大华正在凝望一幅照片。有人问他﹕「照片中的人是谁？」大华答复说﹕「我没有兄弟姊妹，但这个
人的父亲是我父亲的儿子。」那么，大华望着谁的照片？
发生了一宗劫案，事主损失沉重，劫匪驾驶一辆货车逃走了。你只知道，(1)除了疑犯A，B和C之外，
不会有其他人牵涉在内﹔(2)没有A的陪同，C是不会单独犯案的﹔(3)B是不懂驾驶的。如此看来，
A有没有罪？
----
假设有一座小镇，(1)镇上每个人头发的数目都不同﹔(2)没有人有409根头发﹔(3)镇的人口比镇里
任何一人头发的数目多。问题是，镇上有多少人？
下面两个重点思考:
如何采用数理逻辑的方法求解:
一个很特别的岛屿只住了君子和流氓。君子只讲真话，从不说谎﹔但相反流氓的说话没有一句是真确
的。
有天你遇到两个岛民，大明和小明。大明说小明是流氓，而小明却告诉你﹕「我和大明都不是流氓。」
你可以分出谁是君子，谁是流氓吗？
如上面的情况一样，你在这个只住了君子和流氓的岛上探访，刚好遇到三个岛民，冬瓜、南瓜和西瓜。
冬瓜声称南瓜和西瓜是同一种人﹔