自然演繹
natural deduction
「自然な」ものとしての論理的推論の形式的モデルを提供する
証明論
の手法
いくつかの種類がある
ゲンツェンの自然演繹(NK)
ジョン・レモンの自然演繹(L)
Edward John Lemmon
のもの
公理が存在しない
9つの規則
https://ja.wikipedia.org/wiki/自然演繹#自然演繹論理
参考
https://ja.wikipedia.org/wiki/自然演繹