Unter aussagenlogischen Ausdrücken versteht man die Zusammenstellung komplizierter Aussagen aus Aussagen und Junktoren.