Prädikatenkalkül/p unableitbar aus T/Widerspruchsfrei/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Ausdrucksmenge aus einer Sprache erster Stufe und ein weiterer Ausdruck. Es sei nicht aus ableitbar. Zeige, dass man aus keinen Widerspruch (also keinen Ausdruck der Form )

ableiten kann.
Eine Lösung erstellen