Logika, zapisz za pomocą kwantyfikatorów
Scyzoryk: Dane są:
S(x) − x jest studentem;
E(x) − x jest egzaminem;
Z(x,y) − x zdał y;
Zapisz za pomocą kwantyfikatorów zdanie "Każdy student zdał jakiś egzamin":
∀x [S(x) →∃y (E(y) ⋀ Z(x,y)]
Dzień dobry, proszę o pomoc w stwierdzeniu czy te zadanie jest wykonane poprawnie.
Pozdrawiam!
15 gru 01:41