テクノロジ系 / 基礎理論
命題論理
命題論理は、真偽が決まる文（命題）を、論理演算で組み合わせて扱う論理です。
もう少し詳しく
「正しい（真）」か「誤り（偽）」かが決まる文（命題）を基本とし、それらを「かつ」「または」「でない」などの論理演算で組み合わせて、全体の真偽を考える論理の体系です。論理回路や条件判定の基礎となり、真理値表で真偽を整理できます。論理を扱う基本的な枠組みです。
試験での見方
例：真偽の決まる文を「かつ」「または」で組み合わせて扱うのが命題論理です。
テクノロジ系 / 基礎理論
命題論理は、真偽が決まる文（命題）を、論理演算で組み合わせて扱う論理です。
「正しい（真）」か「誤り（偽）」かが決まる文（命題）を基本とし、それらを「かつ」「または」「でない」などの論理演算で組み合わせて、全体の真偽を考える論理の体系です。論理回路や条件判定の基礎となり、真理値表で真偽を整理できます。論理を扱う基本的な枠組みです。
例：真偽の決まる文を「かつ」「または」で組み合わせて扱うのが命題論理です。
真偽が決まる命題を論理演算で組み合わせる点が核心です。論理演算・真理値表との関連が頻出です。