ハッセ図上の要素を用いた述語論理（「すべてのx」「あるyが存在して」など）の真偽を瞬時に判定！グラフと連動した視覚的な解説で学習をサポートします。
ハッセ図に登場するすべての要素（ノード）をカンマ区切りで入力してください。下のボタンを使うと簡単に入力できます。
セレクトボックスで関係を定義します。
∀x, ∃x, x≦y などの述語論理式を入力して判定します。Enter キーで実行。
先に読んだり見たりすると、ツールの使い方や背景がつかみやすくなります。
今後の開発の励みになりますので、ご支援をいただけますと幸いです。