1.1.1.1.

Gramtica de

La gramtica de

se compone de un conjunto de reglas, a las que

llamaremos reglas de formacin. Dichas reglas de formacin son clusulas que
especifican las posibles cadenas de signos que pueden formarse con los smbolos
bsicos. Las secuencias resultantes de la aplicacin de tales clusulas sern
llamadas frmulas bien formadas (o simplemente frmulas).
Las clusulas son establecidas con precisin para evitar la ambigedad, y
tales clusulas utilizan otros signos auxiliares que llamaremos variables
esquemticas: Estos signos auxiliares no deben confundirse con las
variables proposicionales, ya que estos ltimos son signos que pertenecen al
lenguaje de la lgica proposicional, y los primeros son signos que pertenecen al
lenguaje (en este caso al espaol) con el que describimos el lenguaje de la lgica
proposicional. En otras palabras, la diferencia entre variables proposicionales y
variables esquemticas es, que las primeras son signos del lenguaje objeto, y
segundas son signos del metalenguaje.
A continuacin presentamos las reglas de formacin:
1) Toda variable proposicional es una frmula.
2) Si es una frmula, tambin lo es .
3) Si y son frmulas tambin lo son , , ,
.
4) Nada es una frmula a menos que resulte de la aplicacin de las reglas
1-3.
La regla 1) nos dice que todas las variables proposicionales usadas para
representar oraciones simples son frmulas. La regla 2) especifica que siempre
que se considere a un signo -o a una cadena de signos- como una frmula, la
adjuncin del signo bsico genera una frmula, en este caso su negacin. La
regla 3) indica que, si tenemos dos frmulas cualesquiera, con ayuda de las
constantes lgicas podemos formar nicamente las frmulas que ah se
especifican. En otra terminologa 2) dice que la negacin es un signo mondico, es
decir que se antepone slo a una frmula, y 3) dice que las restantes conectivas
son didicas, esto es, que unen dos frmulas cualesquiera. 4) es la clusula
recursiva que limita la generacin de frmulas a lo especificado con las reglas
anteriores.
De esto podemos extraer dos cosas. En primer lugar y como hemos mencionado,
que hay dos tipos de frmulas, las que representan oraciones simples como , y
las que representan oraciones compuestas, como . A las primeras las
llamaremos frmulas atmicas, y a las segundas frmulas moleculares. En
segundo lugar, el uso de las conectivas no se reduce a las frmulas atmicas, sino
que se extiende a las moleculares. Aqu es en donde resalta la funcin de las
variables esquemticas, pues no slo representa a una variable proposicional
, esto es, una frmula atmica; sino que puede representar el enlace entre
variables proposicionales generado por una constante lgica , es decir,
una variable esquemtica tambin puede representar una frmula molecular. Por
esta razn, las clusulas permiten generar frmulas como c) ,
donde es representado por , y por , y de acuerdo con la regla 3), c)
es una frmula bien formada, ya que sigue el esquema .