命題論理に一致する言葉

国語辞書(1)

• めいだい‐ろんり【命題論理】

  記号論理学の基礎的部門。個々の命題を結合する「かつ」「または」「ならば」「でない」などの関係を、論理記号を用いて論理積（＞）・論理和（＜）・含意（→）・否定（〜）などにより記号化して演算形式に表...