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