Ich wollte noch fragen, betreffend der Beziehung zwischen AL- und PL-Formeln ist.
Ich habe begriffen, dass: Wenn AL-Tautologie –> PL-Tautologie (aber nicht umgekehrt)
Nun stellen sich mir folgende Frage:
„Gibt es AL-Kontradiktionen, die PL erfüllbar sind?“ oder anders ausgedrückt: „Sind AL-Kontradiktionen immer PL-Kontradiktionen?“
Danke im Voraus
G.
2 Comments
Die Semantik der Junktoren (Satzoperatoren von AL) ist auch Teil der Semantik von PL. (s. VL10 F10) Im Gegensatz zu AL, bei der Sätze atomar (nicht weiter analysierbar) sind, kann man mit PL auch Prädikate, Individuen und Quantoren analysieren. D.h.: PL kann gewissermassen noch tiefer in die logische Struktur eines Satzes eindringen.
Wenn es sich bei einem Satz aber schon auf der Junktorenebene (AL) um eine Tautologie oder Kontradiktion handelt, heisst das, dass sich damit auch automatisch auf der tieferliegenden PL-Ebene eine Tautologie bzw. Kontradiktion ergibt.
Daraus ergibt sich:
1) Alle AL-Tautologien sind auch PL-Tautologien (aber nicht umgekehrt).
2) Alle AL-Kontradiktionen sind auch PL-Kontradiktionen (aber nicht umgekehrt).
Herzlich, Simon
Danke dir für die super Erklärung.
Gruss und schönes Wochenende.
Guido
Post a Comment