等价于以下的一阶谓词演算语句是什么?
每个老师都会被一些学生喜欢
(A) ∀(x)[老师(x)→∃(y)[学生(y)→喜欢(y,x)]]
(B) ∀(x)[老师(x)→∃(y)[学生(y)^喜欢(y,x)]]
(C) ∃(y)∀(x)[老师(x)→[学生(y)^喜欢(y,x)]]
(D) ∀(x)[老师(x)^∃(y)[学生(y)→喜欢(y,x)]]答案：(乙)
解释：答案是 B] 陈述：如果 X 是老师，那么存在一个喜欢 X 的学生 Y。
A] 陈述：如果 X 是老师，那么存在一个 Y，如果 Y 是学生，那么 Y 喜欢 X。
C] 陈述：存在一个喜欢所有老师的学生。
D] 陈述：每个人都是老师，存在一个 Y，如果 Y 是学生，那么 y 喜欢 X。
这个问题的测验