Hallo allerseits

Üblatt 9, Aufg. 1w)

Formalisierung von:

Alle Gäste, die das Fest
früh verlassen haben, sind auf
dem Heimweg in den Regen
geraten.

Px: x ist ein Gast
Qx: x hat das Fest früh
verlassen
Rx: x ist auf dem Heimweg in
den Regen geraten.

In den Musterlösungen steht hier: ∀x(Px ⋀ Qx → Rx)

Ich verstehe aber nicht, wieso untenstehende Lösung mit denselben Prädikatskonstanten nicht auch korrekt sein sollte?

∀x(Px→(Qx → Rx))

Danke und Gruss!

Steff

Da wir in der Übung am Dienstag nicht mehr auf alle Fragen eingehen konnten (z.B. auf die Frage zu restriktiven Relativsätzen), habe ich ein kleines Knobel-Quiz gebastelt. Möglicherweise ist es hilfreich, sich alle Fragen durchzulesen, bevor man die richtigen  Lösungen anklickt. Viel Spass!

Aufgrund von anderen Modulen ist es mir leider nicht möglich am grosszügigen Monstertutorat teilzunehmen… Deshalb würde ich gerne meine Fragen zum Übungsblatt 10 noch hier stellen:

1.) Übung 3.4. ist mir unklar, wie auf die Lösung gekommen werden kann…?
2.) Übung 6 Aufg. c) ginge auch: Px: x ist ein Student Qx: x löst mind. eine Aufgabe Allquantorx (Px–>Qx)?
3.) Übung 6 Aufg. d) ginge auch: Px: x ist ein Pianist. Qx: x hat ein Klavier nichtAllquantorx (Px –> Qx)?
4.) Übung 6 Aufg. f) ginge auch: Px: x ist ein Diavortrag Qx: x ist langweilig.
Allquantorx(Px–>Qx)^Existenzquantorx(nichtPx ^ Qx)

Vielen lieben Dank für die Antworten!

Es liebs Grüessli

Corinne

Hallo zusammen! Ich hätte noch einige Fragen zur Logik:

Zum Übungsblatt 9:
Aufgabe 2.)
Weshalb ist es da ‚B folgt aus A‘ und nicht ‚A folgt aus B, und B folgt aus A‘?
Aufgabe 9.)
Ich komme bei den Buchstaben ‚f‘, ‚i‘, ‚j‘, ‚p‘, ‚y‘ und ‚z‘ nicht draus… Könnt Ihr mir das noch einmal erklären?

Zum Übungsblatt 7:
Aufgabe 2h.)
Kann man da auch einfach schreiben:
p: Du gibst dir mehr Mühe.
q: Das wird heute noch etwas

Also: p –> q ?
Aufgabe 4k.)
Da ist doch die Struktur:
p v nicht-q
nicht-q
also nicht-p
und das wäre doch eine Affirmation eines Adjunktionsglieds, also ein Fehlschluss? Weshalb ist es in der Lösung ein gültiger Schluss?
Aufgabe 6d.) Wie lauten hier die Satzkonstituenten, dass man auf folgende Struktur kommt:
p –> q
nicht-q
also nicht-p ?

Zum Übungsblatt 4:
Aufgabe 1.)
Kann mir hier jemand 1f.) und 1g.) erklären?
Aufgabe 2c.)
In der 2. Zeile steht 2 Mal ein ‚es‘. Weshalb ist das erste ein anaphorischer Ausdruck und das zweite ‚es‘ nicht?
Aufgabe 4b.)
Darf man hier als Operator auch schreiben:
Er bedauert, dass nicht-A. ? Und dann als Satzkonstituente: Er hat Susanne geheiratet. ?
Aufgabe 5a.)
Könnte man hier auch als Operator nehmen: „Sie fragte sich, wie A und B“
Aufgabe 5b.)
Könnte man hier „offenbar bedauerte nur er es“ auch als Satzkonstituente nehmen? Und wenn nein, weshalb nicht?

Vielen herzlichen Dank schon im Voraus!

Herzliche Grüsse,

Kora

Hallo

Dass das Substantiv im Satz „Peter verliess das Haus“ nicht als Individuenkonstante formalisiert wird, leuchtet mir mittlerweile ein. Ich frage mich allerdings, wie man „das Haus“ formalisieren müsste, wenn man sagen würde, dass das Haus gross sei.

Ferner verstehe ich nicht, weshalb man „Ein Frosch überquert die Strasse“ (Beispiel vom letzten Jahr) so formalisiert: ∃x(Px ⋀  Qxa). Wieso stellt „die Strasse“ in diesem Fall ein Individuum dar? Damit könnte schliesslich irgendeine Strasse gemeint sein, und nicht etwa die Rämistrasse oder die Albisstrasse. Das Gleiche gilt meiner Meinung nach für das Beispiel „Der Fernseher ist defekt und brummt laut, sobald man ihn einschaltet“. Wieso wird hier „der Fernseher“ mit einer Individuenkonstante übersetzt?

Vielen Dank und liebe Grüsse

Hallo, ich habe zwei Fragen zu der Aufgabe 2 bei der Übung 10.

1. Ist „Kollege“ hier relational zu verstehen, oder ist einfach jedes Strichmännchen ein „Kollege“? In der Aufgabe steht „Kollegen voneinander“, was uns nicht ganz klar war.

2. Bei dem Bild d, sitzt das Strichmännchen da auf dem linken Ast oder steht es?

Vielen Dank.

Ich habe bereits in der Übung darauf hingewiesen: Die Tutorinnen und Tutoren haben freundlicherweise angeboten, am kommenden, Freitag, 26. Mai, 8:00- 12:00 Uhr ein zusätzliches „Monstertutorat“ durchzuführen (Raum: KOL-G-209). Vielen Dank!!

Hallo Zusammen, beim nochmaligen Durchgehen der Übungen sind noch ein paar Fragen aufgetaucht, die ich nun gerne stellen würde:

1.) Übung 2 Aufgabe 7
Weshalb ist der Schluss von A1,A2,A3 auf nichtA4 mit Sicherheit gültig und nicht der Schluss von A1,A2,A3 auf A4?
Denn per DEFINITION: bilden die Prämissen eines gültigen Schlusses zusammen mit der Negation der Konklusion
eine inkonsistente Menge. Die Menge {A1,A2,A3) wird aber mit der Hinzunahme von A4 laut Aufgabenstellung
inkonsistent… Wird nun A4 negiert, wird die Menge doch wieder konsistent und somit die DEFINITION nicht
erfüllt..?!
2.) Übung 3
2.1) Aufgabe 1l) Weshalb nicht korrekt? Denn A1 bei M‘ = eine Tautologie –> Verum sequitur ex Quodlibet..?
2.2.) Aufgabe 3m) Wenn bei einem gültigen Schluss die Prämissen (hier A1, welche sicher konsistent ist) zusammen
mit der Negation der Konklusion eine inkonsistente Menge bilden, bilden dann die Prämissen mit
der Konklusion (nicht negiert, also hier einfach „A“) nicht eine konsistente Menge?
2.3) Aufgabe 3w) Hier folgt doch A nicht aus den Prämissen, falls A falsch ist… Nur wenn A wahr ist, was ja
nicht sein muss..? Denn, wenn A2 aus A1 folgt, muss A2 wahr sein, denn A1 = eine Tautologie.
Folgt A3 aus A2, muss A2 ebenfalls wahr sein (Def. gültiger Schluss). Ist nun A2 wahr, folgt
doch A nur aus A2, wenn A auch wahr ist. Doch dies ist nicht 100%ig sicher… Weshalb ist die
Behauptung dennoch korrekt?
3.) Übung 7
3.1) Aufgabe 2f) Ginge auch p nicht q? (p: Jörg bleibt in München, q: Jörg kommt nach Bielefeld)
3.2) Aufgabe 3c) Ginge auch: „Die Vielheit ist nicht nur ein Schein, genau dann, wenn es nicht der Fall ist,
dass die Bewegung ausserhalb des Dingseins liegt oder das Wahre das Ganze ist.“?
3.3) Aufgabe 4k) Ist es hier nicht „Affirmation eines Adjunktionsgliedes“?
p: Karlchen hat schlimmes Bauchweh / q: Karlchen ist einfach nur schlecht gelaunt
p v q
q
Also nicht-p
3.4) Aufgabe 6a) Hier komme ich bei der Formalisierung auf Modus ponens und nicht modus ponendo ponens
Modus ponendo ponens—> haben wir doch gar nicht gehapt (podus ponendo tollens oder
modus tollendo ponens..)
p: Es sind Mücken im Zimmer q: Das Fliegengitter ist kaputt: p–>q
p
also q
3.5) Aufgabe 6d) Auch hier, was ist Modus tollendo tollens? Ich komme auf
p: Anna sagt ihrem Mann die Wahrheit q: Er wird sich scheiden lassen
p –> q ^ nicht p also nicht q (fallacia antecedentis)
3.6) Aufgabe 4/ 6) Weshalb 4l ein zulässiger Umkehrschluss, 6i jedoch ein unzulässiger Umkehrschluss?
4.) Übung 8
4.1) Aufgabe 1d) Ginge auch: ((p ^ nicht q) v (nicht p ^ q)) ^ ((p ^ nicht q ) –> r)
p: Ich werde die Maschine um 16:30 nehmen q: Ich werde die Maschine um 17:30 nehmen
r: Ich werde noch rechtzeitig ankommen
4.2) Aufgabe 1e) Ginge auch: nicht p ^ q
p: Ich werde es versäumen. q: Ich werde dir schreiben
4.3) Aufgabe 3a) Hier ist mir die Musterlösung mit „bzw.“ nicht klar…?
Ginge auch: (p ^ nicht q) ^ nicht (q ^ nicht p) v (q ^ nicht p) ^ (p ^ nicht q)?
p: Die Erde ist eine Scheibe q: Der Mond ist aus grünem Käse
4.4) Aufgabe 3b) Ginge auch: p –> (( q ^ nicht r) v (nicht q ^ r))?
p: Der Hahn kräht auf dem Mist. q: Das Wetter ändert sich. r: Das Wetter bleibt, wie es ist.
4.5) Aufgabe 9b) könnte man den Satz „Ausserdem kann Hannah unmöglich zaubern können, wenn sie nicht im Jahr
des Drachen geboren wurde“ auch als „nicht t –> nicht r“ formalisieren?
5.) Übung 9
5.1) Aufgabe 1f) Ginge auch: Pxy: x ist älter als y // Qyx: y ist klüger als x // a: Kurtchen b: Anna
Pab ^ Qba
5.2) Aufgabe 4a) Eine grundsätzliche Frage: Darf das a vor dem Allquantor überhaupt stehen?
5.3) Aufgabe 8b) Eine grundsätzliche Frage: ist es überhaupt möglich, das x vor dem Q schreiben zu dürfen?
5.4) Aufgabe 8d) Ist das letzte x auch eine freie Variable? Ich bin verwirrt wie weit der Skopus vom
Existenzquantor reicht, weil Rxt noch dazwischen steht…
5.5) Aufgabe 9e) Wäre es hier nicht korrekt statt „mindestens“ –> „jeder“ schreiben zu müssen?
5.6) Aufgabe 9f / 9q / 9x) Weshalb 9f korrekt, 9q dann aber nicht und 9x auch nicht? Ich verstehe da nicht
wie von PL auf AL und umgekehrt geschlossen werden kann…
5.7) Aufgabe 9g) Müsste da nicht stehen: „Tautologien sind logsich wahr“?
5.8) Aufgabe 9i) Weshalb ist dies nicht korrekt?
5.9) Aufgabe 9v) Was ist mit „Satz von PL“ gemeint? Gibt es das überhaupt? Bei AL handelt es sich bei den
Sätzen um „Aussagen“, daher „Aussagenlogik“, aber wie sieht das bei PL aus? Wieso ist die
Behauptung falsch?
5.10) Aufgabe 9y/z) Weshalb sind diese falsch?

Es sind einige Fragen zusammengekommen, aber viele sind schnell beantwortbar, denke ich… Schon einmal ein rieses Dankeschöön.

Es liebs Grüessli

Corinne

Guten Tag

Ich verstehe nicht ganz, weshalb „das Fest“ nicht als Individuenkonstante angegeben werden kann – liegt dies daran, dass dieses Substantiv als blosse Bezeichnung für eine Veranstaltung dient und somit auf etwas Abstraktes referiert? Zudem ist mir nicht klar, weshalb für „etwas verlassen“ ein einestelliges Prädikat eingesetzt wird. Wieso kann man nicht sagen „Pxy: x verlässt y“? Wenn es beispielsweise hiesse, „Peter verliess seine Frau“, dann müsste man doch hierfür ein zweistelliges Prädikat einsetzen, oder?

Dann habe ich noch ein paar allgemeine Fragen; beim Satz „Manche Menschen mögen Kaffee“ bin ich mir nicht sicher, welchen Qunator man für „Kaffee“verwenden muss. Ich hätte auf den Allquantor getippt, bin mir aber nicht sicher, ob das stimmt. Genauso wenig wie bei „Manche Menschen mögen Werke von Picasso“. Ich hätte zwar auch hier auf den Allquantor (für „Werke“) getippt, allerdings könnte man dann argumentieren, dass dies unzutreffend ist, weil die betreffenden Personen längst nicht alle Werke des spanischen Künstlers mögen müssen (z.B. diejenigen Bilder, die Picasso während der blauen Phase erschaffen hat.) Oder befinde ich mich gänzlich auf dem Holzweg mit meinen Überlegungen? Und wie sieht es bei der Aussage „Viele Architekten mögen moderene Häuser“ aus?

Vielen Dank für den Input schon mal im Voraus! 🙂

Dürfen Individuenvariablen mehrfach belegt werden. Also Mehrfach im Sinne von Variablen unterschiedlicher Objektklassen.

Beispielsatz „Nicht jeder Pianist hat ein Klavier.“    (Pianist als Typ/Klasse „Mensch“; Klavier als Typ/Klasse „Instrument“)

• Px: x ist ein Pianist
• Qx: x ist ein Klavier

oder

• Px: x ist ein Pianist
• Qy: y ist ein Klavier

?

Danke und Gruss