【哈斯圖】哈斯圖中的述詞邏輯（∀・∃）真假判定工具

全体集合 X の指定

ハッセ図に登場するすべての要素（ノード）をカンマ区切りで入力してください。下のボタンを使うと簡単に入力できます。

ハッセ図（リアルタイム表示）

エッジ（関係）入力

セレクトボックスで関係を定義します。

述語論理式の入力

∀x, ∃x, x≦y などの述語論理式を入力して判定します。Enter キーで実行。