述語

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