Navigation

Anhang 2

Anhang 2: Sonderzeichen der Logik

 

(1) Relationale Eigenschaften von zwei bestimmten gehaltvollen Aussagen

1.1 [(A B) ist gegeben.] bedeutet

[Aus der Aussage A folgt die Aussage B.].

1.2  [(A B) ist gegeben.] bedeutet

[Aus der Aussage A folgt nicht die Aussage B.].

1.3  [(A B) ist gegeben.] bedeutet

[Die Aussage A ist äquivalent mit der Aussage B.].

1.4  [(A B) ist gegeben.] bedeutet

[Die Aussage A ist nicht äquivalent mit der Aussage B.].

 

(2) Die Konstruktion von bestimmten Aussagetypen

2.1  (A  B ∧ C)

Das ist die Konjunktion (A und B und C).

Durch die Verknüpfung der gewöhnlichen Aussagen A, B und C derselben Sprachebene
mithilfe des Bindeworts „und“ entsteht eine ganz bestimmte gehaltvolle Aussage.
Diese ist meistens eine gewöhnliche Aussage, manchmal eine kontradiktorische.

2.2  (A B ∨ C)

Das ist die Adjunktion (A oder B oder C).

Durch die Verknüpfung der gewöhnlichen Aussagen A, B und C derselben Sprachebene
mithilfe des nicht ausschließenden Bindeworts „oder“
entsteht eine ganz bestimmte gewöhnliche Aussage (lateinisch „vel“).

2.3  (¬ A)

Das ist die abstrakte Negation der gewöhnlichen Aussage A, kurz: (nicht A).

Die gewöhnliche Aussage A wird verneint,
ohne dass eine zusätzliche Information gegeben wird.
So entsteht eine ganz bestimmte gehaltvolle Aussage.
(¬ A) ist meistens eine gewöhnliche Aussage, manchmal eine kontradiktorische.
A und (¬ A) sind Aussagen derselben Sprachebene.