形式論理学 命題について【形式論理学1‐2】 形式論理学についての解説の記事です。 形式論理学で取り扱う命題について説明します。 命題とはなにか? 命題とは、「真」か「偽」のいずれかに定まる主張を指します。 形式論理学において、命題は論理的な推論や証明の基本単位です。 命題が命題と呼ば... 2024.09.27 形式論理学
形式論理学 命題の真偽と真理値【形式論理学1】 数学の学び直しのための記事です.ここでは数学を学ぶために役立つ形式論理学について解説します. 命題について 数学に限らず,物事を記述したり,考察したり,推論したりするために,命題は必要不可欠です. 「太郎は次郎の兄である」という文も,命題と... 2023.02.03 形式論理学