∀x P(x)∧∃yQ(x,y)整个谓词公式中只有一个量词。∀x的辖域为P(x),P(x)中的x和Q(x,y) 中的y是约束出现,Q(x,y)中的x是自由出现。
查看答案
“苏格拉底三段论”以下命题符号化过程是正确的。设: H(x):x是人; M(x):x是要死的; s:苏格拉底。则推理形式结构为:(∀x)(H(x)∧M(x))∧H(s)→M(s)。
A. 对
B. 错
求线性含源二端网络的入端电阻时,理想电压源视为:
A. 短路
B. 开路
C. 电阻
D. 电源
求线性含源二端网络的入端电阻时,理想电流源视为:
A. 短路
B. 电阻
C. 开路
D. 电源
若电源内阻为R0,负载为RL,那么负载从电源获得最大功率的条件是:
A. R0=0
B. RL= 0.25R0
C. RL= 4R0
D. RL= R0