Tableau Viz
命題論理
一階述語論理
様相論理 (System K)
戻る
前提列（,区切り）
結論（一つ論理式）
使用可能：\neg, \land, \lor, \to, \leftrightarrow
例
選択
閉じる枝を操作停止
開始
リセット
健全性と完全性の証明
準備おｋ
Mode: Propositional