2021-03-30から1日間の記事一覧

(853)「二項述語における、量記号の変換規則」。

(01)1(1)∀x(Fx) A1(2) Fa 1UE1(3)∃x(Fx) 1UIといふ「計算」は、 (1)すべてのxがFである。 ならば、 (2)任意のaは、Fであり、 (〃)任意のaが、Fである。 ならば、 (3) あるxは、Fである。といふ「意味」…