Fehlerhafte Anweisungen sind logische Entitäten mit einem Nullwert (falsch). Im Allgemeinen ist ein Satz ein sprachlicher (Satz) oder mathematischer Ausdruck, aus dem seine Wahrheit oder Falschheit sichergestellt werden kann. Sätze sind die Grundlage der Logik und bilden ein sehr spezifisches Feld, das als Satzlogik bekannt ist.