2023年3月16日木曜日

「予見も可能、回避も可能」ならば「医師には責任が有る」。

(181)
1  (1)  P&Q→R   A
 2 (2)     ~R   A
12 (3)~(P&Q)    12MTT
12 (4)~P∨~Q     3ド・モルガンの法則
12 (5)~Q∨~P     4交換法則
12 (6) Q→~P     5含意の定義
1  (7)~R→(Q→~P) 26CP
  8(8)~R&Q      7交換法則
  8(9)Q&~R      A
1 8(ア)  ~R      9&E
1 8(イ)    Q→~P  7アMPP
  8(ウ)Q         9&E
1 8(エ)      ~P  イウMPP
1  (オ)Q&~R→ ~P  8エCP
従って、
(181)により、



令和5年3月16日、毛利太。

0 件のコメント:

コメントを投稿