UNIVERSIDAD NACIONAL

“SANTIAGO ANTÚNEZ DE MAYOLO”

FACULTAD DE CIENCIAS

ESCUELA ACADÉMICO – PROFESIONAL

INGENIERÍA DE SISTEMAS E INFORMÁTICA

“LOGICA CUANTIFICACIONAL”

INTELIGENCIA ARTIFICIAL

PRESENTADO POR:

MORALES CARLOS, Aldo Omar.

DOCENTE:

Ing. SILVA ZAPATA, Miguel Ángel

HUARAZ – PERÚ

2017
 LOGICA CUANTIFICACIONAL O LOGICA DE PREDICADOS

INTRODUCCION

La lógica formal, al nivel de la lógica de enunciados, solo puede analizar

formalmente aquellos razonamientos en cuya validez no desempeña ningún
papel la estructura interna de las proposiciones que la componen.
Hay razonamientos formalmente válidos que no lo son simplemente en virtud de
las conexiones externas entre los enunciados. Es decir, su forma no puede
exhibirse tan sólo mediante letras y conectivos, sino que es preciso penetrar en
la estructura interna del enunciado, para buscar la validez de la inferencia en
cuestión.
¿Por qué surge la lógica de predicados?

Porque los métodos empleados en la lógica de proposiciones resultan

insuficientes para examinar otros tipos de inferencias.
Ejemplo:

P: Ningún árbol puede hablar.

Q: Juan puede hablar.
Luego,
R: Juan no es un árbol.
La lógica proposicional no puede explicar por qué R se deduce de P y de Q.

Se trata entonces de construir a partir del cálculo proposicional nuevos

elementos de análisis para poder tener un más poderoso instrumento de
deducción.
Dada una proposición, la lógica cuantificacional distingue en esta a
los individuos y a sus propiedades.
Ejemplo:

 Manuel estudia mucho.

 Itagüí es un municipio muy próspero.
 La savia alimenta las plantas.

En las tres proposiciones anteriores los individuos son: "Manuel", "Itagüí" y "la
savia", ellos coinciden con los sujetos gramaticales. Las propiedades atribuidas
a dichos individuos son las frases: "estudia mucho", "es un municipio muy
próspero" y "alimenta las plantas", estos coinciden con los predicados
gramaticales.
FUNCIONES PROPOSICIONALES

Una función proposicional es un enunciado abierto de la forma P (x) que se

convierte en una proposición cuando se le asigna un valor especifico a la
variable.
Ejemplo:

 𝑥 𝑒𝑠 𝑙𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒𝑙 𝑃𝑒𝑟ú

 𝑥 + 4 = 11

Estos no tienen un valor veritativo, pero si al primero lo reemplazamos por 𝑥 =

𝐿𝑖𝑚𝑎, Tenemos:

𝐿𝑖𝑚𝑎 𝑒𝑠 𝑙𝑎 𝑐𝑎𝑝𝑖𝑡𝑎𝑙 𝑑𝑒𝑙 𝑃𝑒𝑟ú → (𝑉)

Asimismo, si al segundo lo asignamos 𝑥 = 9, tenemos:

9 + 4 = 11 → (𝐹)

Cuando en una función proposicional se sustituyen las variables por constantes

individuales o términos específicos, se convierte en proposición. Comúnmente
se usarán las letras x, y, z, w para denotar las variables. Las funciones
proposicionales pueden negarse y también combinarse con otras funciones
proposicionales o proposiciones simples por medio de los conectivos.
Ejemplo:

𝑥 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙 𝑦 𝑧 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑟𝑟𝑎𝑐𝑖𝑜𝑛𝑎𝑙

Se puede simbolizar:

𝑄𝑥 Λ 𝐼𝑧

LOGICA DE PREDICADOS

La lógica de predicados estudia la composición intima de las proposiciones,

utiliza nuevos símbolos, leyes y métodos para establecer la validez de los
razonamientos.

Esta lógica estudia de manera más detallada los predicados a través del uso de
cuantificadores que expresan cantidad (todos o algunos).
La lógica de predicados distingue dos clases de términos:

 Los que representan individuos (gramaticalmente sujetos).

 Los que representan propiedades (gramaticalmente predicados)
Lógicamente lo llamaremos argumentos y predicados respectivamente.
 Argumento: Es el nombre propio o frase que designa objetos individuales.
 Predicado: Determina al argumento y es considerado por la lógica de
predicados como una característica del argumento.
Ejemplo:

𝐴𝑙𝑑𝑜 𝑒𝑠𝑐𝑟𝑖𝑏𝑒

 Aldo: Argumento
 Escribe: Predicado

Las proposiciones que intervienen en este nuevo tipo de inferencia son atómico
predicativas. Consecuentemente, de acuerdo a la cantidad de sujeto, pueden
clasificarse en:
 Singulares: El sujeto es un individuo.
Ejemplo: 𝑀𝑎𝑛𝑢𝑒𝑙 𝐾𝑎𝑛𝑡 𝑒𝑠 𝑢𝑛 𝑓𝑖𝑙ó𝑠𝑜𝑓𝑜
 Universales: El sujeto es una totalidad de individuos.
Ejemplo: 𝑇𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑔𝑒𝑟𝑖𝑎𝑡𝑟𝑎𝑠 𝑠𝑜𝑛 𝑚é𝑑𝑖𝑐𝑜𝑠
 Particulares: El sujeto es una particularidad de individuos.
Ejemplo: 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑝𝑒𝑟𝑢𝑎𝑛𝑜𝑠 𝑠𝑜𝑛 𝑠𝑒𝑙𝑣á𝑡𝑖𝑐𝑜𝑠

SINTAXIS DE LA LOGICA DE PREDICADOS

Los símbolos que introduce la lógica de predicados son:

 Variables individuales: Representan individuos indeterminados. (x, y, z)

 Constantes individuales: Representan individuos determinados. (a, b, c)
 Variables predicativas: Representan predicados indeterminados. (F, G, H)
 Cuantificadores: Hacen referencia a la totalidad o a una parte de los
miembros de un conjunto. Cuantificador universal y cuantificador existencial.

Lógica de predicados de primer orden: (∀𝑥 ) 𝑦 (∃𝑥 )

Lógica de predicados de segundo orden: (∀𝐹 ) 𝑦 (∃𝐹 )

NOTA:

 Los argumentos se simbolizan mediante las letras minúsculas: a, b, c, d, …

Se llaman constantes de individuo.
 Los predicados se simbolizan mediante las letras mayúsculas: A, B, C, D, …
Se llaman letras de predicado.

CUANTIFICADORES

A partir de funciones proposicionales es posible obtener proposiciones generales

mediante un proceso llamado de cuantificación. Asociados a la indeterminada x,
introducimos los símbolos Ɐ y ⱻ, llamados cuantificador universal y cuantificador
existencial respectivamente.

 𝑷𝒙: 𝑥 𝑒𝑠 𝑢𝑛 𝑝𝑒𝑟𝑖𝑜𝑑𝑖𝑠𝑡𝑎.
 (∃𝒙) 𝑷𝒙: 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑥 𝑠𝑜𝑛 𝑝𝑒𝑟𝑖𝑜𝑑𝑖𝑠𝑡𝑎𝑠.
 (∀𝒙) 𝑷𝒙: 𝑇𝑜𝑑𝑜𝑠 𝑙𝑜𝑠 𝑥 𝑠𝑜𝑛 𝑝𝑒𝑟𝑖𝑜𝑑𝑖𝑠𝑡𝑎𝑠.

Transformación de funciones en proposiciones

Existen dos maneras de transformar funciones en proposiciones.
a) Sustituyendo la variable individual por una constante individual.

 𝑭𝒙: 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙

 𝑭𝒂: 𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛

b) Anteponiendo un cuantificador a la función.

 𝑭𝒙: 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑝𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑎𝑙

 (∃𝒙) 𝑭𝒙: 𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛
 (∀𝒙) 𝑭𝒙: 𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖ó𝑛

Formalización de proposiciones cuantificadas.

Como las proposiciones cuantificadas, tanto universales como existenciales,

pueden ser afirmativas o negativas, su expresión simbólica es la siguiente:

Proposiciones Símbolos
Todo x estudia (∀𝑥) ∃𝑥
Ningún x estudia (∀𝑥) ~∃𝑥
Algunos x estudian (∃𝑥) ∃𝑥
Algunos x no estudian (∃𝑥) ~∃𝑥

Intercambio de cuantificadores

Para intercambiar cuantificadores se suple uno con otro teniendo cuidado de

cambiar de signo tanto el cuantificador como a la función predictiva.

 Todos los x son justos si no es el caso que algún x sea injusto.

(∀𝑥) 𝑃𝑥 ↔ ~(∃𝑥)~𝑃𝑥
 Todos los x son injustos si no existe al menos un x que sea justo.
(∀𝑥)~𝑃𝑥 ↔ ~(∃𝑥)𝑃𝑥
 No todo x es justo si existe algún x que es injusto.
~(∀𝑥)𝑃𝑥 ↔ (∃𝑥)~𝑃𝑥
 No todo x es injusto si existe algún x que es justo.
~(∀𝑥)~𝑃𝑥 ↔ (∃𝑥)𝑃𝑥
REGLAS DE FORMACIÓN DE LA LOGICA PREDICTIVA

Regla 1: Cada variable predictiva seguida de una o más constantes individuales

es una proposición atómica.
Ejemplos:

 𝐽𝑢𝑎𝑛 𝑒𝑠𝑡𝑢𝑑𝑖𝑎. → 𝑬𝒋
 𝐴𝑛𝑑𝑟é𝑠 𝑐𝑎𝑛𝑡𝑎. → 𝑪𝒂
 𝑀𝑎𝑟𝑡𝑒 𝑒𝑠 𝑢𝑛 𝑝𝑙𝑎𝑛𝑒𝑡𝑎. → 𝑷𝒎
 𝐶𝑎𝑟𝑜𝑙𝑖𝑛𝑎 𝑒𝑠𝑡á 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑑𝑜. → 𝑬𝒄
 Á𝑛𝑔𝑒𝑙 𝑦 𝐵𝑒𝑡𝑜 𝑔𝑎𝑛𝑎𝑟𝑜𝑛. → 𝑮𝒂𝒃
 𝐴𝑟𝑚𝑎𝑛𝑑𝑜, 𝑆𝑜𝑓𝑖𝑎 𝑦 𝑇𝑖𝑡𝑜 𝑠𝑜𝑛 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛𝑡𝑒𝑠. → 𝑬𝒂𝒔𝒕

Regla 2: Cada proposición atómica afecta al menos por un operador es una

proposición molecular.
Ejemplos:

 𝐽𝑢𝑎𝑛 𝑙𝑒𝑒 𝑦 𝑃𝑒𝑑𝑟𝑜 𝑒𝑠𝑐𝑟𝑖𝑏𝑒. → (𝑳𝒋 𝚲 𝑬𝒑)

 𝐸𝑖𝑛𝑠𝑡𝑒𝑛 𝑓𝑢𝑒 𝑚𝑎𝑡𝑒𝑚á𝑡𝑖𝑐𝑜 𝑜 𝐾𝑎𝑛𝑡 𝑓𝑢𝑒 𝑓𝑖𝑙ó𝑠𝑜𝑓𝑜. → (𝑴𝒆 ∨ 𝑭𝒌)
 𝑆𝑖 𝐴𝑙𝑒𝑥 𝑒𝑠 𝑝𝑟𝑜𝑔𝑟𝑎𝑚𝑎𝑑𝑜𝑟, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝐵𝑒𝑡𝑜 𝑒𝑠 𝑑𝑖𝑠𝑒ñ𝑎𝑑𝑜𝑟 𝑜 𝐿𝑢𝑖𝑠 𝑒𝑠 𝑎𝑛𝑎𝑙𝑖𝑠𝑡𝑎. →
[𝑷𝒂 → (𝑫𝒃 ∨ 𝑨𝒍]

Regla 3: Cada variable predictiva seguida de una o más variables individuales

es una función proposicional atómica.
Ejemplos:

 𝐸𝑙 𝑝𝑒𝑟𝑢𝑎𝑛𝑜 𝑒𝑠 𝑓𝑢𝑡𝑏𝑜𝑙𝑖𝑠𝑡𝑎. → 𝑭𝒙
 𝐸𝑙 𝑐ℎ𝑖𝑙𝑒𝑛𝑜 𝑦 𝑒𝑙 𝑝𝑒𝑟𝑢𝑎𝑛𝑜 𝑠𝑜𝑛 𝑡𝑟𝑎𝑏𝑎𝑗𝑎𝑑𝑜𝑟𝑒𝑠. → 𝑮𝒙𝒚
 𝐸𝑙 𝑠𝑒𝑟𝑟𝑎𝑛𝑜, 𝑒𝑙 𝑠𝑒𝑙𝑣𝑎𝑡𝑖𝑐𝑜 𝑦 𝑒𝑙 𝑐𝑜𝑠𝑡𝑒ñ𝑜 𝑠𝑜𝑛 𝑒𝑚𝑝𝑟𝑒𝑛𝑑𝑒𝑑𝑜𝑟𝑒𝑠. → 𝑬𝒙𝒚𝒛

Regla 4: Cada función proposicional atómica afectada al menos por un operador

es una función proposicional molecular.
Ejemplos:

 𝐿𝑎 𝑠𝑒𝑐𝑟𝑒𝑡𝑎𝑟𝑖𝑎 𝑒𝑠𝑐𝑟𝑖𝑏𝑒 𝑦 𝑒𝑙 𝑔𝑒𝑟𝑒𝑛𝑡𝑒 𝑜𝑟𝑑𝑒𝑛𝑎. → (𝑬𝒙 ∧ 𝑶𝒚)

 𝐸𝑙 𝑎𝑙𝑏𝑎ñ𝑖𝑙 𝑡𝑟𝑎𝑏𝑎𝑗𝑎, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑠𝑢 ℎ𝑖𝑗𝑜 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑜 𝑠𝑢 𝑒𝑠𝑝𝑜𝑠𝑎 𝑑𝑒𝑠𝑐𝑎𝑛𝑧𝑎. → [𝑻𝒙 →
(𝑬𝒚 ∨ 𝑫𝒛]
 𝑀𝑖 𝑎𝑚𝑖𝑔𝑜 𝑒𝑠𝑡𝑢𝑑𝑖𝑎 𝑦 𝑠𝑢 ℎ𝑒𝑟𝑚𝑎𝑛𝑎 𝑡𝑟𝑎𝑏𝑎𝑗𝑎 𝑦 𝑠𝑢 𝑚𝑎𝑑𝑟𝑒 𝑑𝑒𝑠𝑐𝑎𝑛𝑧𝑎. → (𝑭𝒙 ∧
𝑮𝒚 ∧ 𝑯𝒛)

Regla 5: Son variables libres que no son afectadas por algún cuantificador.
Ejemplos:
Regla 6: Son variables ligadas las variables afectadas por algún cuantificador.
Ejemplos:
 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑑𝑜𝑐𝑒𝑛𝑡𝑒𝑠 𝑒𝑛𝑠𝑒ñ𝑎𝑛. → (∃𝒙) 𝑭𝒙
 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑎𝑙𝑢𝑚𝑛𝑜𝑠, 𝑎𝑙𝑔𝑢𝑛𝑜𝑠 𝑑𝑜𝑐𝑒𝑛𝑡𝑒𝑠 𝑗𝑢𝑒𝑔𝑎𝑛 𝑦 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 →
(∃𝒙)(∃𝒚)(𝑭𝒙 𝚲 𝑮𝒚)
 𝐴𝑙𝑔𝑢𝑛𝑜𝑠 𝑛𝑖ñ𝑜𝑠, 𝑎𝑙𝑔𝑢𝑛𝑎𝑠 𝑛𝑖ñ𝑎𝑠 𝑦 𝑎𝑙𝑔𝑢𝑛𝑜𝑠 𝑝𝑟𝑜𝑓𝑒𝑠𝑜𝑟𝑒𝑠, 𝑒𝑠𝑡𝑢𝑑𝑖𝑎𝑛 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑠𝑜𝑛
𝑖𝑛𝑡𝑒𝑙𝑖𝑔𝑒𝑛𝑡𝑒𝑠 𝑜 𝑠𝑜𝑛 𝑣𝑎𝑔𝑜𝑠 → (∀𝒙)(∀𝒚)(∀𝒛)[(𝑭𝒙 → 𝑮𝒚) ∨ 𝑯𝒛]