给定谓词如下：S(x):x是学生；L(x):x是校领导；G(x):x是好的；T(x):x是老师；P(x):x受过处分;C(x,y):y表扬x用上述谓词表达下面各个命题，并且用谓词逻辑推理方法证明下面推理的有效性... 给定谓词如下：S(x):x是学生；L(x):x是校领导；
用上述谓词表达下面各个命题，并且用谓词逻辑推理方
法证明下面推理的有效性。
“没有受过处分的学生，都受到过校领导的表扬；有些
好学生，仅仅受到老师的表扬；所有好学生，都没有受
过处分。所以，有的老师是校领导。”
先请同学将上述各个命题符号化，然后推理。

可选中1个或多个下面的关键词，搜索相关资料。也可直接点“搜索资料”搜索整个问题。