使用通常的謂詞邏輯公式將下列命題符號(hào)化： 1, 有些干部既不是博士也不是黨員（A(x)：x是干部；B(x)：x是
使用通常的謂詞邏輯公式將下列命題符號(hào)化：
1,有些干部既不是博士也不是黨員（A(x)：x是干部；B(x)：x是博士；C(x)：x是黨員）.
2,其他偶數(shù)都比2大（D(x)：x是偶數(shù)；R(x,y)：x比y大；a：2）.
3,有些學(xué)生認(rèn)識(shí)所有的教授（S(x)：x是學(xué)生；R(x,y)：x認(rèn)識(shí)y；P(y)：y是教授）.
4,所有孤竹國(guó)的人民都景仰采薇者伯夷（P(x)：x是孤竹國(guó)的人民；L(x,y)：x景仰y；C(x)：x是采薇者；a：伯夷）.