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