El siguiente trabajo es una introducción en la fomalización en la obra de J. Lacan pero se centra en varios elementos que son tomados de la lógica simbólica para que el gran psicoanalista francés pueda realizar una teorización de su clínica. También hay una pequeña introducción a algunos elementos de la lógica para poder entender y diferenciar el trabajo que realiza en gran parte de su obra Lacan como son los matemas de la sexuación. La lógica es de gran importancia para la enseñanza del psicoanálisis, de ahí la importancia que tiene este trabajo para una introducción en el tema.