Aussagenlogik
摘要
AussagenlogikAussagenlogik spiegelt die grundlegenden Ideen des korrekten Schlussfolgerns wider. Zuerst betrachten wir die Verbindung zwischen Boole’scher Algebra und Aussagenlogik. Anschließend werden wir die Resolutionsmethode vorstellen, mit der man korrektes Schlussfolgern überprüfen kann.