rachunek kwantyfikatorów rachunek kwantyfikatorów: Jak zapisać poniższe zdania w postaci formuł rachunku predykatów (przyjmując odpowiednie oznaczenia dla zdań prostych)? (a) Każdy student ma co najmniej jeden indeks, (b)Jeżeli indeks należy do jakiegoś studenta, to nie należy do żadnego innego studenta. Bardzo proszę o pomoc

Jack: (a) ∀x∃y [ (S(x)∧I(y) ) ⇒P(x,y)] S(x) − "x jest studentem" I(y) − "y jest indeksem" P(x,y) − " x posiada y−ka" b) podobnie

rachunek kwantyfikatorów: Dziękuję bardzo. W takim razie, czy b) będzie wyglądać tak? ∀x∃y[S(x)∧I(y)⇒P(x,y)] ⋀ ¬∀x∃y[ S(x)∧I(y)⇒P(x,y)] a może tak: ∀x∃y[S(x)∧I(y)⇒P(x,y)] ⋀ ¬∀z∃y[ S(z)∧I(y)⇒P(z,y)] Czy coś źle kombinuję....?

ite: Czy to poprawny zapis pkt. (b)Jeżeli indeks należy do jakiegoś studenta, to nie należy do żadnego innego studenta? ∀x [ (I(x) ∧ ∃y (S(y) ∧ P(y,x)) ⇒ ¬∃z (S(z) ∧ P(z,y) ∧ z≠y) ]

wredulus_pospolitus: Zarówno wersja z 12:10 jak i 16:41 jest niepoprawne ponieważ zakładacie, że każdy student ma indeks (co nie jest prawdą patrząc na to zdanie) Druga sprawa −−− studencie, wiesz jak działa zamiana kwantyfikatorów w zdaniu w momencie gdy masz zaprzeczenie

wredulus_pospolitus: dobra, pośpieszyłem się

ite: czyli zgadza się?