【論理学用語の私的メモ】 【論理学の基本略語】 自然演繹 推件計算古典論理 NK LK直観主義論理 NJ LJ 【略語の導入】論理学においてまず覚えたほうがいいのは、ゲンツェンの業績と用語法である。ゲンツェンの主要な業績は、自然演繹であるNK, NJとシークエ…