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