【ハッセ図】述語論理ガチ演習ドリル

ハッセ図上の要素を用いた述語論理式の真偽を判定する特訓ツール！ランダムに生成される複雑な論理式に挑戦し、直感に頼らない厳密な論理展開力を鍛えます。

設定

難易度

出題数

⚙️ 詳細設定（記号のカスタマイズ）

チェックを外した記号は出題されません（基準半順序は必須です）。

基準半順序

狭義順序

比較不能

被覆

難易度: 初級

00:00

※ ショートカットキー: [1]または[T]で真、[2]または[F]で偽、[Enter]で採点

マスター

100%

スコア

00:00

クリアタイム

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.