∀xF（x）→∃y（G（x，y）∧H（x，y）（用换名规则）
<==>∀uF（u）→∃y（G（x，y）∧H（x，y）
<==>┐∀uF（u）∨∃y（G（x，y）∧H（x，y）
<==>∃u┐F（u）∨∃y（G（x，y）∧H（x，y）
∃xF（x，y）∧（∃yG（x，y）→∀zH（x，y，z）（用代替规则）
<==>∃xF（x，u）∧（∃yG（v，y）→∀zH（v，w，z））
<==>∃xF（x，u）∧（┐∃yG（v，y）∨∀zH（v，w，z））
<==>∃xF（x，u）∧（∀y┐G（v，y）∨∀zH（v，w，z））
性质1
等式两边同时加上(或减去)同一个整式，等式仍然成立。
若a=b
那么a+c=b+c
性质2
等式两边同时乘或除以同一个不为0的整式，等式仍然成立。
若a=b
那么有a·c=b·c
或a÷c=b÷c （c≠0）
内容全部来源于网络收集，如有侵权，请联系网站删除！
QQ：24596024