古典論理
次をまとめたものをそう呼ぶ
古典命題論理
古典述語論理