これはかなりあいまいな質問ですが、運を試してみようと思いました。
未知の変数のセットに対して無効な不等式の組み合わせを生成する必要があります。
たとえば、a、b、c が与えられた場合、これらを生成したいと思います。
a < b && a ≥ c && b ≤ c
a ⩵ b && a ≤ c && b > c
a ⩵ b && a > c && b ≤ c
a > b && a ≤ c && b ≥ c
上記はすべて false と評価されます。
任意の数の変数に対してそれらを生成できる必要があります。
これはどのように行うことができますか？
まず、次の命題を書きます。
P1: a <= b <= c <= ... <= zzz
それから書く
P2: a = b = c = ... = zzz
と
P3: zzz <= a <= b <= c <= ... <= zzy
それから書く
P1 & ¬P2 & P3
これは誤りです。
この解決策があなたの要求を満たさないことをあなたが反論することを期待しています. 私はそれがあなたの要件を私たちに伝えたことを満たしていると信じています.必要に応じてもっと教えてください.
はい、これは回答というよりもコメントの性質を持っていることを私は知っています。