2019年10月30日水曜日

「仮言命題」と「矛盾」。

(01)
(α)「返り点」と「括弧」に付いて。 :(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)⇒
 Web上には存在しますが、何故か、アクセス出来ません。
(η)「一二点・上下点」に付いて。  :(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)
1(1)~P   A
1(2)~P∨Q 1∨I 
1(3) P→Q 2含意の定義
従って、
(01)により、
(02)
① ~P├ P→Q
といふ「推論」、すなはち、
① Pでない。故に、PならばQである。
といふ「推論」は、「妥当」である。
然るに、
(03)
1 (1)~P   A
1 (2)~P∨Q 1∨I
1 (3) P→Q 2含意の定義
 4(4) P   A
14(5)~P&P 14&I
に於いて、
  (5)~P&P≡PでなくてPである
は、「矛盾」である。
従って、
(03)により、
(04)
1 (1)~P   A
1 (2)~P∨Q 1∨I
1 (3) P→Q 2含意の定義
 4(4) P   A
14(5)   Q 34MPP
といふ「計算」は、「正しくない」。
従って、
(04)により、
(05)
② ~P,P├ Q
といふ「推論」、すなはち、
② Pではないが、Pである。故に、Qである。
といふ「推論」は、「妥当」ではない
従って、
(02)(05)により、
(06)
P=偶数の和は奇数である。
Q=太陽は西から昇って東に沈む。
であるとして、
① 偶数の和は奇数ではない。故に、偶数の和が奇数であるならば、太陽は西から昇って東に沈む。
といふ「推論」は、「妥当」であるが、
② 偶数の和は奇数ではないが、偶数の和は奇数である。故に、太陽は西から昇って東に沈む。
といふ「推論」は、「妥当」ではない
従って、
(03)~(06)により、
(07)
換言すると、
1 (1)~P   A
1 (2)~P∨Q 1∨I
1 (3) P→Q 2含意の定義
 4(4) P   A
14(5)~P&P 14&I
に於いて、
  (5)~P&P≡PでなくてPである。
は、「矛盾」であるとしても、
1 (1)~P   A
1 (2)~P∨Q 1∨I
1 (3) P→Q 2含意の定義
 4(4) P   A
14(5)   Q 34MPP
といふ「計算」は、「正しい」とするのであれば、
② 偶数の和は奇数ではないが、偶数の和は奇数である。故に、太陽は西から昇って東に沈む。
といふ「推論」は、「妥当」である。
従って、
(07)により、
(08)
矛盾」を「是認」するのであれば、
② 太陽は西から昇って東に沈む。
といふ「命題」は、「偽(ウソ)」ではなく、「本当)」である。
令和元年10月30日、毛利太。

0 件のコメント:

コメントを投稿