Das Prinzip der Zweiwertigkeit, auch Bivalenzprinzip genannt, ist die Eigenschaft einer  Logik, dass semantisch jeder Formel genau einer von zwei Wahrheitswerten zugewiesen wird. Häufig werden diese Wahrheitswerte als wahr und falsch bezeichnet.