单项选择题
定义谓词如下：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的父亲。李某某比他父亲长得高。用谓词公式表示为（）。
单项选择题 定义谓词如下：COMPUTER（x）：x是计算机系的学生；LIKE（x，y）：x喜欢y。张某某是一名计算机系的学生，他喜欢编程序。用谓词公式表示为（）。
单项选择题 按知识的作用可把知识划分为（）知识。
