单项选择题 定义谓词如下：boy（x）：x是男孩，girl（x）：x是女孩，high（x，y）：x比y高。用谓词逻辑表示下列知识，如果马良是男孩，张红是女孩，则马良比张红长得高。用谓词公式表示为（）。

单项选择题 定义谓词如下：HIGHER（x，y）：x比y长得高，定义公式father（x）：x的父亲。李某某比他父亲长得高。用谓词公式表示为（）。

单项选择题 定义谓词如下：COMPUTER（x）：x是计算机系的学生；LIKE（x，y）：x喜欢y。张某某是一名计算机系的学生，他喜欢编程序。用谓词公式表示为（）。