El clásico sistema de lógica bivalente es la lógica aristotélica que se sustenta en tres principios básicos: