1 Logik

[next] [prev] [prev-tail] [tail] [up]

Kapitel 1
Logik

Einiges über Logik
Eine Aussage ist ein Satz, der entweder wahr (w) oder falsch (f) ist.
A, B, C, $...$ Variablen für Aussage
$¬A$ die Verneinung von $A$ : $¬A$ ist wahr, genau dann wenn $A$ falsch ist.
$¬A$ ist falsch, genau dann wenn $A$ wahr ist.

1.1 Wahrheitstabellen
1.2 Implikation $'-->$
1.3 Der indirekte Beweis
1.4 Aussage $<-->$

Beispiel:

$A$ : Alle Leser dieses Buches finden, es ist schön.

$¬A$ : Es gibt (mindestens) einen Leser, der es nicht schön findet.

Neue Aussagen: $(A \/ B) /\ (A /\ B)$ sind neue Aussagen, die mittels der Wahrheitswerte von $A$ und $B$ wie folgt definiert sind:
$(A \/ B)$ ist falsch, wenn sowohl $A$ als auch $B$ falsch sind, in allen anderen Fällen ist $(A \/ B)$ wahr.

[next] [prev] [prev-tail] [front] [up]