概要「推論の感覚を厳密にしたもの」
論証「論理の基本的な話」
命題「項や論理式のこと」
変項・変数「何かが入る空っぽの入れ物」
真理値「真・偽 とか 正しい・違う みたいなやつ」
真理集合「真理値を集合で表現したもの」
真理値割り当て「議論の最初に行うやつ」
推論規則「演繹とか全称化とか」
シークエント計算「定理を表す時の形式」
論理公理「推論的に確実に正しくなる命題」
LKの推論規則「正しい＝証明可能な規則」
代入規則「変数 → 中になにか入れた変数」
同値「同じとはどういうことか、みたいな話」
完全性定理「正しいなら証明できる」
不完全性定理「証明してない部分が必ず存在する」