凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化() 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)

答案：

查看

举一反三