命題関数

数学

集合の基本概念【集合論1-1】

集合論は、数学の基礎を支える重要な理論で、数やオブジェクトを整理し、分類するための手法です。集合論の基本概念について学ぶことで、数学や論理学の幅広い分野での理解が深まります。集合とは何か?集合とは、ある特定の条件に基づいて集められた「要素」...
形式論理学

命題について【形式論理学】

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

量化子【形式論理学10】

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