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

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