题目内容

要证明C是一组前提A1，A2，…，An 的有效结论，只需证明A1∧A2∧…∧An→C为重言式。

A. 对
B. 错

查看答案

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

更多问题

个体，它是指可以独立存在的对象，它可以是一个具体事物，也可以是一个抽象的概念。

A. 对
B. 错

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

A. 对
B. 错

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

A. 对
B. 错

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

A. 对
B. 错