返り点に対する「括弧」の用法。
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 件のコメント:
コメントを投稿
次の投稿
前の投稿
ホーム
登録:
コメントの投稿 (Atom)
0 件のコメント:
コメントを投稿