math-pighm
TOP
数学教科書 よみもの 計算練習 プライバシーポリシー お問い合せ
TOP
プライバシー ポリシー
お問い合せ
数学教科書
よみもの
計算練習
TOP
よみもの
記号論理
命題論理

命題論理の演繹エディタ

命題論理の演繹エディタです。関連付けられている仮定を表示しながら正しく演繹が行われているかをチェックすることができます。
ツリー式ではなく、番号付きの行を参照する方式です。
公理系は次のものを採用しています。

Profile

pighm
個人でサイト・ブログの運営を行っています。
I personally manage sites and blogs.