Allgemein

Kann mir jemand den Unterschied bzw. die Unterschiede dieser Formeln erklären? Bzw. in der ersten Formel ¬∀y∀x würde ich behaupten, bezieht sich die Negation nur auf den ersten Allquantor. Hingegen bei der zweiten Formel ¬(∀y∀x) auf beide Quantoren. Wenn meine Überlegung stimmen würde, inwiefern unterscheidet sich dann ¬(∀y∀x) von ¬∀y¬∀x? Herzlichen Dank 🙂

Liebe Studierende, Auf der dritten Folie des Foliensatzes zur fünften Vorlesung haben sich einige Fehler eingeschlichen. Eine korrigierte Fassung ist ab sofort unter „Vorlesung“ verfügbar. (Kein Tutor hat alle Fragen beantwortet, aber ein Tutor hat alle Fehler gefunden 😉 Danke!

Die Formalisierung ∀y (Py → ∀x (Qxy → Rx)) mit Px: x ist Wahrsagerin Qxy: x ist Kunde von y Rx: x ist einfältig sagt gemäss CCP und den Tutoren angeblich etwas anderes aus als: ∀x (∃y(Py ˄ Qxy) → Rx) Mit dem Baumkalkül komme ich jedoch darauf, dass: ∀y (Py → ∀x (Qxy →

Hallo Zusammen, Gerne würde ich fragen, ob folgende Äquivalenzen stimmen: A v B nicht B –> A nicht A –> B A v nicht B nicht B v A A –> B A ^ B nicht (nicht A v nicht B) nicht A ^ nicht B nicht (A v B) Übungsblatt 4 Aufgabe 1 d)

Hallo Zusammen! 3 kurze Fragen, welche ich gerne stellen möchte : ) 1.) Liefern Funktionen immer Wahrheitswerte oder nur Wahrheitsfunktionen? 2.) Mir ist, auch nach der Lektüre, nicht ganz klar, was Frege mit einem „Ausdruck“ meint… Ist hiermit die Form für den Inhalt einer Funktion gemeint? bzw. der in einer Funktion geäusserte Gedanke? 3.) Folie

Hallo Zusammen, gerne würde ich drei kurze Fragen stellen: 1.) Wieso gibt es in der traditionellen Logik mehr anerkannte Modi? Da wird die Existenz ja sogar vorausgesetzt. Ist es nicht jeweils so, dass wenn zusätzliches vorausgesetzt wird, dann der Bereich des möglichen eingeschränkt wird? Unter dieser Bedingung müsste es doch demnach in der traditionellen Logik

Hallo zusammen! Ich habe eine Frage zu den x-en in Aufgabe 1 der aktuellen Übungen. In der Teilaufgabe b) beispielsweise steht das x in der Mitte des Bereichs 7. Wofür gilt dieses x nun genau? Denn wenn es tatsächlich nur für Bereich 7 gilt, müsste man dazu eine Aussage mit drei Begriffen machen: Einige M

Guten Abend Zusammen, gerne würde ich drei kurze Fragen stellen: 1.) Aufgabe 3a: Wäre hier auch korrekt: „Es ist nicht der Fall, dass es einige Studenten gibt, die nicht aufmerksam sind?“ statt „Es ist nicht der Fall, dass es einen Studenten gibt, der nicht aufmerksam ist“ (Musterlösung) 2.) Aufgabe 6: Was ist Px und was

In der modernen Logik ist der Individuenbereich nicht leer, d.h. es muss mindestens ein x in U geben. Weshalb aber ist diese Annahme, dass der Individuenbereich nicht leer ist, für die moderne Logik notwendig?

Hallo zusammen, ich habe eine Frage: ist eine Aussage wie „Alle x sind keine y.“ eine a oder e Aussage?