Aussagenlogik/Ableitung und widerspruchsfrei/Aufgabe
Zur Navigation springen
Zur Suche springen
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