Beiträge von: fellowshipofthephil1

Liebe Tutoren Wie würde ich folgendes (NICHT nach Russels Kennzeichnungstheorie) formalisieren: A) Jede Studentin bewundert höchstens Zwei Professorinnen B) Jede Studentin bewundert genau Zwei Professorinnen Herzlichen Dank 🙂

Beim Lösen des Baumkalküls habe ich z.T. andere Bäume (eine andere Reihenfolge der einzelnen Prämissen) erhalten. Es waren aber dieselben Prämissen,nur in einer (nicht wahnsinnig) anderen Reihenfolge. Ich habe aber darauf geachtet, dass α- Formeln zuerst entwickelt werden. Die Resultate waren auch immer dieselben. Geht das dann in Ordnung so? Ausserdem habe ich bei ÜB