La lógica es una herramienta para resolver problemas. En la lógica matemática, una PROPOSICIÓN (o DECLARACIÓN) es una oración que es verdadera o falsa. No puede ser ambas cosas. Una forma de pensarlo ...La lógica es una herramienta para resolver problemas. En la lógica matemática, una PROPOSICIÓN (o DECLARACIÓN) es una oración que es verdadera o falsa. No puede ser ambas cosas. Una forma de pensarlo es que para que sea verdad, debe ser siempre cierto. No puede haber clasificatorios.