Logika Kwantyfikatory Redock: Czy może ktoś mi wytłumaczyć? W zbiorze wszystkich ludzi określony predyktat: Z: xZy ⇔ z zna y. Używając jedynie zymboli Z, zmiennych x, y, z...., spójników zdaniowych kwantyfikatorów i nawiasów zapisać zdanie: A)"Nikt nie zna wszystkich, którzy go znają." B)"Każdy zna kogoś, kto go nie zna." Odpowiedź to: A) ∀x∃y(∼Z(x,y) ∧ Z(y,x)) B) ∀x∃y(Z(x,y) ∧ ∼Z(y,x)) Robiłem takie zadania tylko w nich był jeden kwantyfikator na początku a drugi gdzieś w środku. Ale nie mogę pojąć tego, dlaczego tutaj występują te kwantyfikatory na początku.

Basia: przetłumacz sobie na normalny język polski dla każdego x istnieje taki y,że ( y zna x i x nie zna y) dla każdego x istnieje taki y, że ( x zna y i y nie zna x) tak to musi być

Basia: a znasz np. definicję granicy skończonej g ciągu? ∀_ε>0 ∃_n0 ∀_n>n0|a_n−g|<ε to mniej więcej taka sama konstrukcja