SAP-Lösung: Konsistenz

Informatik: Laut formalen Sprachen, Automaten und Logik gilt eine Menge von Aussagen als konsistent oder widerspruchsfrei, wenn aus der Aussage kein Widerspruch abgeleitet werden kann, also kein (wahrer) Ausdruck und zugleich dessen Negation gilt.