世界で初めてカリーのパラドクスが根底から明らかにされました

もちろん私が開発したクォーク命題の理論とカリー命題に関する新論理学による定式を用いてのことですが、

「この命題が正しいならば，Ａ」
⇔
Ｔ⇒Ａ　　（新論理学によるカリー命題の定式）
⇔
Ｆ∨Ａ
⇔
Ａ
⇔
「この命題はＡである」
⇔
Ｃ「Ｃ is Ａ」　　（クォーク命題表示をしたカリー命題の定式）
⇔
Qua.Ｃ(Ｃ)

　ゆえにカリー命題はクォーク命題の一種なので、否定形のつもりで反クォーク命題￢Ｃ「Ｃ is ￢Ａ」を形成させたとしてもクォーク命題と中間子結合をしてしまい、その意味はクォーク命題を補強するばかりで否定する意味を持ちません。すなわち「カリー命題はＡなのがカリー命題であり、カリー命題は￢Ａであるものはカリー命題ではない」なのである、この件に関してはゲーデル命題に同じ・・。

つまり、今のところまだまだ私以外の人類はクォーク命題を獲得しておらないので、反クォーク命題の形を否定形だと信じているのが原因ですｗ）

主語を述語命題の名前にしているということが意味を持つものは（新論理学で）クォーク命題と呼ばれます！


Qua.Ｘ(Ｘ)＝Ｘ⇔Ｘ is Ａ．　クォーク命題
￢Qua.Ｘ(Ｘ)＝Ｘ⇔Ｘ is not Ａ．　否定クォーク命題
￢Qua.￢Ｘ(Ｘ)＝￢Ｘ⇔Ｘ is not Ａ．　反クォーク命題　　　　　
￢Qua.￢Ｘ(￢Ｘ)＝￢Ｘ⇔￢Ｘ is not Ａ．　反対クォーク命題

いずれにせよ、これらのことが理由でカリー命題のＡを否定するのには骨が折れますよ・・。



命題文に名前が付けられているときには注意しましょうｗ）