古典論理
古典論理（こてんろんり、）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（）とも呼ばれる。