論理

論理，あるいは，形式論理とは，判断や推理の抽象的構造（法則など）を，記号に対する操作として定式化した形式体系のことです.

• 命題
• 命題論理
• 原子的命題
• 命題結合子
• 命題変数/述語
• 量化子
• 論理和
• 論理積
• 論理式
• 真偽値
• 言語
• 関係
• 順序集合/半順序集合
• 理論（Theory）

Vita brevis, ars longa. Omnia vincit Amor.