相关考题
-
单项选择题
定义谓词如下：boy（x）：x是男孩，girl（x）：x是女孩，high（x，y）：x比y高。用谓词逻辑表示下列知识，如果马良是男孩，张红是女孩，则马良比张红长得高。用谓词公式表示为（）。
A.（boy（mal）∧girl（zhangh））→high（mal，zhangh）
B.boy（mal）→high（mal，zhangh）
C.girl（zhangh）→high（mal，zhangh）
D.high（mal，zhangh）→（boy（mal）∧girl（zhangh）） -
单项选择题
定义谓词如下：HIGHER（x，y）：x比y长得高，定义公式father（x）：x的父亲。李某某比他父亲长得高。用谓词公式表示为（）。
A.HIGHER（limm，father（limm））
B.HIGHER（father（limm），limm ）
C.father（limm）
D.以上都不对 -
单项选择题
定义谓词如下：COMPUTER（x）：x是计算机系的学生；LIKE（x，y）：x喜欢y。张某某是一名计算机系的学生，他喜欢编程序。用谓词公式表示为（）。
A.COMPUTER（zhangmm）∧LIKE（zhangmm，programming）
B.COMPUTER（programming）∧LIKE（programming，programming）
C.COMPUTER（zhangmm）or LIKE（zhangmm，programming）
D.以上都不对
