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
widerspruchsfrei ist.
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es sei . Es gelte
Zeige, dass dann
widerspruchsfrei ist.