証明論

 

概要「推論の感覚を厳密にしたもの」

論証「論理の基本的な話」

 

 

命題「項や論理式のこと」

変項・変数「何かが入る空っぽの入れ物」

 

 

真理値「真・偽 とか 正しい・違う みたいなやつ」

真理集合「真理値を集合で表現したもの」

真理値割り当て「議論の最初に行うやつ」

 

 

推論規則「演繹とか全称化とか」

   シークエント計算「定理を表す時の形式」

   論理公理「推論的に確実に正しくなる命題」

   LKの推論規則「正しい=証明可能な規則」

 

 

代入規則「変数 → 中になにか入れた変数」

同値「同じとはどういうことか、みたいな話」

 

 

完全性定理「正しいなら証明できる」

不完全性定理「証明してない部分が必ず存在する」