Aussagenlogik/Ableitung und widerspruchsfrei/Aufgabe
Erscheinungsbild
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es sei . Es gelte
Zeige, dass dann
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es sei . Es gelte
Zeige, dass dann