Aufgabe:
Gegeben sei die folgende prädikatenlogische Skolemformel φ, deren Matrixformel bereits in KNF ist.
Problem/Ansatz:
Hallo, wie löse ich am besten diese Aufgabe? Vielen Dank im voraus.
Ein anderes Problem?
Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos
