Die Logik ist die Lehre von Beweis und Widerlegung von Aussagen aufgrund ihrer logischen Form. Sie definiert und unterrichtet die Folgerungsbeziehungen zwischen Aussagen. Wir kennen aus der Umgangssprache den Begriff Aussage. Jede mit Worten formulierte Feststellung ("es regnet") oder Behauptung ("1+2=3") ist eine solche Aussage. Von solchen Sätzen lässt sich im allgemeinen bestimmen, ob sie zutreffen oder nicht, d.h. ob sie wahr sind oder nicht. Man kann also den Wahrheitswert der Aussage bestimmen.