Dieses Kapitel führt die Aussagenlogik als formales System zur Darstellung von Wissen und Ableitung von Schlüssen ein. Sie operiert mit Aussagen, die wahr oder falsch sind, und Junktoren wie „und“, „oder“ oder „wenn … dann“. Syntax und Semantik werden erläutert, ebenso Eigenschaften wie Allgemeingültigkeit und Widerspruchsfreiheit. Schlussregeln wie Modus ponens, Modus tollens und Resolution werden eingeführt und an Beispielen veranschaulicht..