dwa zdania

[acerr90]

W zbiorze wszystkich liczb określony predyktat: \(\displaystyle{ Z: xZy}\) oznacza \(\displaystyle{ z}\) zna \(\displaystyle{ y}\). Używając jedynie symboli \(\displaystyle{ Z}\), zmiennych \(\displaystyle{ x, y, z...}\)., spójników zdaniowych kwantyfikatorów i nawiasów zapisać zdania:
A) "Nikt nie zna wszystkich, którzy go znają."
B) "Każdy zna kogoś, kto go nie zna."

Czy dobrze myślę:
A) \(\displaystyle{ \forall_x \exists_y (\neg Z(x,y) \wedge Z(y,x))}\)

B) \(\displaystyle{ \forall_x \exists_y ( Z(x,y) \wedge \neg Z(y,x))}\)

[musialmi]

Wg mnie bardzo dobrze.

[Jan Kraszewski]

Dobrze.

JK