対称律

命題の構成要素【形式論理学入門1-2】

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

形式論理学

数直線と実数の大小関係【解析学3】

数直線と実数の大小関係について解説します．数直線実数を表すモデルとして，数直線をあげることができます．無限に伸びる直線を想定して，その直線上に一つの点をとります．この点を原点\(O\)とします．原点\(O\)の右側にもう一つ点をとり，これを...