命題関数

形式論理学についての解説の記事です． 初めに論理学の対象となる「命題」について解説します． 命題 命題とは，真偽が確定する主張を含む文です． 例えば，「田中さんは数学が好きである」，という文です． この場合，実際に田中さんが数学が好きならば...

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