0
Das ganze ist beispielsweise für die Aussagenresolution wichtig oder generell bei Vereinfachungen. Aussagenresolution würde aber den Rahmen dieser Frage sprengen, daher leider kein Beispiel. Wenn du dich aber für automatisiertes Beweisen von Computern interessiert, kannst du das gerne mal recherchieren!
Diese Antwort melden
Link
geantwortet
mathejean
Student, Punkte: 10.87K
Student, Punkte: 10.87K