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

(834)「幾らかのフランス人は寛大である。」の「述語論理」(Ⅲ)。

(01)「幾らかのフランス人は寛大である」を、正しく、∃x(Fx&Gx)と記号化するかわりに、むしろ、∃x(Fx→Gx)とするのは、よくある間違いである。しかし、∃x(Fx→Gx)は、それがフランス人であるならば、寛大であるようなものが存在するこ…