此題為判斷題(對，錯)。

指出下列公式中的指導變元，量詞的轄域，各個體變項的自由出現和約束出現．

指出下面各式的自由變元和約束變元，并決定量詞的轄域．

指出公式中量詞的每次出現轄域，并指出變元的每次出現是約束出現，還是自由出現，以及公式的約束變元和自由變元．

對下列謂詞公式分別指出哪些是約束變元?哪些是自由變元?并指出各量詞的轄域。 (1)( ?x)(P(x，y)∨(?y)(Q(x，y)∧R(x，y))) (2)( ?z)( ?y)(P(z，y)∨Q(z，x))∨R(u，v)

設個體域試用消去量詞的方式證明:當A(x)中無自由變元,B(y)中無自由變元x時.

指出下面各式的自由變元和約束變元，并決定量詞的轉域：

有人說無法求公式的前束范式，因為公式中的兩個量詞的指導變元相同。他的理由對嗎?為什么?

指出下列公式的約束變元和自由變元，并指出約束變元受什么量詞的約束．

  (1)

  (2)

  (3)

  (4)

將下列各式改名，使白由變元和約束變元不用相同的符號：