Deduction editor for propositional logic - 命題論理の演繹エディタ

This is "Deduction editor for propositional logic". Viewing asumptions related to each line, you can check if the deduction is done correctly.
命題論理の演繹エディタです。関連付けられている仮定を表示しながら正しく演繹が行われているかをチェックすることができます。