【論理学】自然演繹-体系Lについて
(哲学科あるいは人文学系学科の)論理学の講義ではおそらくタブロー法で教わることが多いのではないだろうか。(あるいは自然演繹やシークエント計算までやった方もいるだろう)
ただこのタブロー法どうにもnoteとは相性が悪く感じる(たぶん探せばLaTeXに便利なコマンドがあるに違いない、ただ探した範囲だとnoteで使えるものは見つからなかった)
ということで本稿では私が学生の頃学んだ自然演繹のいち形式であるE.John,Lemmon(以下(E.J.)レモン)発案の体系L*¹につい