自然演繹
自然演繹(しぜんえんえき、natural deduction)
ゲンツェン
の自然演繹法とも言う
ゲンツェンが形式化した
シーケント計算
シーケント計算の亜種に
タブロー計算
といのもある
直観主義論理
版は
NJ
(エヌヨット)と呼ぶ
古典論理
の自然演繹は
NK
(エヌカー)と呼ぶ
ドイツ語のアルファベットの発音
だとKをカー、Jをヨットと読む
命題論理
演繹法
モーダスポネンス
参考
『数理論理学 (現代基礎数学)』
『形式手法教科書』
ゲンツェンの自然演繹法
natural deduction