ハッセ図上で述語論理式を評価します。
ハッセ図に登場するすべての要素（ノード）をカンマ区切りで入力してください。下のボタンを使うと簡単に入力できます。
セレクトボックスで関係を定義します。
∀x, ∃x, x≦y などの述語論理式を入力して判定します。Enter キーで実行。
このツールがお役に立ちましたら、今後の開発の励みになりますので、ご支援（Amazonほしい物リスト）をいただけますと幸いです。