[Hasse Diagram] Prüfer für Prädikatenlogik (∀ und ∃)

Überprüfe sofort den Wahrheitswert von prädikatenlogischen Aussagen in Hasse-Diagrammen! Perfekt für Hausaufgaben und zur Prüfungsvorbereitung.

全体集合 X の指定

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

X = { }

⌨️ 入力補助キーボードを開く

Back: 最後の1要素削除 Clear: 全要素削除

・ボタンを押すと、要素を1つ追加する・Back: 最後に入力した要素を1つ削除・Clear: 要素をすべて削除する

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

記号:

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

⚙️ 記号のカスタマイズ（定義と意味）

基準半順序

狭義順序

同値

非同値

比較不能

被覆

Back: 最後の1文字削除
Clear: 全文字削除

Step 4: 判定結果

Step 4.5: 対応ハッセ図

Step 5: 途中式ステップ実行

⏱ 0.9s

0 / 0

Ein kurzer Artikel und ein Video helfen, Tool und Hintergrund schneller zu verstehen.

Ihre Unterstützung motiviert uns, weiter zu entwickeln.