選言

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

数学の学び直しの記事です．本記事では，命題論理の連言と選言について考察します．連言連言とは，命題\(A\)かつ命題\(B\)，ということです．たとえば，「\(3\)は奇数であり，かつ素数である」などの命題です．「\(3\)は奇数である」とい...