使用通常的谓词逻辑公式将下列命题符号化: 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, 有些*既不是博士也不是党员(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:伯夷).