Eine kurze Frage zur Aufgabe 1e) des Übungsblattes 5: wäre es falsch „everybody loves somebody sometime“ alternativ zur Musterlösung so zu formalisieren: ¬∃x(Px∧∃y(Py∧¬Qxy))? (in der Musterlösung wurde es so formalisiert: ¬∃x(Px ⋀ ¬∃y(Py ⋀ Qxy)) ) Danke für die Hilfe! Lg
Read on »Beiträge von: kvidov
Übungsblatt 4
Hallo zusammen, ich habe noch nicht verstanden, wie man Freges Begriffschrift-Urteile in die PL übersetzt. Konkret meine ich die Aufgabe 4 des Übungsblattes 04 (b und c) Gibt es dafür eine Schritt-für-Schritt Anleitung? Ich bin vor allem verunsichert darüber, wann eine Existenzaussage und wann eine Allaussage kommt. Die Negationen bekomme ich dann schon weg mit
Read on »