学堂在线西南科技大学数理逻辑(2021秋)单元测验题答案
- 设个体域为整数集,则“$y"x(x-y=0)”公式的意义是( )。 A对任一整数 2022-01-12
- 设M(x):x是人。C(x):x喜欢玩游戏。则“尽管有人喜欢玩游戏,但未必一切人都喜欢玩游 2022-01-12
- 令F(x):x是火车, G(x):x是卡车, L(x,y):x快于y,则“有的火车快于有的卡车”可 2022-01-12
- “所有人都爱看电影是不对的”可符号化为:┐"x(F(x)→G(x)) 其中,F(x):x是人,G( 2022-01-12
- 设H(x):x是人,G(x):x爱美,则“人都爱美”,可以符号化为:"x (H(x) ÙG(x)) 。 2022-01-12
- 设H(x):x是人,G(x):x沉迷于游戏,则“有人沉迷于游戏” ,可以符号化为:$x (H(x)ÙG 2022-01-12
- 设a:中国,W(x):x位于亚洲, “中国位于亚洲”,可以符号化为:W( ) 2022-01-12
- 而用以刻划客体的性质或客体之间的关系即是谓词。 () 2022-01-12
- 谓词逻辑中,原子命题是最小单位。 () 2022-01-12
- 以下推理过程是正确的。( ) (1) Øp P规则 (2) r®p 2022-01-12
- 以下推理过程是正确的。( ) (1) p P规则 (2) p®(Øq®r) P 2022-01-12
- “如果今天下雨,我将呆在家里;我今天没有呆在家里,所以今天没有下雨” ,这是一 2022-01-12
- “我选修了数理逻辑和离散数学,因此我选修了数理逻辑” ,这是一个有效推理。 2022-01-12
- 直接证明法H Þ P→S与H∧P Þ S(附加结论引入)等价。 2022-01-12
- (A → B)∧ (C → D) ∧(┐B ∨ ┐D) ⇒( ┐A ∨ ┐C )是正确的。 2022-01-12
- (A → B)∧┐B ⇒ A是正确的。 2022-01-12
- A ⇒ A∧B 是正确的。 () 2022-01-12
- 如果推理是有效的话,那么推理的前提都为真时,结论可能为假。 () 2022-01-12
- 推理有效,指的是推理的结论是前提的合乎逻辑的结果。 () 2022-01-12
- G→ H 的结果不是命题公式。 2022-01-12
- 若GÛH,则有 G⇒H且 H⇒G 2022-01-12
- 若G⇒H,则蕴涵式 G → H 是重言式。 () 2022-01-12
- 下列表达公式之间的关系错误的是( ) A┐(P→Q)⇒P BP⇒P∧Q CP∧Q⇒P∨Q DP 2022-01-12
- 下列表达公式之间的关系正确的是( ) A┐Q⇒Q→P B┐Q⇒P→Q CP⇒P→Q DP→( 2022-01-12
- 设P1,P2,…,Pn是不同的命题变元,关于P1,P2,…,Pn的极小项是简单合取式,但简单合取式 2022-01-12