a disyuntiva entre cierto o falso, probable o improbable, razonable o insensato se nos presenta continuamente en la vida cotidiana. La lógica es la hermana formal y estricta pero mundana de la matemática. Como ciencia de los principios del pensamiento deductivo y de la demostración, también invade el terreno de la filosofía y la informática y ha sacado de sus casillas y enriquecido a la matemática.