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