ハッセ図上の要素を用いた述語論理式の真偽を判定する特訓ツール！ランダムに生成される複雑な論理式に挑戦し、直感に頼らない厳密な論理展開力を鍛えます。
チェックを外した記号は出題されません（基準半順序は必須です）。
※ ショートカットキー: [1]または[T]で真、[2]または[F]で偽、[Enter]で採点
Un article et une vidéo rapides à consulter avant d utiliser l outil.
Votre soutien nous motive à continuer le développement.