题目内容

凡是汽车就比火车慢是不对的。将这一阶逻辑命题符号化()

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)

查看答案

搜索结果不匹配？点我反馈

更多问题

\x.\y.(dog() & own(y, x))()这个例子有几个λ抽象()

A. 0
B. 1
C. 2
D. 3

一阶逻辑命题符号化的三个基本要素()

A. 个体词
B. 谓词
C. 量词
D. 形容词

有的人登上过月球。将这一阶逻辑命题符号化,并讨论真假()

A. M(x):x是人,F(x):x登上过月球。∃(M(x)∧F(x))
B. M(x):x是人,F(x):x登上过月球。∀(M(x)∧F(x))
C. 命题为假
D. 命题为真

要区分助动词需要在特征中添加aux属性,值+表示是助动词()