Zum Inhalt springen

Prädikatenlogik/Folgerung/Unerfüllbarkeit/Fakt

Aus Wikiversity

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