ハッセ図上の要素を用いた述語論理式の真偽を判定する特訓ツール！ランダムに生成される複雑な論理式に挑戦し、直感に頼らない厳密な論理展開力を鍛えます。
チェックを外した記号は出題されません（基準半順序は必須です）。
※ ショートカットキー: [1]または[T]で真、[2]または[F]で偽、[Enter]で採点
A quick article and video to review before using the tool.
Your support motivates future development. Thank you!