Aussagenlogik/Variablenbelegung/Ableitbarkeit/Fakt/Beweis/Aufgabe
Erscheinungsbild
Es sei eine aussagenlogische Aussage und es seien die darin vorkommenden Aussagenvariablen. Es sei
eine fixierte Konjunktion dieser (negierten) Aussagenvariablen. Zeige, dass dann
gilt.