NK - Nobuhisa's diary

今読んでいる本は，体系SNKと呼ばれる形（？）を利用しています。
モーダスポネンスのSNK推論図はこんな感じ。
$\frac{A \quad A \rightarrow B}{B}$ *1

このSNKとやらは有名なのかな〜と思って何となくぐぐってみたら，全然出てこない。笑
NK(自然演繹)というものに出くわしました。
どうやらSNKとは体系NKの命題理論の部分だそうな。

関係ないけど，SNK流小前提（＆小前提の結果）はtexではどう書けばいいんだろう。。。笑
これは裏技的だし・・・
$\qquad [A]\\\frac{B}{A \rightarrow B}$

まあたぶん数式を書くことなんて滅多にないだろうからいいんだけど。

とりあえずPythonのリスト内包凄そうです！ということを胸に，そろそろ寝ようと思います。

*1:ちなみにこの本は "ならば" は「→」ではなく「⊃」を使っています。