这是我在自学数理逻辑的疑问，希望得到解答。谢谢。
如何在论坛中输入量词符号。

"表示全称量词符号，$表示存在量词符号，～表示非。

例三  求 "ｘR（x,z）→ $ｘR（x,z）斯科伦范式

书中解答：
"ｘR（ｘ，ｚ）→ $ｘR（ｘ，ｚ）
1、消去→：$ｘ～ R（ｘ，ｚ）∨$ｘR（ｘ，ｚ）
2、易　字：$ｘ～ R（ｘ，ｚ）∨$ｙR（ｙ，ｚ）
3、将量词前移，再运用概括规则，得到前束范式：
"ｚ$ｘ$ｙ（～ R（ｘ，ｚ）∨R（ｙ，ｚ））
4、构造Ｅ＊公式：
$ｚ（（$ｘ$ｙ（～ R（ｘ，ｚ）∨R（ｙ，ｚ））∧～Ｓｚ）∨"ｕＳｕ）
5、将量词逐步前移，即得到所求的斯科伦范式
$ｚ$ｘ$ｙ"ｕ（（（～ R（ｘ，ｚ）∨R（ｙ，ｚ））∧～Ｓｚ）∨Ｓｕ）
解答完毕

对于这道例题有几个不解：

第一：到了第2步，为何不用该定理公式，Ｅ∨$△Ａ←→$△（Ｅ∨Ａ）。如果用是不是得到下列前束范式。
$ｘ$ｙ（～ R（ｘ，ｚ）∨R（ｙ，ｚ））
由于该前束范式没有在$前出现"，所以该范式可以认为是斯科伦范式。

第二：ｚ是一个自由变元为何在第3步中，加上一个"ｚ，而且位置只能在前面，即"ｚ$ｘ$ｙ。其排列为何不能是这样$ｘ$ｙ"ｚ或者$ｘ"ｚ$ｙ等等。

第三：在第３步中，提到的概括规则是什么？

第四：在第４步中，构造Ｅ＊公式的指导思想是什么？如何构造Ｅ＊公式。

第五：在第５步中，为何Ｅ＊公式中的量词前移后，量词的排列秩序为：$ｚ$ｘ$ｙ"ｕ，能否为：$ｘ$ｚ$ｙ"ｕ或$ｘ$ｙ$ｚ"ｕ或$ｙ$ｚ$ｘ"ｕ等等；同时"ｕ排在最后的理由是什么？