Wir sind uns nicht ganz klar, ob beim Übungsblatt 6 bei der zweiten Aufgabe d) auch ∀x(Qx -> ∃y((Py∧Sxy)∧∀z((Pz∧Sxz) -> z=y))) möglich ist. Kann man den anfänglichen Quantor nicht bis zum Schluss erweitern und so verhindern, dass nochmals die bewundernden Studenten erwähnt werden (in der Musterlösung der letzte Allquantor) oder ist dies nicht erlaubt?
Read on »