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