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.) Aufgabe 1i) Dürfte man für die Satzkonstante q auch schreiben: „Private Schulen übernehmen die Aufgabe der
staatlichen Schulen, die eine hervorragende Ausbildung garantieren.“ (dafür keine Satzkonstante „r“
4.) Aufgabe 1l) Wäre auch (p v nichtp) –> r möglich?
5.) Aufgabe 1m) Wäre auch (nichtp ^ q) –> (r nichts) möglich?
6.) Aufgabe 1o) Ist es auch möglich lediglich folgendes zu schreiben: p –> (nichtq v (r ^ s))
7.) Aufgabe 3: Hatte ich Mühe mit der Aufgabenstellung: „Geben Sie jeweils auch alle und nur die alternativen
Formalisierungen an.“ Mir ist immer noch nicht klar, was hier genau verlangt wird…
8.) Aufgabe 3c) Kann man statt „man“ auch „Jemand“ schreiben?
9.) Aufgabe 3d) Kann man statt „man“ auch „Eine Person“ schreiben?
10.) Aufgabe 7b) Weshalb ist dies korrekt?

Es sind zwar einige Fragen, entschuldige, aber ich glaube einige (2/3/8/9…) sind ziemlich schnell zu beantworten.
Ich hoffe es ist nicht zu zeitintensiv

Vielen lieben Dank und einen schönen Abend

Corinne

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 24: Handelt es sich bei Nr.2: Qa um eine freie Variabel?

Vielen Dank für die Antworten und noch eine gute Woche

Es liebs Grüessli

Corinne

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 nicht vergessen werden darf: Alle Studierenden sind herzlich eingeladen, an den Probevorträgen teilzunehmen (Daten und Zeiten sollten euch von Simon Berwert via E-mail mitgeteilt worden sein). Das ist nicht nur eine Gelegenheit, einen Einblick in die momentane Forschung zu erhalten, sondern auch für euch als Studierende wichtig – eine (Assistenz-)Professur wird schliesslich nicht alle Tage besetzt! Deshalb: Ein zahlreiches Erscheinen ist erwünscht 🙂

Eine gute Woche und liebe Grüsse

Gina

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 ist und ich diese nicht verändern darf?

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 Baumkalkül bezüglich einem bestimmten Typus von Aufgabenstellung anzuwenden hat. Falls Fragen bestehen sollten, kann man sich gerne an mich (via simon.vonlanthen@uzh.ch) wenden.

Ich hoffe, das Dokument vermag dem einen oder anderen Studierenden zu helfen!

Freundliche Grüsse
SDV

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 p ^ q ^ r) möglich? Falls nein, weshalb?
(p nicht q) v ((q nicht p) ^r)
p= Er ist zu Fuss gekommen.
q= Er hat den Bus genommen.
r= Der Bus ist zusammengebrochen.

h) p –> nichtq
p=Du gibst dir Mühe.
q=Das wird heute etwas.

Zur Aufgabe 3

c) Ist dies auch korrekt?:
„Genau dann und nur dann, wenn die Vielheit nicht nur Schein ist, ist es nicht der Fall, dass zugleich die
Bewegung nicht ausserhalb des Dingseins liegt oder das Wahre das Ganze ist.“

Zur Aufgabe 4

k) Ich hätte hier gesagt, es handelt sich um einen ungültigen Schluss,da:
p v q
q
____________
also nicht p

p=Karlchen hat schlimmes Bauchweh.
q=Karlchen ist einfach nur schlecht gelaunt.

Vielen herzlichen Dank für die Antworten!

Es liebs Grüessli

Corinne

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? Ich danke vielmals für eure Antworten.

Liebe Grüsse

Uddhava Stubenrauch

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