（758）「ルカジェヴィッツの公理（１）」と「実質含意のパラドックス」。

（01）
① 　Ｐ
② ～Ｐ＆Ｑ
に於いて、すなはち、
① Ｐである。
② Ｐでないが、Ｑである。
に於いて、
①と② は「矛盾」する。
従って、
（01）により、
（02）
① 　Ｐ
② ～Ｐ＆Ｑ
に於いて、
① が「真（本当）」であるならば、
② は「偽（ウソ）」であって、
② が「偽（ウソ）」であるといふことは、
② の「否定」、すなはち、
② ～（～Ｐ＆Ｑ） が「真（本当）」である。
といふことである。
然るに、
（03）
「・・・・・という仮定が与えられたならば、・・・・・と正しく結論することが出来る」という煩雑な表現の略記法があれば好都合であろう。このためにわたしは、論理学の文献のなかでしばしば、しかし誤解を招きやすい仕方で、断定記号（assertion-sign）とよばれている記号、
　 ├
を導入する。これは「故に」（therefore）と読むのが便利であろう。
従って、
（02）（03）により、
（04）
① Ｐ├ ～（～Ｐ＆Ｑ）
といふ「連式（Sequent）」は、「妥当」である。
然るに、
（05）
（ⅰ）
１　　　（１）　　　　　Ｐ　　Ａ
１　　　（２）　　～Ｑ∨Ｐ　　１∨Ｉ
　３　　（３）　　～Ｐ＆Ｑ　　Ａ
　　４　（４）　　～Ｑ　　　　Ａ
　３　　（５）　　　　　Ｑ　　３＆Ｅ
　３４　（６）　　～Ｑ＆Ｑ　　４５＆Ｉ
　　４　（７）～（～Ｐ＆Ｑ）　３６ＲＡＡ
　　　８（８）　　　　　Ｐ　　Ａ
　３　　（９）　　～Ｐ　　　　３＆Ｅ
　３　８（ア）　　～Ｐ＆Ｐ　　８９＆Ｉ
　　　８（イ）～（～Ｐ＆Ｑ）　３アＲＡＡ
１　　　（ウ）～（～Ｐ＆Ｑ）　２４７８イ∨Ｅ
従って、
（03）（04）（05）により、
（06）
「命題計算」の「結果」からも、
① Ｐ├ ～（～Ｐ＆Ｑ）
といふ「連式（Sequent）」は、すなはち、
① Ｐなので、（Ｐでなくて、Ｑである）といふことはない。
といふ「言ひ方」は、「妥当」である。
然るに、
（07）
（ⅱ）
１　　　　　　（１）　　　　　　　　Ｐ　　　Ａ
（ⅲ）
１　　　　　　（２）　　　　　～Ｑ∨Ｐ　　　１∨Ｉ
（ⅳ）
　３　　　　　（３）　　　　　～Ｐ＆Ｑ　　　Ａ
　　４　　　　（４）　　　　　～Ｑ　　　　　Ａ
　３　　　　　（５）　　　　　　　　Ｑ　　　３＆Ｅ
　３４　　　　（６）　　　　　～Ｑ＆Ｑ　　　４５＆Ｉ
　　４　　　　（７）　　　～（～Ｐ＆Ｑ）　　３６ＲＡＡ
　　　８　　　（８）　　　　　　　　Ｐ　　　Ａ
　３　　　　　（９）　　　　　～Ｐ　　　　　３＆Ｅ
　３　８　　　（ア）　　　　　～Ｐ＆Ｐ　　　８９＆Ｉ
　　　８　　　（イ）　　　～（～Ｐ＆Ｑ）　　３アＲＡＡ
１　　　　　　（ウ）　　　～（～Ｐ＆Ｑ）　　２４７８イ∨Ｅ
　　　　エ　　（エ）　　　　　～Ｐ　　　　　Ａ
　　　　　オ　（オ）　　　　　　　　Ｑ　　　Ａ
　　　　エオ　（カ）　　　　　～Ｐ＆Ｑ　　　エオ＆Ｉ
１　　　エオ　（キ）　　　～（～Ｐ＆Ｑ）＆
　　　　　　　　　　　　　　（～Ｐ＆Ｑ）　　ウカ＆Ｉ
１　　　エ　　（ク）　　　　　　　～Ｑ　　　オキＲＡＡ
１　　　　　　（ケ）　　　　～Ｐ→～Ｑ　　　エクＣＰ
（ⅴ）
　　　　　　　（コ）　Ｐ→（～Ｐ→～Ｑ）　　１ケＣＰ
　　　　　　サ（サ）　Ｐ＆　～Ｐ　　　　　　Ａ
　　　　　　サ（シ）　Ｐ　　　　　　　　　　サ＆Ｅ
　　　　　　サ（ス）　　　　～Ｐ→～Ｑ　　　コシＭＰＰ
　　　　　　サ（セ）　　　　～Ｐ　　　　　　サ＆Ｅ
　　　　　　サ（ソ）　　　　　　　～Ｑ　　　スセＭＰＰ
　　　　　　　（タ）（Ｐ＆～Ｐ）→～Ｑ　　　サソＣＰ
従って、
（07）により、
（08）
② Ｐ├ 　Ｐ
③ Ｐ├ ～Ｑ∨Ｐ
④ Ｐ├ ～Ｐ→～Ｑ
⑤　 ├ （Ｐ＆～Ｐ）→～Ｑ
といふ「連式（Sequents）」は、３つとも、「妥当」である。
従って、
（03）（08）により、
（09）
②  Ｐなので、Ｐである。
③  Ｐなので、Ｑでないか、または、Ｐである。
④  Ｐなので、　Ｐでない　ならば、Ｑでない。
⑤（Ｐであって、Ｐでない）ならば、Ｑでない。
といふ「言ひ方」は、４つとも、「妥当」である。
然るに、
（09）により、
（10）
③ Ｐなので、Ｑでないか、または、Ｐである。
といふ「言ひ方」は、「奇異」である。
然るに、
（09）により、
（11）
② Ｐなので、Ｐである。
といふことからするれば、
③ Ｐなので、Ｑでないか、または、Ｐである。
に於いて、
② Ｐ の「真・偽」は、「真」として「確定」であるが、
② Ｑ の「真・偽」は、「不明」である。
従って、
（08）～（11）により、
（12）
③ Ｐ├ ～Ｑ∨Ｐ
③ Ｐなので、Ｑでないか、または、Ｐである。
といふことは、実際には、
③ Ｐであるが、Ｑでないか、Ｑであるかは、分からない。
といふ「意味」になる。
（13）
④ Ｐなので、Ｐでないならば、Ｑでない。
といふ「言ひ方」も、「奇異」である。
然るに、
（09）（12）（13）により、
（14）
③  Ｐであるが、Ｑでないか、Ｑであるかは、分からない。
⑤（Ｐであって、Ｐでない）ならば、Ｑでない。
といふことからすると、
④ Ｐなので、Ｐでないならば、Ｑでない。
といふ「言ひ方」は、
④「Ｐ＆～Ｐ（矛盾）」を認めるならば、「任意の命題」が、「真」になってしまふ。
が故に、
④「Ｐ＆～Ｐ（矛盾）」を認めるべきではない。
といふ「意味」に、解することが出来る。
（15）
（ⅴ）
１　　　　　（１）　　　　　Ｐ　　　Ａ
１　　　　　（２）　　～Ｑ∨Ｐ　　　１∨Ｉ
　３　　　　（３）　　～Ｐ＆Ｑ　　　Ａ
　　４　　　（４）　　～Ｑ　　　　　Ａ
　３　　　　（５）　　　　　Ｑ　　　３＆Ｅ
　３４　　　（６）　　～Ｑ＆Ｑ　　　４５＆Ｉ
　　４　　　（７）～（～Ｐ＆Ｑ）　　３６ＲＡＡ
　　　８　　（８）　　　　　Ｐ　　　Ａ
　３　　　　（９）　　～Ｐ　　　　　３＆Ｅ
　３　８　　（ア）　　～Ｐ＆Ｐ　　　８９＆Ｉ
　　　８　　（イ）～（～Ｐ＆Ｑ）　　３アＲＡＡ
１　　　　　（ウ）～（～Ｐ＆Ｑ）　　２４７８イ∨Ｅ
　　　　エ　（エ）　　～Ｐ　　　　　Ａ
　　　　　オ（オ）　　　　　Ｑ　　　Ａ
　　　　エオ（カ）　　～Ｐ＆Ｑ　　　エオ＆Ｉ
１　　　エオ（キ）～（～Ｐ＆Ｑ）＆
　　　　　　　　　　（～Ｐ＆Ｑ）　　ウカ＆Ｉ
１　　　　オ（ク）　　　～～Ｐ　　　オキＲＡＡ
１　　　　オ（ケ）　　　　　Ｐ　　　クＤＮ
１　　　　　（コ）　　　Ｑ→Ｐ　　　オケＣＰ
　　　　　　（サ）Ｐ→（Ｑ→Ｐ）　　１コＣＰ
従って、
（11）（12）（15）により、
（16）
⑤├ Ｐ→（Ｑ→Ｐ）
といふ「連式」と、
⑤ Ｐであるならば（Ｑであるか、Ｑでないかは、不明であるが、いづれにせよ、Ｐである。）
といふ「言ひ方」は、「妥当」である。
然るに、
（17）
⑤ Ｐであるならば（Ｑであるか、Ｑでないかは、不明であるが、いづれにせよ、Ｐである。）
といふことは。
⑤ Ｐであるならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐである。）
といふ、ことである。
従って、
（16）（17）により、
（18）
⑤├ Ｐ→（Ｑ→Ｐ）
といふ「連式」は、
⑤ Ｐであるならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐである。）
といふ「意味」になる。
然るに、
（19）
例えば以下の二つの条件文は全て「古典論理」においては真であるが、我々は真であるとは考えない。
「１＋１＝２」ならば「雪は白い」
「１＋１＝５」ならば「雪は白い」
この我々が普段使用する「ならば」と「古典論理」における実質含意（質料含意ともいふ）の乖離が「実質含意のパラドクス」である。
（ウィキペディア改）
然るに、
（18）（19）により、
（20）
⑤├ Ｐ→（Ｑ→Ｐ）
⑤├ Ｐであるならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐである。）
である所の、「ルカジェヴィッツによる公理（１）」からすると、
⑤「雪が白い」ならば（「１＋１＝２」であらうと、「１＋１＝５」であらうと、いづれにせよ、「雪は白い」。）
は、「恒真式（トートロジー）」である。
然るに、
（21）
　ルカジェヴィッツによる公理
（１）　Ｐ→（Ｑ→Ｐ）
（２）｛Ｐ→（Ｑ→Ｒ）｝→｛（Ｐ→Ｑ）→（Ｐ→Ｒ）｝
（３）（～Ｐ→～Ｑ）→（Ｑ→Ｐ）
（これはフレーゲが提出した６つの公理をより簡単にしたものである。）
（沢田允茂、現代論理学入門、1962年、1７３頁）
といふ「ルカジェヴィッツによる公理」は、「古典論理」である。
従って、
（20）（21）により、
（22）
⑤├ Ｐ→（Ｑ→Ｐ）
⑤├ Ｐであるならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐである。）
である所の、「古典論理の公理」からしても、
⑤「雪が白い」ならば（「１＋１＝２」であらうと、「１＋１＝５」であらうと、いづれにせよ、「雪は白い」。）
といふ「命題」は「真」になるため、
「１＋１＝２」ならば「雪は白い」
「１＋１＝５」ならば「雪は白い」
といふ「二つの条件文」が「同時に、真」であることは、「パラドックス」であるとは、言へない。
然るに、
（23）
１　　　　　（１）　　　　　～Ｐ　　　Ａ
１　　　　　（２）　　～Ｑ∨～Ｐ　　　１∨Ｉ
　３　　　　（３）　　～～Ｐ＆Ｑ　　　Ａ
　　４　　　（４）　　　～Ｑ　　　　　Ａ
　３　　　　（５）　　　　　　Ｑ　　　３＆Ｅ
　３４　　　（６）　　　～Ｑ＆Ｑ　　　４５＆Ｉ
　　４　　　（７）　～（～～Ｐ＆Ｑ）　３６ＲＡＡ
　　　８　　（８）　　　　　～Ｐ　　　Ａ
　３　　　　（９）　　　～～Ｐ　　　　３＆Ｅ
　３　８　　（ア）　　　～～Ｐ＆～Ｐ　８９＆Ｉ
　　　８　　（イ）　～（～～Ｐ＆Ｑ）　３アＲＡＡ
１　　　　　（ウ）　～（～～Ｐ＆Ｑ）　２４７８イ∨Ｅ
　　　　エ　（エ）　　　～～Ｐ　　　　Ａ
　　　　　オ（オ）　　　　　　Ｑ　　　Ａ
　　　　エオ（カ）　　　～～Ｐ＆Ｑ　　エオ＆Ｉ
１　　　エオ（キ）　～（～～Ｐ＆Ｑ）＆
　　　　　　　　　　　（～～Ｐ＆Ｑ）　ウカ＆Ｉ
１　　　　オ（ク）　　　　～～～Ｐ　　オキＲＡＡ
１　　　　オ（ケ）　　　　　　～Ｐ　　クＤＮ
１　　　　　（コ）　　　　Ｑ→～Ｐ　　オケＣ～Ｐ
　　　　　　（サ）～Ｐ→（Ｑ→～Ｐ）　１コＣ～Ｐ
従って、
（22）（23）により、
（24）
⑤├ 　Ｐ→（Ｑ→Ｐ）
⑤├ 　Ｐであるならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐである。）
が、「公理（恒真式）」である以上、
⑥├ ～Ｐ→（Ｑ→～Ｐ）
⑥├ 　Ｐでないならば（Ｑであらうと、Ｑでなからうと、いづれにせよ、Ｐでない。）
も、「公理（恒真式）」である。
従って、
（22）（24）により、
（25）
⑤「雪が白い　　」ならば（「１＋１＝２」であらうと、「１＋１＝５」であらうと、いづれにせよ、「雪は白い　　」。）
⑥「雪が白くない」ならば（「１＋１＝２」であらうと、「１＋１＝５」であらうと、いづれにせよ、「雪は白くない」。）
といふ「仮言命題」は、２つとも「真」であるため、
「１＋１＝５」ならば「雪は白い」
「１＋１＝２」ならば「雪は白い」
「１＋１＝５」ならば「雪は黒い」
といふ「三つの条件文」が「同時に、真」であることは、「パラドックス」であるとは、言へない。

（757）「ＰなのでＱ（十分条件）」⇔「ＰならばＱ（必要条件）」（Ⅱ）。

　―「昨日（令和０２年１１月０４日）の記事」を書き直します。―
（01）
① 悪天候なので、外出しない。
② 悪天候であっても、外出する。
に於いて、
①と② は「矛盾」する。
従って、
（01）により、
（02）
① 悪天候なので、外出しない。
② 悪天候であっても、外出する。
に於いて、
① が「真（本当）」であるならば、
② は「偽（ウソ）」である。
然るに、
（03）
② 悪天候であっても、外出する。
③ 悪天候ならば、外出しない。
に於いて、
② が「偽」である。
といふことは、
③ が「真」である。
といふことである。
従って、
（01）（02）（03）により、
（04）
「番号」を付け直すと、
① 悪天候なので、外出しない。
② 悪天候ならば、外出しない。
に於いて、
① ならば、② である。
然るに、
（05）
（ⅰ）
１　　（１）① であるならば、② である。 仮定
　２　（２）　　　　　　　　 ② でない。 仮定
　　３（３）① である。　　　　　　　　　仮定
１　３（４）　　　　　 　　　② である。 １３肯定肯定式
１２３（５）② ではないが、　② である。 ２４連言導入
１２　（６）① ではない。　　　　　　　　３５背理法
１　　（７）② でないならば、① でない。 ２６条件法
（ⅱ）
１　　（１）② でないならば、① でない。 仮定
　２　（２）　　　　　　　　 ① である。 仮定
　　３（３）② でない。　　　　　　　　　仮定
１　３（４）　　　　　　　　 ① でない。 １３肯定肯定式
１２３（５）① であるのに、　① でない。 ２４連言導入
１２　（６）② でない。ではない。　　　　３５背理法
１２　（７）② である。　　　　　　　　　６二重否定
１　　（８）① であるならば、② である。 ２７条件法
従って、
（05）により、
（06）
（ⅰ）① であるならば、② である。
（ⅱ）② でないならば、① でない。
に於いて、
（ⅰ）＝（ⅱ） であるものの、この「等式」を、「対偶（Contraposition）」といふ。
然るに、
（07）
（ⅰ）① であるならば、② である。
（ⅱ）② でないならば、① でない。
であるが故に、
（ⅰ）① であるならば、② である。
に於いて、
（ⅰ）① を「② であるための、十分条件」といひ、
（ⅱ）② を「① であるための、必要条件」といふ。
従って、
（04）～（07）により、
（08）
① 悪天候なので、家に居る。
② 悪天候ならば、家に居る。
に於いて、
① ならば、② である。
であるが故に、
① は、「② の、十分条件」であって、
② は、「① の、必要条件」である。
然るに、
（09）
① ならば、② である。
であって、尚且つ、
② ならば、① である。
であるならば、
①＝② であるものの、
①＝② であるならば、
① は、「② の、必要十分条件」であって、
② は、「① の、必要十分条件」である。
然るに、
（10）
② 悪天候ならば、家に居る。
としても、「仮定は未定」であるため、
① 悪天候なので、家に居る。
といふことには、ならない。
従って、
（10）により、
（11）
① 悪天候なので、家に居る。
② 悪天候ならば、家に居る。
に於いて、
② ならば、① である。
といふことには、ならない。
従って、
（04）（11）により、
（12）
① 悪天候なので、外出しない。
② 悪天候ならば、外出しない。
に於いて、
① ならば、② であるが、
② ならば、① である。とは、限らない。
従って、
（08）（09）（12）
（13）
① 悪天候なので、家に居る。
② 悪天候ならば、家に居る。
に於いて、
① ならば、② である。
であるが故に、
① は、「② の、十分条件」であって、
② は、「① の、必要条件」である。
としても、
① は、「② の、必要十分条件」ではないので、
② も、「① の、必要十分条件」ではない。
然るに、
（14）
１　（１）Ｐ→Ｑ　Ａ
　２（２）Ｐ　　　Ａ
１２（３）　　Ｑ　１２ＭＰＰ
であるものの、
１２（３）　　Ｑ　１２ＭＰＰ
であることを、
① Ｐ→Ｑ，Ｐ├ Ｑ
といふ「連式（Sequent）」で、表現する。
然るに、
（15）
① Ｐ＝悪天候である。
① Ｑ＝家に居る。
であるとして、
① Ｐ→Ｑ，Ｐ├ Ｑ
といふことは、
① 悪天候ならば、家に居る。悪天候である。├ 家に居る。
といふことである。
然るに、
（16）
「・・・・・という仮定が与えられたならば、・・・・・と正しく結論することが出来る」という煩雑な表現の略記法があれば好都合であろう。このためにわたしは、論理学の文献のなかでしばしば、しかし誤解を招きやすい仕方で、断定記号（assertion-sign）とよばれている記号、
　 ├
を導入する。これは「故に」（therefore）と読むのが便利であろう。
従って、
（15）（16）により、
（17）
② Ｐ＝悪天候である。
② Ｑ＝家に居る。
であるとして、
② Ｐ→Ｑ，Ｐ├ Ｑ
といふことは、
② 悪天候ならば、家に居るが、悪天候なので、家に居る。
といふことである。
従って、
（17）により、
（18）
① 　　　　　　　　　　　　　悪天候なので、家に居る。
② 悪天候ならば、家に居るが、悪天候なので、家に居る。
に於ける、
② 悪天候ならば、家に居る。
を「省略」した「形」が、
① 悪天候なので、家に居る。
といふ「表現」である。
といふことになる。
従って、
（18）により、
（19）
① 悪天候なので、家に居る。
② 悪天候ならば、家に居る。
に於いて、
① は、② を「含意」するものの、このことは、
① ならば、② である。
といふことに、他ならない。
従って、
（12）（17）（18）（19）により、
（20）
一般的に言って、
① Ｐ├ Ｑ
② Ｐ→ Ｑ
に於いて、
① ならば、② であるが、
② ならば、① ではない。