Las gramáticas lógicas son un formalismo para el tratamiento del lenguaje natural que se basa en la suposición de que podemos identi?car el análisis del lenguaje natural con una demostración lógica.

De esta manera podemos describir una gramática como si se tratara de un razonamiento en el que el objetivo es demostrar si una frase es correcta.

En este razonamiento tenemos dos elementos, en primer lugar, la frase que queremos analizar, que podríamos considerar como los hechos de nuestro razonamiento. En segundo lugar, tenemos la gramática que nos dice que frases consideramos correctas y el lexicón que nos indica qué palabras conocemos y sus categorías gramaticales, estos dos elementos serían las premisas de nuestro razonamiento que nos permitirán hacer las deducciones que nos llevaran a demostrar la validez de una frase.