相关考题
-
多项选择题
一阶谓词逻辑表示法的优点是（）。
A.严密性
B.自然性
C.通用性
D.以上都对 -
单项选择题
定义谓词如下：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.以上都不对
