设B中不含自由变元x,证明下列等值式。

证明：，其中x在A（x)中自由出现，y是一在A（x)中不自由或约束出现的变元。

证明：，其中x在A(x)中自由出现，y是一在A(x)中不自由或约束出现的变元。

证明等值式。

证明：含n个命题变元的不等值的命题公式的个数为。

指出下列表达式中的自由变元和约束变元，并指明量词的辖域。（1) x（P（x)∧Q（x))v（xP（x)→Q（y))；（2)y

指出下列表达式中的自由变元和约束变元，并指明量词的辖域。

(1)x(P(x)∧Q(x))v(xP(x)→Q(y))；

(2)yy((P(x)∧Q(y))→zR(z))；

(3) A(z)→(xyB(x,y,a))。

公式中自由变元为（)约束变元为（).

公式中自由变元为()约束变元为().

对中的自由变元y改名。

设f（x)≥0（a≤x≤b)且证明:

设f(x)≥0(a≤x≤b)且证明:

对中的约束变元x改名。