記号論理

命題論理の演繹エディタ

命題論理の演繹を入力していくエディタです。関連付けられている仮定を確認しながら演繹が正しく行われているかをチェックできます。