Jerson Abril
Universidad Libre
Formulas bien formadas
Es una cadena de caracteres o palabra generada según una gramática formal
a partir de un alfabeto dado. Un lenguaje formal se define como el conjunto de
todas sus fórmulas bien formadas.
En la Teoría de la demostración, las demostraciones son secuencias de
fórmulas bien formadas con ciertas propiedades, donde la última fórmula de la
secuencia es aquello que se demuestra. Esta fórmula final se llama teorema
cuando tiene un papel importante en la teoría siendo desarrollada, o lema
cuando desempeña un papel accesorio en la demostración de un teorema.
Una fórmula bien formada del cálculo proposicional se define mediante las
siguientes reglas:
1. Una letra enunciativa es una fbf.
2. Toda fbf a la cual se antepone el símbolo "¬" (negación) es una fbf.
3. Si a y b son fbfs, entonces también lo son las secuencias: (a∧b)(avb)
4. Toda secuencia de caracteres producida por la aplicación de los pasos
1, 2, 3, en cualquier orden, constituye una fbf. (Cláusula de recursión)
5. Ninguna otra secuencia constituye una fbf. (Cláusula de exclusión)
Una fórmula bien formada puede ser: tautología (identidad lógica),
contradicción o contingencia (ecuación lógica).
Aunque el sistema de puntuación básico usado consiste de paréntesis ( ),
corchetes [ ] y llaves { }; todos ellos pueden reducirse sólo al uso de paréntesis.
Pero, si bien se reduce el número de símbolos, los paréntesis abundarían de tal
manera que sería imposible responder si hay paréntesis redundantes o
paréntesis incompletos. Esta puntuación representa una dificultad añadida para
determinar si una fórmula está bien formada. Para solucionar este problema
Lukasiewiks propuso una notación libre de paréntesis denominada notación
polaca o notación prefija.
En el caso general, a una FBF en la que intervengan n variables de enunciado
diferente (siendo n cualquier número natural) le corresponderá una función de
verdad de n argumentos, y la tabla de verdad tendrá 2n filas, una para cada
una de las posibles combinaciones de valores de verdad para las variables de
enunciado. Nótese además que existen funciones de verdad distintas de n
argumentos, que corresponden a las maneras posibles de disponer los 1’s y los
0’s en la última columna de una tabla de verdad de 2n filas. Está claro que el
número de formas enunciativas que se pueden construir utilizando n variables
de enunciados es infinito, así que formas enunciativas distintas pueden
corresponder a una misma función de verdad.
Una FBF es una tautología si toma el valor de verdad bajo cada una de
las posibles asignaciones de valores de verdad a las variables de
enunciado que aparecen en ella.
Una FBF es una contradicción si toma el valor de verdad 0 bajo cada
una de las posibles asignaciones de valores de verdad a las variables de
enunciado que aparecen en ella.
Una forma enunciativa que no cae en una u otra de estas categorías, se
denomina contingencia.
Ejemplos
Fórmulas bien formadas
p∧ ¬ (q→r)
¬p→r
¬ (¬r)
Fórmulas mal formadas
(p¬∧ (q→r))
¬¬ (p (q→r))
¬∧ ¬ (pq∨r))
Ejercicio
Para cada una de las fórmulas bien formadas que siguen, sugiera las
proposiciones elementales
Para p, q, r y s respectivamente y escriba las frases que representen cada fbf.
((p ∨ (s ∧ r)) ∨ q)
p= El equipo rojo jugó bien
s= El equipo verde jugó mal
r= El entrenador del equipo rojo es malo
q= La cancha estaba en mal estado.
El equipo rojo jugó bien o, el equipo verde jugó mal y el entrenador del equipo
rojo es malo, o la cancha estaba en mal estado.
