Aussagenlogik/Ableitung und widerspruchsfrei/Aufgabe
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