2023-03-01から1ヶ月間の記事一覧
(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(この結果は…
(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…
この記事は、計算が間違っています(正しくは、約0.13%ですが、データそのものも、違っています)。―「表」を用いると、「字数制限」を超えるため、「スクリーンショット」を用いて、「字数を減らします」。― 然るに、(09)(ⅰ)赤血球数、ヘモグロビ…
(01)「二等角三角形は、二等辺三角形である。」(ユークリッド『原論』、第1巻第6命題)という「命題」は、「(任意の)二等角三角形は、二等辺三角形である。」という「意味」である。然るに、(02)「(任意の)二等角三角形は、二等辺三角形である。…