在谓词公式中,紧接量词以后的最小子公式叫做该量词的辖域或作用域。
查看答案
在一个谓词公式中,同一个变元既可以是约束的,又可以是自由的。
A. 对
B. 错
∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现。
A. 对
B. 错
“苏格拉底三段论”以下命题符号化过程是正确的。设: H(x):x是人; M(x):x是要死的; s:苏格拉底。则推理形式结构为:(∀x)(H(x)∧M(x))∧H(s)→M(s)。
A. 对
B. 错
求线性含源二端网络的入端电阻时,理想电压源视为:
A. 短路
B. 开路
C. 电阻
D. 电源