凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化() A: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∨∀y())→M(y,x)) B: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∧∀y())→M(y,x)) C: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∃x∧∃y())→M(y,x)) D: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。∀x∨∃y()→┐M(x,y)

公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！
公告：维护QQ群：833371870，欢迎加入！

2022-05-27

凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化() A: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∨∀y())→M(y,x)) B: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∧∀y())→M(y,x)) C: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∃x∧∃y())→M(y,x)) D: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。∀x∨∃y()→┐M(x,y)

凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化()
A: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∨∀y())→M(y,x))
B: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∀x∧∀y())→M(y,x))
C: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。┐(∃x∧∃y())→M(y,x))
D: F(x):x是火车。G(x):x是汽车。M(x,y):x比y慢。∀x∨∃y()→┐M(x,y)

答案：

B

举一反三

内容

0
命题“有的人喜欢所有的花”的逻辑符号化表示为？设D：全总个体域，F(x)：x是花，M(x)：x是人，H(x,y)：x喜欢y A: ∀x(M(x)→∀y(F(y)→H(x,y))) B: ∀x(M(x)∧∀y(F(y)→H(x,y))) C: ∃x(M(x)→∀y(F(y)→H(x,y))) D: ∃x(M(x)∧∀y(F(y)→H(x,y)))
1
设D:全总个体域,F(x):x是花,M(x):x是人,H(x,y):x喜欢y,则命题“有的人喜欢所有的花”的逻辑符号化为 A: x(M(x)∧y(F(y)→H(x,y))) B: x(M(x)∧y(F(y)→H(x,y))) C: x(M(x)∧y(F(y)→H(x,y))) D: x(M(x)∧y(F(y)→H(x,y)))
2
$命题“有的人喜欢所有的花”的逻辑符号化表示为？$$设D：全总个体域，F(x)：x是花，M(x) ：x是人，H(x,y)：x喜欢y $ A: $\forall x(M(x) \rightarrow \forall y(F(y) \rightarrow H(x, y))) $ B: $\forall x(M(x) \wedge \forall y(F(y) \rightarrow H(x, y))) $ C: $\exists x(M(x) \rightarrow \forall y(F(y) \rightarrow H(x, y))) $ D: $\exists x(M(x) \wedge \forall y(F(y) \rightarrow H(x, y))) $
3
可以替代条件语句“if（x>y）m=x；elsem=y；”的语句是（） A: m=（x>y）？x：y B: m=（x>y）？y：xjavascript C: m=（x>y）：x？y D: m=（x>y）：y？x
4
以下哪项是前束范式 A: "x"y(F(x) ÙF(y) ®G(y,x)) B: "x (F(x) Ù$y(F(y) ®G(y,x))) C: "x (F(x) Ù F(y) ®$y G(y,x)) D: "x (F(x) Ù "y F(y) ® G(y,x))