CIE EXORDIO CERO MAYA LIBRO LIBRE HUATAPERA PROFESOR ESCRITOR
                          












 



 


     

 

 

 

 

 










.

Apéndice: Proposición gramatical formal

 

Fragmento del texto de Guillermo Morales-Luna, titulado “Principios de Autómatas Finitos Sección de Computación CINVESTAV-IPN (2000)

URL: http://delta.cs.cinvestav.mx/~gmorales/ta/ta.html

 

Proposiciones bien formadas.

 

En el Cálculo Proposicional, las proposiciones se construyen a partir de un conjunto de variables proposicionales siguiendo un conjunto de reglas gramaticales:

i) Una variable proposicional es una proposición.

ii) La negación de una proposición es una proposición también.

iii) La conjunción, la disyunción, la implicación y la equivalencia de dos proposiciones es también una proposición.

iv) Las proposiciones se obtienen sólo mediante la aplicación sucesiva de las reglas anteriores.

 

Para describir esta construcción mediante una gramática formal, podemos considerar como conjunto de símbolos terminales al conjunto unión de los siguientes:

\begin{displaymath}\begin{array}{lclcl}
\mbox{\it VarsProp\/} &=&\{x_0,x_1,x_2,...
...arrow,\leftrightarrow\} &:& \mbox{\rm especiales}.
\end{array}\end{displaymath}


 

Como es convencional, los conectivos tienen asociada una prioridad:

\begin{displaymath}\begin{array}{\vert\vert c\vert l\vert\vert}\hline \hline
\m...
...3 & \rightarrow,\leftrightarrow \\
\hline \hline
\end{array}\end{displaymath}

donde un valor menor de Prior significa que el correspondiente conectivo se aplica más rápido, y, en igualdad de prioridades, el orden de izquierda a derecha determina el de aplicación de los conectivos. Así,

\begin{displaymath}\neg x_0\lor x_2\land x_3\lor x_5\rightarrow x_6\leftrightarrow x_7\end{displaymath}

se ha de interpretar como

\begin{displaymath}\left[\left(\left(\neg x_0\lor x_2\right)\land x_3\right)\lor x_5\rightarrow x_6\right]\leftrightarrow x_7.\end{displaymath}

Introduzcamos entonces los siguientes símbolos variables para la gramática formal:

$\langle\mbox{\it VarsProp\/}\rangle$

:


variables proposicionales,


 

$\langle\mbox{\it Prop\/}\rangle$

:


proposiciones bien formadas,


 

$\langle\mbox{\it PropNeg\/}\rangle$

:


proposiciones cuyo conectivo principal es la negación,


 

$\langle\mbox{\it PropCon\/}\rangle$

:


proposiciones cuyo conectivo principal es la conjunción,


 

$\langle\mbox{\it PropDis\/}\rangle$

:


proposiciones cuyo conectivo principal es la disyunción,


 

$\langle\mbox{\it PropImp\/}\rangle$

:


proposiciones cuyo conectivo principal es la implicación,


 

$\langle\mbox{\it PropEqu\/}\rangle$

:


proposiciones cuyo conectivo principal es la equivalencia.


 

$\langle\mbox{\it Prop1\/}\rangle$

:


proposiciones cuyo conectivo principal tiene prioridad 1,


 

$\langle\mbox{\it Prop2\/}\rangle$

:


proposiciones cuyo conectivo principal tiene prioridad 2,


 

$\langle\mbox{\it Prop3\/}\rangle$

:


proposiciones cuyo conectivo principal tiene prioridad 3,


 

En la tabla (2.1) presentamos las producciones de la gramática PBF (de Proposiciones Bien Formadas).

 

 

\begin{table}\begin{center}\fbox{\begin{minipage}[t]{40em}
\begin{eqnarray*}
\...
...$ ,}
\end{array}
\end{eqnarray*}
\end{minipage}}\end{center}
\end{table}

Table 2.1 Gramática de proposiciones bien formadas.

El lenguaje generado pr PBF consta de todas las proposiciones bien formadas a partir de las variables proposicionales $x_1,\ldots, x_n$.

 

En la presentación de las siguientes gramáticas, utilizaremos símbolos mayúsculos para denotar a los símbolos variables y minúsculos para los terminales.

 

 

Símbolo

Denota

­

Representa la partícula lingüística “no” o cualquiera otra partícula que incluya la idea de negación. Ejemplo: no es el caso que, no pasa que, ni, imposible de, etc.

^

Representa la partícula lingüística “y” o cualquier otra que indique la idea de unión, como también, igualmente, pero,…

V

 

Representa la partícula lingüística Disyunción  “o”, la o, tiene dos sentidos uno inclusivo y otro exclusivo.

Representa las partículas  lingüísticas “si … entonces …” o cualquier otra que indique  la idea de condición, como cuando…, entonces,  simplemente una “coma”.

Representa las partículas lingüísticas “…si y sólo si …” o cualquier doble condición , como equivale, cuando y sólo cuando, únicamente. Se trata de una condición necesaria y suficiente.

V

Verdadero

F

Falso

̃

No es el caso que…  negación.

\exists x\ldots

Algún objeto x, es tal que… cuantificador particular

\forall x\ldots

Todo objeto x, es tal que…  cuantificador universal

└x

El objeto x, es tal que…   operador descriptivo

Debe ser el caso que…  operador modal

Podría ser el caso que…  operador modal

… es aproximadamente igual a ….  identidad

… es menos o igual que…  identidad

…es menos que …  identidad

No ambos (…y no…)condición material

l ... l

El número que es el valor de verdad de…

(Variables)

Variables proposicionales  son los símbolos que sustituyen a las preposiciones o enunciados. Se llaman variables porque  su significado va cambiando  en las diferentes argumentaciones  o expresiones.

Constantes

Conectores proposicionales, partículas lingüísticas de significado no variable que tienen la función de alterar, relacionar o conectar enunciados atómicos haciéndolos más complejos. La negación, la conjunción, la disyunción, la condición y bicondición.