wo/tpg
https://www.umsu.de/trees/
https://github.com/wo/tpg
古典命題論理
，
1階述語論理
，
様相論理
（どの
様相論理の公理
を採用するかは選択できる）の論理式について，
タブロー
を計算する，すごい
1階述語論理
の場合，非妥当な論理式について，反証として領域と解釈を例として考えてくれる
#論理学
#ツール
#様相論理のソルバー