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 🙂
Weblog zur Einführung in die formale Logik [13. Jahrgang]
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 🙂
Liebe(r) fellowshipofthephil1
Du fragst explizit nach einer Formalisierung, die nicht Russells Kennzeichentheorie berücksichtigt (übriges, „Russell“ schreibt man mit zwei „l“) – in Logik1 hätten wir deine Sätze so formalisiert:
A) ∀x(Px→Qx)
B) ∀x(Px→Rx)
Dabei soll gelten:
Px: x ist eine Studentin
Qx: x bewundert höchstens zwei Professorinnen
Rx: x bewundert genau zwei Professorinnen
Damit werde ich aber vermutlich deine Frage nicht beantwortet haben(-;
Erst will ich dich also fragen, worin der Sinn deiner Frage besteht? Weshalb oder wann soll man bei der Formalisierung Russells Analyse berücksichtigen?
Ausserdem will ich dich auf VL06S15 aufmerksam machen. Auf dieser Folie wird dir erklärt, wie beide deine Sätze zu formalisieren sind. Deshalb will ich vorschlagen, dass du erst in einem eigenen Versuch deine Sätze formalisierst. Selbstverständlich werde ich sie danach prüfen.
Liebe Grüsse
Uddhava