0 valutazioniIl 0% ha trovato utile questo documento (0 voti)
37 visualizzazioni2 pagine
Este documento presenta las reglas de formación de la gramática de la lógica proposicional. Estas reglas especifican las posibles cadenas de signos que pueden formarse con los símbolos básicos de la lógica proposicional para generar fórmulas bien formadas. Las reglas establecen que las variables proposicionales y las fórmulas atómicas son fórmulas, y que mediante el uso de las conectivas lógicas como la negación y conjunción se pueden generar fórmulas moleculares compuest
Este documento presenta las reglas de formación de la gramática de la lógica proposicional. Estas reglas especifican las posibles cadenas de signos que pueden formarse con los símbolos básicos de la lógica proposicional para generar fórmulas bien formadas. Las reglas establecen que las variables proposicionales y las fórmulas atómicas son fórmulas, y que mediante el uso de las conectivas lógicas como la negación y conjunción se pueden generar fórmulas moleculares compuest
Este documento presenta las reglas de formación de la gramática de la lógica proposicional. Estas reglas especifican las posibles cadenas de signos que pueden formarse con los símbolos básicos de la lógica proposicional para generar fórmulas bien formadas. Las reglas establecen que las variables proposicionales y las fórmulas atómicas son fórmulas, y que mediante el uso de las conectivas lógicas como la negación y conjunción se pueden generar fórmulas moleculares compuest
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 .