El objetivo de este libro es facilitar la entrada en la lógica formal, aplicada al análisis lingüístico. Al mismo tiempo, se propone proporcionar un panorama de los principales aspectos de lingüística y especialmente de la semántica en que la formalización resulta fructífera o por lo menos esclarecedora. A lo largo del libro se presentan los instrumentos de análisis, con ejercicios para que el lector vaya entrenándose en su uso.