Ein Aussagenkalkül ist ein Kalkül für die Aussagenlogik. Er leitet aus einer gegebenen Menge von Aussagen neue Aussagen her, die aus den gegebenen Aussagen aussagenlogisch folgen. Allgemein werden die Aussagen, aus denen hergeleitet wird, Prämissen genannt; die hergeleiteten Aussagen werden Konklusionen genannt. Die Herleitung einer Konklusion...