个矛盾，所以反证法得出这个公式是错的。这个限制适用于证明：如果 GEN 在一个证明中应用于一个公式，从而约束了它的自由变量 "x"，则 DT 不能应用于这个证明中把这个公式移动到十字转门的右侧。注意 "P(x)" 符号化带有自由变量 "x" 的开放陈述，它的真实视 "x" 而定，但是 formula_1 符号化（对于 "x" 的所有值）有效的一个陈述，即使它的变量 "x" 是自由的。GEN 应用于这种有效陈述，约束自由变量并生成 formula_2。所以公式 formula_2 只是陈述已经被