ハッセ図上の要素を用いた述語論理式の真偽を判定する特訓ツール！ランダムに生成される複雑な論理式に挑戦し、直感に頼らない厳密な論理展開力を鍛えます。
チェックを外した記号は出題されません（基準半順序は必須です）。
※ ショートカットキー: [1]または[T]で真、[2]または[F]で偽、[Enter]で採点
先に読んだり見たりすると、ツールの使い方や背景がつかみやすくなります。
今後の開発の励みになりますので、ご支援をいただけますと幸いです。