Allgemein

Hallo Zusammen, gerne würde ich kleinere Fragen zum Übungsblatt 8 stellen, für welche im Tutorat leider keine Zeit mehr blieb… 1.) Aufgabe 1a) lautet die Satzkonsanste q nicht: „Die Lösung im Reagenzglas ist sauer.“ (Im Text ist ja auch „ist“) 2.) Aufgabe 1d) Wäre es auch korrekt zu schreiben: (p v q) ^ (p–>r)? 3.)

Hallo Zusammen, gerne würde ich zwei Fragen zur Vorlesung 9 stellen plus eine allgemeine Frage: 1.) Wenn etwas transitiv ist, ist es dann auch asymmetrisch? z.B. „x ist kleiner als y“ würde ja beides erfüllen 2.) Allquantor x(Pa) darf man nicht schreiben, oder? Denn dann würde sich der Allquantor ja auf nichts beziehen..? 3.) Folie

Liebe Logik Studis Eine kleine Ankündigung: Auf Grund der Probevorträge im Rahmen der Besetzung der Assistenzprofessur mit Tenuretrack an der philosophischen Fakultät wird das Tutorat vom Donnerstag, 19.05., welches jeweils von 15:00-16:00 stattfindet, ausfallen. Diejenigen, die normalerweise in dieses Tutorat kommen, sind gebeten ein anderes aufzusuchen, falls sie in der kommenden Woche Fragen haben. Was natürlich

Aufgabe 3) Wie kann ich diese Aussagen formalisieren und begründen? Bsp für a) ⱯxⱯy Pxy → ⱯxⱯyPxy P_ x liebt y So wäre dies Aussage zutreffend, da die Formeln identisch sind. Bsp: c) ƎxⱯyPxy → ⱯyƎxPxy P x liebt y Wäre diese Aussage dann nicht zutreffend, da die Reihenfolge der Quantoren für die Aussage wesentlich

Liebe Studierende der Logik I Ich habe soeben ein von mir handschriftlich verfasstes Dokument unter der Rubrik „Tutorate“ hochgeladen, welches zusätzliche Übungen zum Baumkalkül beinhaltet. Diese Bäume sind bewusst nicht besonders kompliziert gehalten, da die Beispiele eher helfen sollten, die verschiedenen Anwendungsarten des Baumkalküls aufzuzeigen. Das Ziel wäre also verständlich zu machen, wie man das

Hallo zusammen, in Uebungsblatt 8 kommt immer wieder vor man sollte die Interpretation der Satzkonstanten angeben. Wie sollen die Interpretationen denn aussehen. Soll man das mithilfe der AL Sprache machen? Danke vielmal

Liebe Studierende, die Übung nach den Osterferien (25.4.) wird entfallen, am 2. Mai biete ich jedoch eine Übungsstunde an, auch wenn wir noch keine neue Musterlösung zu besprechen haben – üben kann man schliesslich immer! Ich wünsche euch einen schönen Ausklang der Osterferien. Liebe Grüsse, Christoph

Hallo Zusammen, nachdem ich die Musterlösung betrachtet habe, würde ich gerne noch kleinere Fragen stellen: Zur Aufgabe 2 f) wäre auch (p^ nicht q) v (nicht p ^ q) möglich? Falls nein, weshalb? p nicht q p= Jörg bleibt in München. q= Jörg kommt nach Bielefeld. g) wäre auch (p ^ nicht q) v (nicht

Hallihallo allerseits, Ich habe eine Frage zur Aufgabe 2.e) aus der Übung 7. Uns wurde unter anderem die Lösung „q⋁(p⋀q)“ angegeben. Nun sehe ich dabei ein semantisches Problem. Denn mit dieser Formel besteht doch die Möglichkeit, dass in einem Fall ein und dasselbe „q“ zwei mal ausgesagt wird. Ist das denn erlaubt, und wenn ja, weshalb?

Liebe Studierende Nur als kleiner Reminder: An diesem Freitag wird das Tutorat von Andreas und mir nicht stattfinden. Die Uni bleibt am Karfreitag geschlossen. Wir wünschen Euch schöne Osterferien 🙂 Gruss Julian