按照国际管理，商业银行对于企业和个人的信用评定一般分别采用（）。

指出公式中量词的每次出现辖域，并指出变元的每次出现是约束出现，还是自由出现，以及公式的约束变元和自由变元．

对下列谓词公式分别指出哪些是约束变元？哪些是自由变元？并指出各量词的辖域。 (1)(x)(P(x，y)∨(y)(Q(x，y)∧R(x，y))) (2)(z)(y)(P(z，y)∨Q(z，x))∨R(u，v)

对下列谓词公式分别指出哪些是约束变元？哪些是自由变元？并指出各量词的辖域。 (1)(x)(P(x，y)∨(y)(Q(x，y)∧R(x，y))) (2)(z)(y)(P(z，y)∨Q(z，x))∨R(u，v)

指出下列公式的约束变元和自由变元，并指出约束变元受什么量词的约束．

(1)

(2)

(3)

(4)

域内。