Lógica dicotómica

Un método de razonamiento basado en que cada restricción del problema puede ser considerada verdadera o falsa. La dicotomía verdadero/falso, una vez aplicada a cada restricción del problema, provee bases para la ramificación bajo la forma de árboles de decisión. Aristóteles propuso una lógica con dos valores. La matemática de la lógica de dos valores, sirvió como base durante muchos años para la mayoría de las estructuras de control en lenguajes de programación.