(单选题)7: 定义谓词如下：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))
(责任编辑：admin)要这答案加QQ：800020900 或加微信：vq800020900 获取
