Prädikatenlogik/Folgerung/Unerfüllbarkeit/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es gilt genau dann, wenn nicht erfüllbar ist.

Einen Beweis erstellen