使用通常的谓词逻辑公式将下列命题符号化： 1, 有些*既不是博士也不是党员（A(x)：x是*；B(x)：x是
问题描述：
使用通常的谓词逻辑公式将下列命题符号化： 1, 有些*既不是博士也不是党员（A(x)：x是*；B(x)：x是
使用通常的谓词逻辑公式将下列命题符号化：
1,有些*既不是博士也不是党员（A(x)：x是*；B(x)：x是博士；C(x)：x是党员）.
2,其他偶数都比2大（D(x)：x是偶数；R(x,y)：x比y大；a：2）.
3,有些学生认识所有的教授（S(x)：x是学生；R(x,y)：x认识y；P(y)：y是教授）.
4,所有孤竹国的人民都景仰采薇者伯夷（P(x)：x是孤竹国的人民；L(x,y)：x景仰y；C(x)：x是采薇者；a：伯夷）.
答
∀∃∧∨
(1) ∃x ( A(x) ∧ ~B(x) ∧ ~C(x) )
(2) ∀x ( (D(x) ∧ (R(x,a) ∨ R(a,x))) ->R(x,a) )
(3) ∃x∀y ( S(x) ∧ (P(y)->R(x,y)) )
(4) ∀x (C(a) ∧ (P(x)->L(x,a)) )是不是都正确呢？要保证准确无误的是的