Semantik - Aussagenlogik: Bausteine

Klaus lacht nicht

(Klaus lacht)

A [nicht]

Uta ruft und Klaus lacht

(Uta ruft) /\ (Klaus lacht)

A /\ B

[und]

Stefan hört Musik oder Uta spielt Geige.

(Stefan hört Musik) \/ (Uta spielt Geige)

A \/ B

[oder]

Wenn Lars singt, lacht Uli

(Lars singt)->(Uli lacht)

A->B

[wenn-dann]

Waldi bellt genau dann, wenn Stefan singt.

(Waldi bellt) <-> (Stefan singt)

A <-> B

[genau-dann-wenn]]