Aussagenlogik/Wahrheitsbelegung/Definition/Begriff

Eine Wahrheitsbelegung für eine Menge an Aussagenvariablen.