Aussagenlogik (Semantik)

Belegung ist Abbildung b : V→{0, 1}

Wert einer Formel F unter einer Belegung b:

Notation: b $ \models$ F für: wert(b, F) = 1



Johannes Waldmann 2012-02-01