「仮言命題」の「前件と後件」。

― しばらく、「返り点」に関する「記事」を書いてゐません。「返り点と括弧」に関しては、
（α）「返り点」と「括弧」に付いて。　：（https://kannbunn.blogspot.com/2017/12/blog-post_11.html）
（β）「返り点」と「括弧」の条件。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_15.html）
（γ）「返り点」と「括弧」の条件（Ⅱ）：（https://kannbunn.blogspot.com/2017/12/blog-post_16.html）
（δ）「返り点」は、下には戻らない。　：（https://kannbunn.blogspot.com/2017/12/blog-post_20.html）
（ε）「下中上点」等が必要な「理由」。：（https://kannbunn.blogspot.com/2017/12/blog-post_22.html）
（ζ）「返り点・モドキ」について。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_24.html）⇒
　Ｗｅｂ上には存在しますが、何故か、アクセス出来ません。
（η）「一二点・上下点」に付いて。　　：（https://kannbunn.blogspot.com/2017/12/blog-post_26.html）
（θ）「括弧」の「順番」。　　　　　　：（https://kannbunn.blogspot.com/2018/01/blog-post.html）
（ι）「返り点」と「括弧」の関係　　　：（https://kannbunn.blogspot.com/2019/01/blog-post_21.html）
等々、「その他」を、お読み下さい。―
（01）
① そのやうなことが起こるならば、太陽が西から昇って東に沈む。
といふ「言ひ方」は、
③ そのやうなことが起こるならば、太陽が西から昇って東に沈む。然るに、太陽が西から昇って東に沈む。といふことは有り得ない。故に、そのやうなことは、絶対に起こらない。
といふ「意味」である。
然るに、
（02）
１（１）～Ｐ　　　　　　　Ａ
１（２）～Ｐ∨Ｑ　　　　　１∨Ｉ
１（３）　Ｐ→Ｑ　　　　　２含意の定義
　（４）～Ｐ→（Ｐ→Ｑ）　１３ＣＰ
ｃｆ.
～Ｐ→（Ｐ→Ｑ）≡～～Ｐ∨（～Ｐ∨Ｑ）≡Ｐ∨（～Ｐ∨Ｑ）≡（Ｐ∨～Ｐ）∨Ｑ≡（真）∨Ｑ
は、「恒真式（トートロジー）」である。
従って、
（02）により、
（03）
　Ｐ＝そのやうなことが起こる。
～Ｐ＝そのやうなことは起こらない。
　Ｑ＝太陽が西から昇って東に沈む。
であるとして、
② ～Ｐ→（Ｐ→Ｑ）≡
② そのやうなことが起こらないならば（そのやうなことが起こるならば、太陽が西から昇って東に沈む）。
といふ「推論」は、「妥当」である。
従って、
（01）（02）（03）により、
（04）
① そのやうなことは起こるならば、太陽が西から昇って東に沈む。
といふ「言ひ方」が、
② そのやうなことは起こらないので（そのやうなことが起こるならば、太陽が西から昇って東に沈む）。
といふ「意味」であるならば、
③ そのやうなことが起こるならば、太陽が西から昇って東に沈む。然るに、太陽が西から昇って東に沈む。といふことは有り得ない。故に、そのやうなことは、絶対に起こらない。
といふ「意味」であって、
③ そのやうなことが起こるならば、太陽が西から昇って東に沈む。然るに、太陽が西から昇って東に沈む。といふことは有り得ない。故に、そのやうなことは、絶対に起こらない。
といふ「推論」は、「妥当」である。
然るに、
（02）により、
（05）
１（１）～Ｐ　　　Ａ
１（２）～Ｐ∨Ｑ　１∨Ｉ
１（３）　Ｐ→Ｑ　２含意の定義
に於ける、
１（２）～Ｐ∨Ｑ　１∨Ｉ
に於いて、　　Ｑ　は、「何でも良い（Anything is ok）」。
従って、
（05）により、
（06）
１（１）～Ｐ　　　Ａ
１（２）～Ｐ∨Ｑ　１∨Ｉ
１（３）　Ｐ→Ｑ　２含意の定義
に於ける、
１（３）　Ｐ→Ｑ≡ＰならばＱである。
に於ける、「ＰとＱの関係」は、「無関係」であっても、かまはない。
従って、
（06）により、
（07）
Ｐ　　＝偶数の和は奇数である。
Ｑ　　＝太陽が西から昇って東に沈む。
Ｐ→Ｑ≡偶数の和が奇数であるならば、太陽が西から昇って東に沈む。
であっても、かまはない。
従って、
（08）
「逆に言ふ」と、
１（３）　Ｐ→Ｑ≡ＰならばＱである。
に於ける、「ＰとＱの関係」は、「無関係」であってはならない。
とするならば、
③ そのやうなことが起こるならば、太陽が西から昇って東に沈む。然るに、太陽が西から昇って東に沈む。といふことは有り得ない。故に、そのやうなことは、絶対に起こらない。
といふ「言ひ方」は、「妥当」ではない。
令和元年１０月２９日、毛利太。