述語

形式論理学の学習の記事です。本記事では命題の真理値について説明します。真理値命題の真理値(truth value)とは、命題の真偽に値を対応させたものですが、ある命題が真である場合はその命題の真理値は\(1\)(あるいは\(T\))、偽であ...

形式論理学の学習の記事です。本記事では形式論理学の基礎である命題の構成要素について説明します。主語と述語命題には主要な構成要素として主語(subject)と述語(predicate)があります。主語は命題で主張される対象であり、述語は主語が...

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