Beiträge von: hp.soland

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

Auf der Folie 17 der letzten VL sind die Satzkonstituenten jeweils ganze Sätze mit einer unveränderten,  wahren/falschen Aussage und einem Satzoperator. Wenn ich Aufgabe 4 b) anschaue sehe ich nicht wie ich den Satz in S’operator und S’konstituent zerlegen kann?   Besten Dank für einen Hinweis.