Zum Inhalt springen

Aussagenlogik/Ableitung und widerspruchsfrei/Aufgabe

Aus Wikiversity

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik über einer Aussagenvariablenmenge und es sei . Es gelte

Zeige, dass dann

widerspruchsfrei

ist.