2021-03-30から1日間の記事一覧
(01)1(1)∀x(Fx) A1(2) Fa 1UE1(3)∃x(Fx) 1UIといふ「計算」は、 (1)すべてのxがFである。 ならば、 (2)任意のaは、Fであり、 (〃)任意のaが、Fである。 ならば、 (3) あるxは、Fである。といふ「意味」…
(01)1(1)∀x(Fx) A1(2) Fa 1UE1(3)∃x(Fx) 1UIといふ「計算」は、 (1)すべてのxがFである。 ならば、 (2)任意のaは、Fであり、 (〃)任意のaが、Fである。 ならば、 (3) あるxは、Fである。といふ「意味」…