通常一元谓词描述客体的性质,而多元谓词刻划客体之间关系。
查看答案
把各个个体域综合起来作为论述范围的域称为全总个体域。
A. 对
B. 错
在使用指定或推广规则时,量词的作用于必须是整个谓词公式,而不是其中的一部分。
A. 对
B. 错
有些命题符号化时,由于语言叙述不同,可能翻译不同,但表达的意思是相同的,即符号化形式可以不止一种,不拘泥形式。例如翻译“每个人都是要喝水的”
A. 对
B. 错
量词的作用域是邻接其后的公式,除非作用域是个原子公式,否则应在公式的两侧插入圆括号。
A. 对
B. 错