LÓGICA COMPUTACIONAL.

TEMA 6.

CALCULO DE DEDUCCIÓN NATURAL DE PREDICADOS.

Docente: MCI. Vanessa del Rosario Alcalá Ramírez.

UNIR MÉXICO
Bienvenida de los Profesores
Convocatoria Septiembre 2022
/
¿Cómo estudiar este tema?

➢ Para estudiar este tema lee el artículo de Santiago Fernández Lanza «El cálculo
de proposiciones y de predicados» (páginas 165-173) del libro Temario de
Profesores de Enseñanza Secundaria (Filosofía).

Universidad Internacional de La Rioja en México 2

 LENGUAJE FORMAL

Símbolos primitivos y auxiliares

• P, Q, R, S, T, ..., P1, Q1, R1, S1, T1, ..., Pm, Qm, Rm, Sm, Tm, ... son símbolos primitivos que
denominamos variables predicativas (o abreviadamente predicados). Disponemos de un
número infinito pero enumerable de ellas.

• a, b, c, d,..., a1, b1, c1, d1,..., an, bn, cn, dn, ... son símbolos primitivos que
denominamos constantes de individuo. Disponemos de un número infinito enumerable de
ellas.

• x, y, z,..., x1, y1, z1, ..., xn, yn, zn, ... son símbolos primitivos que denominamos variables de
individuo. Disponemos de un número infinito pero enumerable de ellas.

Universidad Internacional de La Rioja en México 3

 LENGUAJE FORMAL

Símbolos primitivos y auxiliares

• ¬,∧,∨ y → son símbolos primitivos que denominamos conectivas y son constantes lógicas
primitivas.

• ∃, ∀ son símbolos primitivos que denominamos cuantificadores y son constantes lógicas

primitivas.

• (, ), [, ], {, } son símbolos auxiliares que denominamos paréntesis.

Universidad Internacional de La Rioja en México 4

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 5

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 6

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 7

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 8

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 9

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 10

LENGUAJE FORMAL

Universidad Internacional de La Rioja en México 11

 LENGUAJE FORMAL

► Reglas de formación de fórmulas

• RFF1. Dado un predicado cualquiera del lenguaje, R, con un número n de argumentos y una
sucesión cualquiera de n términos de individuo del lenguaje, t1,....,tn, Rt1....tn es una fbf
(fórmula bien formulada).

• RFF2. Si A es una fbf, entonces ¬A también es una fbf.

• RFF3. Si A y B son fbf, entonces A ∧ B, A ∨ B y A → B también son fbf.

• RFF4. Si A es una fbf, entonces ∃xA y ∀xA también son fbf.

• RFF5. Ninguna sarta o secuencia de símbolos es una fbf si no es una secuencia finita
obtenida en virtud de las reglas RFF1, RFF2, RFF3 y RFF4 (exceptuando las fórmulas que
resultan de introducir símbolos auxiliares para evitar ambigüedades).

Universidad Internacional de La Rioja en México 12

 LENGUAJE FORMAL

► Sentencias

► Si A es una fbf sin variables de individuo libres, entonces A es una sentencia.

► Una variable de individuo libre es aquella que figura en una fbf sin que figure dentro del
alcance de un cuantificador.

► Por ejemplo, en la fórmula ∀xPy la variable y es una variable libre, mientras que en ∀yPy no
lo sería. En este caso se dice que la variable y está ligada. ( ¬, ∧, ∨, →, ↔)

► Símbolos definidos

► ↔; tal que A ↔ B=Df (A → B) ∧ (B → A).

Universidad Internacional de La Rioja en México 13

 Mecanismo deductivo

► Reglas básicas.

► Además de las reglas básicas que hemos visto para la lógica proposicional ahora tenemos
una regla de introducción y una regla de eliminación para cada cuantificador: Introducción
del generalizador (I∀), Eliminación del generalizador (E∀), Introducción del particularizador
(I∃), Eliminación del particularizador (E∃):

Introducción del generalizador Eliminación del generalizador

Restricciones:
•a no debe ocurrir en ningún supuesto
previo (premisas o supuestos auxiliares)
no cancelado.
•a no debe ocurrir en la matriz del
generalizador que se introduce.

Universidad Internacional de La Rioja en México 14

Mecanismo deductivo
Introducción del particularizador Eliminación del particularizador

Restricciones:
•a no debe ocurrir en ningún supuesto
previo (premisas o supuestos auxiliares)
no cancelado.
•a no debe ocurrir en la matriz del
particularizador que se elimina.
•a no debe ocurrir en A.

Cuando se utilicen las reglas I" y E$, a la hora de hacer deducciones, deben tenerse
en cuenta las restricciones, pues de lo contrario la regla no estará bien utilizada y la
deducción no será correcta.

Universidad Internacional de La Rioja en México 15