Prädikatenlogik/Aussagenlogische Tautologie/Korrektheit/Fakt