2023-03-01から1ヶ月間の記事一覧

(1271)「二つ以上のFが存在する」の「述語論理」。

(01)142 ∃x(Fx)├ ∃x∃y(Fx&Fy)1 (1) ∃x(Fx) A 2(2) Fa A 2(3) Fa&Fa 22&I 2(4) ∃y(Fa&Fy) 3EI 2(5)∃x∃y(Fa&Fy) 4EI1 (6)∃x∃y(Fa&Fy) 125EE(この結果は…

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

(181)1 (1) P&Q→R A 2 (2) ~R A12 (3)~(P&Q) 12MTT12 (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…

(1269)「痛風発作の原因」は「脱水」ではない(仮説検定)。

この記事は、計算が間違っています(正しくは、約0.13%ですが、データそのものも、違っています)。―「表」を用いると、「字数制限」を超えるため、「スクリーンショット」を用いて、「字数を減らします」。― 然るに、(09)(ⅰ)赤血球数、ヘモグロビ…

(1268)「医学の証明」は「数学的」には「証明」ではない。

(01)「二等角三角形は、二等辺三角形である。」(ユークリッド『原論』、第1巻第6命題)という「命題」は、「(任意の)二等角三角形は、二等辺三角形である。」という「意味」である。然るに、(02)「(任意の)二等角三角形は、二等辺三角形である。…