使用通常的谓词逻辑公式将下列命题符号化: 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:伯夷).
人气:323 ℃ 时间:2020-06-28 19:52:20
解答
∀∃∧∨
(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)) )是不是都正确呢?要保证准确无误的是的
推荐
- 谓词逻辑的问题:是不是把命题逻辑符号化,就是谓词逻辑?
- 设Q(x):x 是有理数,R(x):x是实数.命题“某些实数是有理数”在谓词逻辑中的符号化公式是
- y=Asin(ωx+φ)+B中各个符号值的求法(A,ω,φ,B求公式)
- 画出与、或、非门的逻辑电路符号并写出他们的表达式
- 求一个直言命题用符号公式表示并进行换质和换位推理[逻辑学相关]
- 张师傅加工一批零件,第一天完成的个数与零件总个数的比是1:3.如果再加工36个,就可以完成这批零件.这批零件共有多少个?
- 数学课外活动时,同学们做了一个游戏:有8个小朋友排成一排,每人写一个数,从第三个小朋友开始,每个人所写
- 鹰击长空,鱼翔浅底,万类霜天竟自由.
猜你喜欢