“没有免费的午餐”可用谓词公式表示如下：设M(x)：x是午餐；F(x)： x是免费的，则命题符号化为：∀x(M(x)→┐F(x))。
查看答案
在谓词公式中，紧接量词以后的最小子公式叫做该量词的辖域或作用域。
A. 对
B. 错
在一个谓词公式中，同一个变元既可以是约束的，又可以是自由的。
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. 错
微信支付 
支付宝支付