Mittwoch, 29. August 2007

Kapitel II: Mathematische Logik

1. Formeln der Aussagelogik

Ausagevariabeln: A,B,C
Wahrheitswerte: (Konstanten) W, F
Junktoren (Verknüpfer): Negation (n.) (und) (oder)

Formeln aus einer Variabeln: A
Negation: nicht A
Konjunktion: A und B
Disjunktion: A oder B

Wahrheitswerte: w=wahr, t=true, f=falsch, f=false
Wahrheitstafeln
Klammern + Negation binden stärker als => n. wird zuerst ausgeführt

Sprechweisen
Tautologie = allgemeingültig
Widerspruch = Kontradiktion

Keine Kommentare: