LogikSnapshot: Pränexform und Skolemisierung in der Prädikatenlogik

Das Video zeigt die Schritte der Umformung beliebiger prädikatenlogischer Formeln in Pränex-, Skolem- und Klauselform.