日本語の「は」と「が」について。

象は鼻が長い=∀x{象x→∃y(鼻yx&長y)&∀z(~鼻zx→~長z)}。
とりあえず「三上文法」を「批判」します。

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

2023-03-16 06:27:24 | 医療過誤

(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)により、