Die Aussagenlogik ist derjenige Zweig der Mathematik und Informatik, der sich mit wahren und falschen Aussagen auseinandersetzt.