カリーパラドクスが本質的に解決しました・・

Ａ⇔（Ａ⇒Ｂ）
⇔
（Ａ⇒（Ａ⇒Ｂ））∧（（Ａ⇒Ｂ）⇒Ａ）
⇔
（Ａ⇒Ｂ）∧（（Ａ⇒Ｂ）⇒Ａ）
⇔
（￢Ａ∨Ｂ）∧（（Ａ∧￢Ｂ）∨Ａ）
⇔
（￢Ａ∨Ｂ）∧Ａ
⇔
Ａ∧Ｂ

なのですが、結果がＡ∧Ｂということは、これは別のカリー命題Ｂ⇔（Ｂ⇒Ａ）と同値であることを即座に意味します！ここで私の頭には「Ａ⇒ＢとＢ⇒Ａとが同値だったら面白いことになるな・・」というアイデアが閃（ひらめ）きました・・。

Ａ⇒Ｂ
⇔
（Ａ⇒Ｂ）⇒Ｂ（∵Ａ⇔（Ａ⇒Ｂ））
⇔
（Ａ∧￢Ｂ）∨Ｂ
⇔
Ａ∨Ｂ（∵ベン図を描けば分かりやすい）

また、

Ｂ⇒Ａ
⇔
（Ｂ⇒Ａ）⇒Ａ（∵Ｂ⇔（Ｂ⇒Ａ））
⇔
（Ｂ∧￢Ａ）∨Ａ
⇔
Ａ∨Ｂ

以上より（Ａ⇒Ｂ）⇔（Ｂ⇒Ａ）が証明された。

この式の左辺がＡと、右辺がＢと、それぞれ同値であるからＡ⇔Ｂであり、これこそが私が最初に「面白いことになるな・・」と直感した内容である・・。

つまり、カリー命題は単独では確かにパラドクスであって、逆命題を考察に加えることによっては「Ａ⇔ＢでなければＡ⇔（Ａ⇒Ｂ）とは言えない」というシロモノだと判明したのである！

ここでカリー命題Ａについて山野命題￢Ａ⇔（Ａ⇒￢Ｂ）を付け加えてどうして不合理がないのかを検討してみた。

￢Ａ⇔（Ａ⇒￢Ｂ）
⇔
￢Ａ⇔（Ａ⇒￢Ａ）（∵カリー命題とペアーだからＡ⇔Ｂ）―――（ア）
⇔
￢Ａ⇔￢Ａ
⇔
Ｔ

になる・・、これがつまらないなら（ア）のところから変えて

￢Ａ⇔（Ｂ⇒￢Ｂ）
⇔
￢Ａ⇔￢Ｂ
⇔
（Ａ∨￢Ｂ）∧（Ｂ∨￢Ａ）
⇔
（Ａ∧Ｂ）∨（￢Ａ∨￢Ｂ）
⇔
Ａ∨￢Ａ（∵Ａ⇔Ｂ）
⇔
Ｔ

かようにカリー命題と組み合わせた場合の山野命題は全称なのです！

Ａ∧￢Ａ⇔Ａ（∵￢Ａ⇔Ｔ）

中間子文を形成して定義や性質の規定に役立つわけです・・、で、凄いでしょ？