プログラム（C ++）を実行して、次の真の値を見つける必要があります。私はそれが正確に何を意味するのかについては不確かです。
AxAy(C(x, y) -> ((Aw(C(x, w) -> w = y) ^ (Az(C(z, y) -> z = x))
->は含意、C（x、y）は関数/述語、^はand関数、Aはユニバーサルであることに注意してください。それが役立つ場合、C（x、y）は述語であり、xはyを呼び出します
私は含意の定義を使用してそれを煮詰めAxAy -C(x,y)、-が否定であるところに到達しました。これは正しいです？長い元のステートメント全体は、「誰も電話をかけなかった」という複雑な言い方ですか？
の解釈を使用するとC(x,y)、この最初の文は、 ifがandをx呼び出す場合、 を意味します。つまり、最大で 1 つの要素を呼び出します。同様に、 Ifはandによって呼び出され、 then . つまり、最大で 1 つの要素によって呼び出されます。yww = yxyxzz = xy
この文の真の値を見つけるための C++ プログラムを書いたということで、あなたが何を意図していたのかわかりません。あなたのプログラムは、真(x,y)のペアを表すペアのセットを受け取ると仮定していC(x,y)ます。その場合は、セット内に上記の条件に違反する 2 つのペアがないかどうかを確認する必要があります。つまり、セットには と のペアはなく、 と のペアもあり(a, b)ません。(a, c)(a, b)(c, b)