离散数学这道题怎么解Q：有些学生不相信所有的老师A：S(x)：x是学生，T(x)：x是老师，B(x，y)：x相信y (&

离散数学这道题怎么解
Q：有些学生不相信所有的老师
A：S(x)：x是学生，T(x)：x是老师，B(x，y)：x相信y
(∃x)(S(x)∧∀(y)(T(x)→B(x,y)))
为什么是B(x，y)呢？不是应该是﹁B(x，y)才对吗，题目说的是不相信，为什么写成式子变成相信了？