La lógica utiliza un lenguaje exacto que no da lugar a imprecisiones, para lo cual toma como elemento básico de análisis la proposición, que no es otra cosa que una oración escrita en lenguaje cotidiano, pero para simplificar la escritura de argumentos lógicos complicados, crea un lenguaje simbólico artificial, de acuerdo a lo anterior y teniendo en cuenta la frase: 'La lógica te llevará de A a B. La imaginación te llevará a todas partes' (Albert Einstein), se puede concluir que está escrita en: