Die Aussagenlogik hat eher mit Sachverhalten zu tun als mit Tatsachen. Sie ist eine Theorie über die Existenz von Sachverhalten. Werden Aussagen miteinander verknüpft, ergibt sich die Aussage über einen Sachverhalt. Eine Aussage ist ein atomares sprachliches Gebilde, das einen Sachverhalt intendiert und dadurch die Eigenschaft erhält, wahr oder falsch zu sein. Demnach ist eine Aussage nur dann wahr, wenn der intendierte Sachverhalt tatsächlich besteht. Eine positive Tatsache ist ein bestehender Sachverhalt; eine negative Tatsache ist ein nichtbestehender Sachverhalt. In der Philosophie ist ein Sachverhalt der Gegenstand einer Aussage, die beschreibt, wie etwas beschaffen ist. Eine Bedingung formuliert einen Sachverhalt, der in bestimmter Weise Voraussetzung für einen anderen Sachverhalt ist. Ohne den Begriff des Sachverhalts lässt sich keine Aussagenlogik betreiben.