1.

Lógica proposicional y
cálculo de predicados
1.3 Notación polaca y parentizada
1.3.1 Notación
 Infija (Parentizada)

• Operando1 Operador Operando2

• Jerarquía ¬ ∧∨→⇄
• Por claridad se utiliza la notación infija parentizada
 Prefija (Polaca)

• Operador Operando1 Operando2

• Algoritmo de evaluación
1. Encontrar operador más a la derecha
2. Seleccionar los operandos inmediatos a la derecha del operador encontrado
3. Desarrollar la operación indicada
4. Reemplazar el operador y sus operandos
5. Repetir desde el paso 1 hasta que quede un solo valor calculado
 Sufija o Posfija (Polaca Inversa)

• Operando1 Operando2 Operador

• Algoritmo de evaluación
1. Encontrar operador más a la izquierda
2. Seleccionar los operandos inmediatos a la izquierda del operador encontrado
3. Desarrollar la operación indicada
4. Reemplazar el operador y sus operandos
5. Repetir desde el paso 1 hasta que quede un solo valor calculado
 Ejemplo

• Posfija 𝑃𝑄𝑃 →→
• Prefija → 𝑃 → 𝑄𝑃
• Valores 𝑃 = 𝑉, 𝑄 = 𝐹
 Ejemplo prefija

Forma prefija Operador actual Operandos actuales Valor calculado

→ 𝑃 → 𝑄𝑃 → 𝑄, 𝑃 𝑉1 = 𝑉
→ 𝑃 𝑉1 → 𝑃, 𝑉1 𝑉2 = 𝑉
𝑉2
 Ejemplo posfija

Forma posfija Operador actual Operandos actuales Valor calculado

𝑃𝑄𝑃 →→ → 𝑄, 𝑃 𝑉1 = 𝑉
𝑃 𝑉1 → → 𝑃, 𝑉1 𝑉2 = 𝑉
𝑉2
1.3.2 Transformación de notaciones
 Algoritmo para convertir infija a prefija
1. Inicializar la pila
2. Mientras no ocurra error y no sea fin de la expresión infija tomar el elemento más a la derecha
Si el elemento es:
a) Paréntesis derecho: Colocar en la pila
b) Paréntesis izquierdo: Extraer y desplegar los valores hasta encontrar paréntesis derecho, pero no mostrar
el elemento
c) Un operador:
• Si la pila esta vacía o el operador tiene más alta prioridad que el operador del tope de la pila, insertar el operador en la
pila
• En caso contrario , extraer y mostrar el elemento del tope de la pila y repetir la comparación con el nuevo tope

d) Un operando: Mostrar el elemento

3. Al final de la expresión extraer y mostrar los elementos de la pila hasta que se vacíe
 Algoritmo para convertir infija a posfija
1. Inicializar la pila
2. Mientras no ocurra error y no sea fin de la expresión infija tomar el elemento más a la izquierda
Si el elemento es:
a) Paréntesis izquierdo: Colocar en la pila
b) Paréntesis derecho: Extraer y desplegar los valores hasta encontrar paréntesis izquierdo, pero no mostrar
el elemento
c) Un operador:
• Si la pila esta vacía o el operador tiene más alta prioridad que el operador del tope de la pila, insertar el operador en la
pila
• En caso contrario , extraer y mostrar el elemento del tope de la pila y repetir la comparación con el nuevo tope

d) Un operando: Mostrar el elemento

3. Al final de la expresión extraer y mostrar los elementos de la pila hasta que se vacíe
 Ejemplo

• Convertir a notación prefija y posfija

• Q→ P∨R
 Ejemplo prefija

Salida Expresión Pila

Q→ P∨R
Q → (P ∨ R )
𝑅 Q → (P ∨ )
𝑅 Q → (P ∨)
𝑃𝑅 Q→( ∨)
∨ 𝑃𝑅 Q
∨ 𝑃𝑅 Q →
𝑄 ∨ 𝑃𝑅 →
→ 𝑸 ∨ 𝑷𝑹
 Ejemplo posfija

Salida Expresión Pila

Q→ P∨R
𝑄 → P∨R
𝑄 P∨R →
𝑄 P ∨ R) (→
𝑄𝑃 ∨ R) (→
𝑄𝑃 R) ∨ (→
𝑄𝑃𝑅 ) ∨ (→
𝑄𝑃𝑅 ∨ →
𝑸𝑷𝑹 ∨→
 Ejercicios

• Convertir a notación prefija y posfija

• 𝑃→ 𝑄→𝑃
• P ∧ R ∨ ¬Q ∧ R

• Evaluar las notaciones usando los valores de verdad 𝑃 = 𝐹, 𝑄 = 𝑉, 𝑅 = 𝐹

 Referencias

• ZALDIVAR ESQUIVEL, Orlando, ZALDIVAR ZAMORATEGUI, Orlando

Estructuras discretas. Lógica proposicional y cálculo de predicados
México UNAM, Facultad de Ingeniería, 2011
• VEERARAJAN, T.
Matemáticas discretas con teoría de gráficas y combinatoria
México McGraw-Hill Interamericana, 2008