题目内容

一般来说指明个体性质或指明个体之间关系的是谓词。

A. 对
B. 错

查看答案
更多问题

一般的,把与n个个体相关联的谓词叫做n元谓词。

A. 对
B. 错

通常把不带个体变项的谓词称为0元谓词。

A. 对
B. 错

在全称量词的描述中,特性谓词是条件式的前件,在存在量词中,特性谓词后跟一个合取项。

A. 对
B. 错

“花是红的”可用谓词公式表示如下:设F(x):x是花;G(x):x是红的,则命题符号化为:∀x(F(x)→G(x))。

A. 对
B. 错

答案查题题库