在谓词逻辑下 对语句“没有白色的乌鸦。”符号化。
已帮助 人
回答
共1条回复-
设P(x)：x所不欲，Q(x)：x勿施于人，R(x)：x为人． (R(x)→P(x)∧Q(x))．$设P(x)：鱼某人所欲也，Q(x)：熊掌亦某人所欲也，a：我． P(a)∧Q(a)．$设P(x，y)：x为y，R(x)：x是人，a：我． (R(x)→P(x，a)∧P(a，x))．$设P(x，y)：x犯y，R(x)：x是人，a：我． (R(x)→(￢P(x，a)→￢P(a，x)))．$设C(z)：x是猫，W(x)：x是白的，B(x)：x是黑的，P(x，y)：x逮住y，G(x)：x是好的，M(y)：y是老鼠． (C(x)∧(W(x)∨B(x))→ (M(y)∧P(x，y))→(G(x)∧C(x)))．$设R(x)：x是实数，＞(x 2 ，y)表示x 2 ＞y，=(x 2 ，y)表示x 2 =y． (R(x)→(x 2 ，0)∨=(x 2 ，0))．$设P(x)：x是一个点，L(x)：x是一条直线，R(x，y，z)：z通过x和y，E(x，y):x=y． ((P(x)∧P(y)∧￢E(x，y))→￢z(L(z)∧R(x，y，z))∧ (R(x，y，w)→w=z))．$设F(x，a，b):x是在[a，b]上连续的函数，P(x，a，b):x是在[a，b]上一致连续的函数． (F(x，a，b)→P(x，a，b))．$设P(x，y，z)：x亲自将y授予z，G(x):x是金质的，R(x):x是一枚奖章，C(x):x是我国运动员，a是国际奥委会主席，b是邓亚萍，g是那个物件． P(a，g，b)∧R(g)∧G(g)∧C(b)．$设P(x):x是三角形，Q(x):x内角之和是180°． (P(x)→Q(x))．