Kommentare zu: Relation zwischen AL- und PL-Formeln http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=446 Weblog zur Einführung in die formale Logik [8. Jahrg.] Sun, 14 Dec 2014 18:04:00 +0000 hourly 1 https://wordpress.org/?v=4.1.38 Von: Guido Albers http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=446#comment-32 Sat, 24 May 2014 09:44:26 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=446#comment-32 Danke dir für die super Erklärung.
Gruss und schönes Wochenende.

Guido

]]> Von: Simon Rüttimann http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=446#comment-31 Sat, 24 May 2014 09:29:52 +0000 http://philsem.nns.ch/e-learning/logik/2014/wordpress/?p=446#comment-31 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

]]>