简答题

在谓词演算中，P（a）是∀xP（x）的有效结论，根据是下面4个中的哪一个？
（1）US规则
（2）UG规则
（3）ES规则
（4）EG规则

下图给出了三个偏序集的次序图，其中哪些构成格？ 点击查看答案

设L（x）：x是演员，J（y）：y是教师，A（x，y）：x佩服y，那么命题“所有演员都佩服某些教师”可符号化为（）

A.∀xL（x）→A（x，y）
B.∀x（L（x）→∃y（J（y）∧A（x，y）））
C.∀x∃y（L（x）∧J（y）∧A（x，y））
D.∀x∃y（L（x）∧J（y）→A（x，y））

点击查看答案&解析