>>177-178
なんか混乱してるな
まあ　おちつけ

まず

　∀x(¬Fx∨Gx)
⇔∀x(Fx⇒Gx)
⇔∀x(¬Gx⇒¬Fx）　（対偶　Contraposition）

だぞ

つまり、⇒を∨の式に変換するとき
⇒について対偶の関係にある式は、
∨では同じ式に変換される