Zum Inhalt springen

Aussagenlogik/Vollständigkeitssatz/Tautologie/Fakt/Beweis