連言

形式論理学

命題論理の意味論【形式論理学2‐1】

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

連言と選言【形式論理学3】

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