めいだいろんり

命題論理

文や式の真偽を論理演算で扱う体系。ANDやOR、NOTなどの演算子を用い、複雑な条件を真理値表などで評価します。プログラムの制御ロジックを読み解くための基礎となる学問です。

詳しい説明

命題論理とは、文や式が正しいか正しくないかという真偽を扱う論理体系です。日常言語の論理構造を記号化し、ANDやOR、NOTなどの論理演算を用いて推論を行います。

この体系では、命題そのものを一つの単位として扱い、それらを組み合わせた論理式が全体として真か偽かを判定します。真理値表を作成することで、論理関係を明確に評価できます。

試験では、論理演算の優先順位やド・モルガンの法則を使った式変形が定番です。条件分岐のロジックを読み解くために、複雑な論理式を正しく評価する力が必須となります。