同値

形式論理学についての解説の記事です。ここでは命題論理の意味論について解説します。命題論理の意味論の基本概念命題論理の意味論は、命題がどのようにして「真」か「偽」かを定義し、それをもとに複雑な論理式を評価する仕組みを扱います。これを通じて、論...

数学の学び直しのための記事です．本記事では，命題論理の条件法と同値について考察します．条件法条件法とは，命題\(A\)ならば命題\(B\)，ということです．たとえば，「\(24\)が\(6\)の倍数であるならば，\(24\)は\(3\)の倍...