Trainingsprogramm zu formalen Techniken linguistischer Analyse

Semantik - Aussagenlogik: Junktoren

 

Definition der Junktoren
Wahrheitswertverteilung

["gdw": genau dann, wenn]

A ("nicht A") ist wahr gdw A falsch ist;

A /\ B ("A und B") ist wahr gdw A und B beide wahr sind;

A \/ B ("A oder B") ist wahr gdw mindestens einer von A und B wahr ist;

A <-> B ("A genau dann, wenn B") ist wahr gdw A und B beide wahr oder beide falsch sind;

A -> B ("wenn A, dann B") ist falsch gdw A wahr ist und B falsch ist,

d.h. A -> B ist wahr gdw

Geben Sie die Wahrheitsbedingungen an: Wann sind die folgenden Formeln jeweils wahr?

A <-> B
Lösung anzeigen
(A \/ B)
Lösung anzeigen
(A /\ B)
Lösung anzeigen
A /\ B
Lösung anzeigen
Suche
Kontakt | Impressum