Aussagenlogik/Wahrheitsbelegung/Definition/Begriff