dwa zdania
: 14 cze 2014, o 14:19
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))}\)
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))}\)