Sintaxis de La Lógica Proposicional

Sintaxis de la lógica
formal
Definiciones y propiedades matemáticas de
las enunciados
Por Andrés Arévalo

Profesor de lógica formal
Universidad Nacional de Colombia
ORDEN DEL DIA
Definiciones
1. Definición recursiva de fórmula bien formada

2. Árboles sintácticos
3. Algoritmo de verificación de conectivas y de decidibilidad
Propiedades matemáticas
4. Inducción matemática
5. Propiedades de las fórmulas bien formadas
Traducción al lenguaje natural

Definiciones formales de la lógica
proposicional
Alfabeto (o letras proposicionales): {P, Q, R, S… P1, Q1, R1}
Conectivas proposicionales: {, &, , ~, } = {  , , , , ,}
Paréntesis: {(,)}
Metavariables: {P, Q, R, S…}
Fórmula bien formada:
1. Las letras proposicionales son fórmulas bien formadas.

2. Si P es una fórmula bien formada, entonces  P también lo es.
3. Si P y
Q son fórmulas bien formadas, entonces
(P  Q), (P  Q), (P  Q) y (P  Q) también lo son.
Lenguaje: {FBF  NO-FBF}

Conectivos lógicos como operadores
Sea A el conjunto de letras proposicionales y K el conjunto de k operadores.
Una operación k es el producto cartesiano de A por A en A, definido de la forma
siguiente:
 (P, Q) = P  Q
 (P, Q) = P  Q
 (P, Q) = P  Q
 (P, Q) = P  Q
La negación, en tanto operador unitario, tiene una función diferente: él se

define como la función k de A en A de tal forma que
¬ (P ) = ¬ P
La lógica como álgebra
En matemáticas, un álgebra es un conjunto de elementos B con dos operadores
binarios que cumplan con las siguientes propiedades:
1. Clausurativa
2. Conmutativa
3. Asociativa
4. Distributiva
5. De Elementos neutros
6. De Complemento
Asuma la disyunción y la conjunción como operadores. Note que (A, , ) es un álgebra
1. Clausurativa A  B y A  B existen y tienen elementos únicos

2. Conmutativa AB= B AyAB = B A
3. Asociativa A  (B  C) = (A  B)  C) y A  (B  C) = (A  B)
C
4. Distributiva A  (B  C) = (A  B)  (A  C) y A  (B  C) = (A  B)  (A
 C)
5. De Elementos neutros A  0 = A y A  1 = A
Con 1, 0 constantes en B (p.e., 1
representa enunciados cuyo valor
6. De Complemento A  ¬ A = 1 y A  ¬ A = 0 siempre es 1 (tautologías)).
Árboles sintácticos
Las fbf se pueden analizar desde los árboles sintácticos. Por ejemplo,
suponga la fórmula:
((P  Q) (R  (S   T))) (T  (P  (R  Q)))


(P  Q) (R  (S   T)) T  (P  (R  Q))
PQ R  (S   T) T P  (R  Q)
P Q R ST P RQ
T
S
R Q
T
Descomposición única
Toda fórmula bien formada tiene un único árbol sintáctico, esto es, tiene una
única forma de ser descompuesta y las únicas formas posibles de
descomponer una fórmula son las siguientes:
1. Las fórmulas serán variables proposicionales al final del ejercicio.
2. Las subfórmulas serán de la forma  P o
3. Las subfórmulas serán de la forma

(P  Q), (P  Q), (P  Q) y (P  Q)
si P y Q son fórmulas bien formadas.
Árboles y descomposición única
Pero hay un problema: suponga la fórmula del ejercicio:
((((P  Q)  R )))  (( S  T ))  (( W   T )  M )  (((S  T)  (K  

W )))
¿Cuál es su árbol? ¿Existe una sola forma de descomponerla?
Dos problemas:
1. ¿Cuál es su conectivo principal?

2. ¿Es fórmula bien formada?
Para resolver ambos, podemos hacer uso de los siguientes algoritmos.

Algoritmo de decidibilidad (cf. Caicedo, 1990: 28)
1. Substituya todas las ocurrencias de letras por 0
2. En la expresión resultante, substituya todas las ocurrencias de ¬ 0 por 0
3. En la expresión resultante, substituya todas las ocurrencias de (0  0) por 0
4. Si la expresión resultante tiene la forma 0  0 o es 0, es fbf. Si no, no lo es.
Ejemplo: ((P  Q) (R  (S   T))) (T  (P  (R  Q)))

((0 0) (0(0  0))) (0  (0  (0  0))) por paso 1.
((0 0) (0(0  0))) (0  (0  (0  0))) por paso 2.
( 0  (0 0 )) (0  (0  0 )) por paso 3.
( 0  0 ) (0  0 ) por paso 3.
0  0 Es fbf por paso 4
Algoritmo de decidibilidad (cf. Caicedo, 1990: 28)
Ejemplos:
P  Q  R  (S   T)  (T  (P  (R  Q)))
1. 0  0  0  (0   0)  (0  (0  (0  0))) por paso 1

2. 0  0  0  (0  0)  (0  (0  (0  0))) por paso 2
3. 0  0  0  0  (0  (0  0)) por paso 3
4. 0  0  0  0  (0  0) por paso 3
5. 0  0  0  0  0 por paso 3
¡No es FBF!
P  Q  R  (S   T)
1. 0  0  0  (0   0) por paso 1
2. 0  0  0  (0  0) por paso 2
3. 0  0  0  0 por paso 3
¡No es FBF!
Algoritmo de verificación de conectivos
(cf. Caicedo, 1990: 14, 15)
1. Recorra la fórmula de izquierda a derecha.
2. Si la formula comienza por negación, ese símbolo es el conectivo principal. De lo

contrario, la fórmula debe comenzar por un paréntesis izquierdo o por una letra.
3. Si empieza por letra, el conectivo principal es el primer conectivo que aparece después
de esa letra.
4. Si empieza por paréntesis izquierdo, asígnele el número 1.
5. Asigne a cada paréntesis izquierdo siguiente el valor asignado al paréntesis anterior

mas 1.
6. A cada paréntesis derecho, asígnele el valor del paréntesis anterior menos 1.
7. El conectivo principal es el símbolo inmediatamente después del primer paréntesis al

que se asigne O.
Algoritmo de verificación de conectivos
(cf. Caicedo, 1990: 14, 15)
( ( p  q )  ( r  ( s   t ) ) )  (t  (p  (r  q)))
1 2 1 2 3 2 1 0
¡El bicondicional es el
Otro ejemplo: conectivo principal!
( ( ( p  r )  ( r  ( p   t ) ) )  (t  (p  q) ) )
1 2 3 2 3 4 3 2 1 2 3 2 1 0
¿¡No tiene conectivo principal!?
De la primera se identificó su conectivo principal. De la segunda no. De hecho,

la segunda tampoco sería fórmula bien formada (por definición de fbf).
Aplicación del algoritmo de decidibilidad y de
verificación
((((p  q)  r )))  (( s  t ))  (( w   t )  m )  (((s  t)  (k  
((((0 w0)))) 0 )))  (( 0  0 ))  (( 0   0 )  0 )  (((0  0)  (0   0 ))) por paso 1
((((0  0)  0 )))  (( 0  0 ))  (( 0  0 )  0 )  (((0  0)  (0  0 ))) por paso 2
(((0  0 )))  (0)  (0  0 )  ((0  0)) por paso 3
((0))  (0)  0  (0) por paso 3
El ejercicio acaba aquí. No es posible aplicar ningún
paso más y el resultado no es fórmula bien formada.
Nótese que (0) no aparece como expresión válida
en el algoritmo.
( ( ( (p  q)  r ) ) )  ( ( s  t ) )  ( ( w   t )  m )  ( ( (s  t)  (k  
1w2) 3) 4) 3 2 10
El ejercicio acaba aquí. La fórmula tiene conectivo

principal, según se estableció por el algoritmo de
verificación. Pero no es fbf. Por ello, para fórmulas
muy largas y complejas deben usarse los dos
algoritmos.
Inducción matemática
Una de las herramientas más trabajadas en lógica será la de

la inducción matemática, que simplemente busca establecer
propiedades para conjuntos muy grandes o infinitos de
elementos. El tema de la inducción es amplio, pero aquí bastará
hacer unas cuantas definiciones para dar unos cuantos ejemplos
Definición: Un bloque b tal que bB es un objeto dado a priori

con el cual se pueden construir estructuras matemáticas.
Definición: Un operador k tal que kK es un operador dado

a priori, con el cual se pueden generar nuevos bloques desde
el conjunto B.
Inducción matemática (cf. Goldstern y Judah, 1998: 4 – 6)
Un conjunto C (B, K) es el conjunto resultado de la acción de una o varias operaciones k
sobre B.
Por ejemplo, el lenguaje de la lógica proposicional y el conjunto de conectivos lógicos

establecen un conjunto C(B,K) en el que es posible probar matemáticamente propiedades del
conjunto de fórmulas bien formadas.
(B,K) es una estructura inductiva sobre C si
a) Todo bloque está en C;
b) Si f es un operador de n - posiciones en K y c1, c2, c3,… cn son elementos de C (B,K)

entonces f (c1, c2, c3,… cn) es un elemento de C(B,K) y
c) Todo elemento de C (B,K) es obtenido por a) o por b)
Evidentemente hay muchísimas estructuras inductivas. Por ejemplo, la estructura (0, {s}) es
inductiva si s es la función sucesor y, de hecho la estructura C (0, {s}) = N pues tienen los
mismos elementos. De allí que N se entienda como un conjunto inductivo.
Una prueba inductiva es una esquematización de una prueba infinita que parte de un
elemento básico para llegar a conformar todo el conjunto de elementos que buscan ser
definidos.
Es evidente que si bien toda prueba inductiva no define una propiedad para un conjunto sí
la prueba.
Toda prueba inductiva tiene la siguiente estructura:
a) Muestre que el elemento básico tiene la propiedad P
b) Use la suposición de que un elemento arbitrario k la tiene, para probar, por hipótesis de
inducción, que k + 1 tiene la propiedad.
c) Concluya de a y b que todos los elementos tienen la propiedad.

Ejemplo:
Pruebe que todo el mundo tiene un nombre
Prueba I:
1. Todo el mundo tiene padres

2. Asumamos que los padres con nombre dan nombres a sus hijos (Hipótesis de
Inducción [H.I.]).
3. Adán y Eva tenían nombre
4. Si Adán y Eva tienen un hijo, le darán un nombre (por H.I.)
5. El hijo de Adán y Eva tiene nombre y, por H.I. dará nombre a su hijo.
6. Así, el hijo del hijo de Adán y Eva tendrá nombre.
Así, para todos los hijos de los hijos de Adán y Eva. Que es lo que había que probar.
Prueba II: suponga a la primera persona sin nombre. Esa persona no es Adán ni es Eva. Y
tampoco puede ser hijo de Adán y Eva (por el punto 4). Pero esa persona no nació de la
nada, luego tiene padres. Si los tiene, entonces ellos tenían nombre porque esa persona es
la primera persona sin nombre. Pero, por H.I., los padres con nombre dan nombres a sus
hijos. Luego, no es posible que exista alguien sin nombre.
Ejemplo 2:
Si S()= {x | x es el número de símbolos de } y  es una fórmula bien formada, pruebe

que el número de símbolos de toda fórmula es igual 3n +1.
Prueba:
Hipótesis de inducción S()= 3n + 1
n es el número de paréntesis y conectivos lógicos de la fórmula.
1.  = p
S(p)= 3 * 0 +1 = 1
2.  = ¬ b
S(¬ b )= S (b) + 1 = (3n + 1) + 1
3.  = b  g
S [ (b  g) ]= S (b) + S (g) + 3 = (3n+1)+ (3k + 1) + 3 = 3( n+ k + 1) + 2
Luego, cumple la propiedad.

Ejemplo 3:
Si D()= {x | x es el número de paréntesis derechos de } y L () = {x | x es el número de

paréntesis derechos de }, pruebe que D()= L ()
Prueba:
Hipótesis de inducción D () = L()

1.  = p
D (p) = 0
L (p) = 0
2.  = ¬ b
D (¬ b ) = 0 + D (b) L (¬ b ) = 0 + L (b) [D (¬b) = L(¬b) ]= [D (b) =
L(b)]
3.  = b  g
D [ (b  g) ] = 1 + D (b) + D (g) L [ (b  g) ] = 1 + L (b) + L (g)
Luego, cumple la propiedad.

Preguntas de cierre:
¿Podría descubrir y probar alguna propiedad matemática de las fórmulas bien

formadas?
¿Podría probar alguna propiedad matemática en la gramática del español?
Por ejemplo, ¿podría probar matemáticamente que todos los verbos del español
terminan en ar, er o ir?

Sintaxis de La Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Sintaxis de La Lógica Proposicional

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sintaxis de La Lógica Proposicional

Cargado por

Copyright:

Formatos disponibles

Sintaxis de la lógica

Por Andrés Arévalo

1. Definición recursiva de fórmula bien formada

Traducción al lenguaje natural

1. Las letras proposicionales son fórmulas bien formadas.

Lenguaje: {FBF  NO-FBF}

La negación, en tanto operador unitario, tiene una función diferente: él se

Asuma la disyunción y la conjunción como operadores. Note que (A, , ) es un álgebra

1. Clausurativa A  B y A  B existen y tienen elementos únicos

((P  Q) (R  (S   T))) (T  (P  (R  Q)))

(P  Q) (R  (S   T)) T  (P  (R  Q))

1. Las fórmulas serán variables proposicionales al final del ejercicio.

2. Las subfórmulas serán de la forma  P o

3. Las subfórmulas serán de la forma

Pero hay un problema: suponga la fórmula del ejercicio:

((((P  Q)  R )))  (( S  T ))  (( W   T )  M )  (((S  T)  (K  

¿Cuál es su árbol? ¿Existe una sola forma de descomponerla?

1. ¿Cuál es su conectivo principal?

Para resolver ambos, podemos hacer uso de los siguientes algoritmos.

2. En la expresión resultante, substituya todas las ocurrencias de ¬ 0 por 0

3. En la expresión resultante, substituya todas las ocurrencias de (0  0) por 0

4. Si la expresión resultante tiene la forma 0  0 o es 0, es fbf. Si no, no lo es.

Ejemplo: ((P  Q) (R  (S   T))) (T  (P  (R  Q)))

1. 0  0  0  (0   0)  (0  (0  (0  0))) por paso 1

1. Recorra la fórmula de izquierda a derecha.

2. Si la formula comienza por negación, ese símbolo es el conectivo principal. De lo

4. Si empieza por paréntesis izquierdo, asígnele el número 1.

5. Asigne a cada paréntesis izquierdo siguiente el valor asignado al paréntesis anterior

6. A cada paréntesis derecho, asígnele el valor del paréntesis anterior menos 1.

7. El conectivo principal es el símbolo inmediatamente después del primer paréntesis al

¿¡No tiene conectivo principal!?

De la primera se identificó su conectivo principal. De la segunda no. De hecho,

El ejercicio acaba aquí. La fórmula tiene conectivo

Una de las herramientas más trabajadas en lógica será la de

Definición: Un bloque b tal que bB es un objeto dado a priori

Definición: Un operador k tal que kK es un operador dado

Por ejemplo, el lenguaje de la lógica proposicional y el conjunto de conectivos lógicos

(B,K) es una estructura inductiva sobre C si

a) Todo bloque está en C;

b) Si f es un operador de n - posiciones en K y c1, c2, c3,… cn son elementos de C (B,K)

c) Todo elemento de C (B,K) es obtenido por a) o por b)

Toda prueba inductiva tiene la siguiente estructura:

a) Muestre que el elemento básico tiene la propiedad P

c) Concluya de a y b que todos los elementos tienen la propiedad.

1. Todo el mundo tiene padres

Si S()= {x | x es el número de símbolos de } y  es una fórmula bien formada, pruebe

Luego, cumple la propiedad.

Si D()= {x | x es el número de paréntesis derechos de } y L () = {x | x es el número de

Hipótesis de inducción D () = L()

Luego, cumple la propiedad.

¿Podría descubrir y probar alguna propiedad matemática de las fórmulas bien

¿Podría probar alguna propiedad matemática en la gramática del español?

También podría gustarte