想找几个有一定难度的 关于 谓词逻辑的 标题，越难送分越高
想找几个有一定难度的 关于 谓词逻辑的 题目，越难送分越高。
想找几个有一定难度的 关于 谓词逻辑的 题目，
最好是关于 一阶谓词 逻辑的，
难度越大越好。
谢谢了。[color=#FF0000][/color]
------解决方案--------------------
啥意思，for example？
------解决方案--------------------
题目一：
已知：
(1)所有不贫穷且聪明的人都快乐。
(2)那些看书的人都是聪明的。
(3)李明能看书且不贫穷。
(4)快乐的人过着激动人心的生活。
证明：李明过着激动人心的生活。
题目二：
前提：
1、有五栋五种颜色的房子
2、每一位房子的主人国籍都不同
3、这五个人每人只喝一种饮料，只抽一种牌子的香烟，只养一种宠物
4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料
提示：
1、英国人住在红房子里
2、瑞典人养了一条狗
3、丹麦人喝茶
4、绿房子在白房子左边
5、绿房子主人喝咖啡
6、抽ＰＡＬＬ ＭＡＬＬ烟的人养了一只鸟
7、黄房子主人抽ＤＵＮＨＩＬＬ烟
8、住在中间那间房子的人喝牛奶
9、挪威人住第一间房子
10、抽混合烟的人住在养猫人的旁边
11、养马人住在抽ＤＵＮＨＩＬＬ烟的人旁边
12、抽ＢＬＵＥ ＭＡＳＴＥＲ烟的人喝啤酒
13、德国人抽ＰＲＩＮＣＥ烟
14、挪威人住在蓝房子旁边
15、抽混合烟的人的邻居喝矿泉水
问题：谁养鱼？
------解决方案--------------------
抱歉，发错了，第二题貌似不是关于谓词逻辑的，呵呵。。。
------解决方案--------------------
题目二：
前提：
1、有五栋五种颜色的房子
2、每一位房子的主人国籍都不同
3、这五个人每人只喝一种饮料，只抽一种牌子的香烟，只养一种宠物
4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料
提示：
1、英国人住在红房子里
2、瑞典人养了一条狗
3、丹麦人喝茶
4、绿房子在白房子左边
5、绿房子主人喝咖啡
6、抽ＰＡＬＬ ＭＡＬＬ烟的人养了一只鸟
7、黄房子主人抽ＤＵＮＨＩＬＬ烟
8、住在中间那间房子的人喝牛奶
9、挪威人住第一间房子
10、抽混合烟的人住在养猫人的旁边
11、养马人住在抽ＤＵＮＨＩＬＬ烟的人旁边
12、抽ＢＬＵＥ ＭＡＳＴＥＲ烟的人喝啤酒
13、德国人抽ＰＲＩＮＣＥ烟
14、挪威人住在蓝房子旁边
15、抽混合烟的人的邻居喝矿泉水
问题：谁养鱼？
这题如果不看答案做出来的话，真的挺牛逼的
------解决方案--------------------
谓词
应该是 c++ 里面的函数对象吧，有人翻译为谓词
------解决方案--------------------
------解决方案--------------------
人工智能的谓词逻辑
找本人工智能的书
上面有很多的
------解决方案--------------------
难没有意思，有意思的又不难，真纠结
------解决方案--------------------
这种对特定问题求解有什么意思，想个办法对所有类似问题求解。看下prolog之类的吧。用C++这种低级工具解决低级问题，典型的吃力不讨好，费了半天事，学不到东西又解决不了实际问题。
------解决方案--------------------
不懂呢
------解决方案--------------------
把极限的定义用谓词表示~
------解决方案--------------------
逻辑谓词推理题目：所有会计算机的人都会26个字母；文盲不会26个字母；有的文盲是聪明的；结论：不是所有聪明的人会计算机
------解决方案--------------------
那个第二题是爱因斯坦出的吧，离散数学国外教材上有，我神奇的做出来了。嘿嘿，建议楼主看看那教材，想必会喜欢的，黑色的…
想找几个有一定难度的 关于 谓词逻辑的 题目，
最好是关于 一阶谓词 逻辑的，
难度越大越好。
谢谢了。[color=#FF0000][/color]
------解决方案--------------------
啥意思，for example？
------解决方案--------------------
题目一：
已知：
(1)所有不贫穷且聪明的人都快乐。
(2)那些看书的人都是聪明的。
(3)李明能看书且不贫穷。
(4)快乐的人过着激动人心的生活。
证明：李明过着激动人心的生活。
题目二：
前提：
1、有五栋五种颜色的房子
2、每一位房子的主人国籍都不同
3、这五个人每人只喝一种饮料，只抽一种牌子的香烟，只养一种宠物
4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料
提示：
1、英国人住在红房子里
2、瑞典人养了一条狗
3、丹麦人喝茶
4、绿房子在白房子左边
5、绿房子主人喝咖啡
6、抽ＰＡＬＬ ＭＡＬＬ烟的人养了一只鸟
7、黄房子主人抽ＤＵＮＨＩＬＬ烟
8、住在中间那间房子的人喝牛奶
9、挪威人住第一间房子
10、抽混合烟的人住在养猫人的旁边
11、养马人住在抽ＤＵＮＨＩＬＬ烟的人旁边
12、抽ＢＬＵＥ ＭＡＳＴＥＲ烟的人喝啤酒
13、德国人抽ＰＲＩＮＣＥ烟
14、挪威人住在蓝房子旁边
15、抽混合烟的人的邻居喝矿泉水
问题：谁养鱼？
------解决方案--------------------
抱歉，发错了，第二题貌似不是关于谓词逻辑的，呵呵。。。
------解决方案--------------------
题目二：
前提：
1、有五栋五种颜色的房子
2、每一位房子的主人国籍都不同
3、这五个人每人只喝一种饮料，只抽一种牌子的香烟，只养一种宠物
4、没有人有相同的宠物，抽相同牌子的香烟，喝相同的饮料
提示：
1、英国人住在红房子里
2、瑞典人养了一条狗
3、丹麦人喝茶
4、绿房子在白房子左边
5、绿房子主人喝咖啡
6、抽ＰＡＬＬ ＭＡＬＬ烟的人养了一只鸟
7、黄房子主人抽ＤＵＮＨＩＬＬ烟
8、住在中间那间房子的人喝牛奶
9、挪威人住第一间房子
10、抽混合烟的人住在养猫人的旁边
11、养马人住在抽ＤＵＮＨＩＬＬ烟的人旁边
12、抽ＢＬＵＥ ＭＡＳＴＥＲ烟的人喝啤酒
13、德国人抽ＰＲＩＮＣＥ烟
14、挪威人住在蓝房子旁边
15、抽混合烟的人的邻居喝矿泉水
问题：谁养鱼？
这题如果不看答案做出来的话，真的挺牛逼的
------解决方案--------------------
谓词
应该是 c++ 里面的函数对象吧，有人翻译为谓词
------解决方案--------------------
------解决方案--------------------
人工智能的谓词逻辑
找本人工智能的书
上面有很多的
------解决方案--------------------
难没有意思，有意思的又不难，真纠结
------解决方案--------------------
这种对特定问题求解有什么意思，想个办法对所有类似问题求解。看下prolog之类的吧。用C++这种低级工具解决低级问题，典型的吃力不讨好，费了半天事，学不到东西又解决不了实际问题。
------解决方案--------------------
不懂呢
------解决方案--------------------
把极限的定义用谓词表示~
------解决方案--------------------
逻辑谓词推理题目：所有会计算机的人都会26个字母；文盲不会26个字母；有的文盲是聪明的；结论：不是所有聪明的人会计算机
------解决方案--------------------
那个第二题是爱因斯坦出的吧，离散数学国外教材上有，我神奇的做出来了。嘿嘿，建议楼主看看那教材，想必会喜欢的，黑色的…