真理集合

論理学を学ぶ記事です． 本記事では，量化子について説明します． 量化子 ある命題が全ての対象について主張される場合と，少なくとも一つの対象について主張される場合があります． そのような命題を表す場合に，量化子を用います． 量化子には「全ての...