UNIVERSIDAD TÉCNICA DE AMBATO

Facultad de Ingeniería en Sistemas, Electrónica e Industrial

“LOGICA PREDICATIVA”

Carrera: Ingeniería Industrial

Ciclo Académico y paralelo: Segundo Semestre “A”

Alumno participante: Carlos Galarza

Módulo y Docente: Lógica Matemática, Ing. Jaime Ruiz

Fecha de entrega: 24 de enero del 2019

1. Tema: Lógica Predicativa

2. Objetivo:
 Investigar lo referente a lógica Predicativa para una mayor comprensión y
ampliación de conocimientos sobre el tema, mediante una investigación
bibliográfica en la web.

3. Desarrollo :

LOGICA PREDICATIVA

INTRODUCCION

La lógica de enunciados solo analiza los racionamientos cuya validez no depende de la

estructura interna de las proposiciones. Hay racionamientos validos en la parte formal
en los que es preciso penetrar la estructura interna del enunciado. Dada una proposición,
la lógica de predicados distingue entre individuos y sus propiedades.

TERMINOS:

Se le considera término a las proposiciones simples o atómicas.

Las variables y constantes son términos  Si f es una función de n argumentos y t1,…,tn

son términos, entonces f(t1,…,tn) es un término.

FORMULAS ATOMICAS  Si p es un predicado con n argumentos y t1,…,tn son

términos, entonces p(t1,…,tn) es una fórmula atómica.

Ejemplo:

“Manuel estudia Ingeniería de Sistemas”

Es una proposición simple, donde los sujetos se simbolizaran con letras minúsculas
a, b, c y se llaman constante individual o términos.
Esta expresión no es una proposición puesto que no es verdad ni falsedad . x es una
variable que toma valores dentro de un conjunto (referencial), estas expresiones reciben
el nombre de funciones preposicionales.

La notación que se empleará para cualquier Proposición Simple serán las letras p, q, r ,...
Px , Qx , Rx ,...
etc., mientras que una función proposicional la representamos por etc.

Ejemplo:

“ x es un numero racional y z es un numero entero”

En símbolos: R x  E z

PREDICADOS:

Se llama predicado a la palabra o frase que hace referencia al sujeto o termino, y se

simboliza A, B, C

Ejem:

Manuel estudia ingeniería de sistemas:

a A

FUNCIONES PROPOSICIONALES

Considere una proposición:

Gustavo es ingeniero

Pedro es ingeniero

Mario es ingeniero

Estas proposiciones tienen algo en común y es el predicado. Esto se puede expresar

utilizando una variable individual x  .

“ x es ingeniero”
CUANTIFICADORES:

Las expresiones:

“Todo hombre es mortal”

“Algunos hombres son ignorantes”

Pueden traducirse:

Para todo x , si x es hombre entonces es mortal

Existe un x , tal que x es hombre y x es sabio.

Estos cuantificadores se dividen en:

a) CUANTIFICADOR UNIVERSAL

Símbolo:  x

Significa: “Para todo x ”

Todo x

Cualquier x

Cada x

b) CUANTIFICADOR EXISTENCIAL

x
Símbolo:

Significa: Hay x

Existe un x , tal que

Algún x

Algunos x

Existen tres formas de convertir una función proposicional PX en una proposición a

saber:
Haciendo la sustitución de las variables por un término especifico

Anteponiendo la expresión “Para todo x ”

Anteponiendo la expresión “Existe un x ”

 x PX  : Existe un x tal que PX

 x PX  : Para todo x , PX

Al anteponerle a la función proposicional PX un cuantificador, x pasa a ser una variable

ligada.

  
Una proposición  x PX es V , cuando todas las sustituciones de la variable x por

elementos del conjunto de referencia convierte a PX en verdadera.

  
Una proposición  x PX es V , cuando toda las sustituciones de la variable x por al
menos un elemento del conjunto de referencia.

Ejemplo:

Decir si las siguientes proposiciones son verdaderas o falsas

a. x  Z 3x  7  4x  14


b. x  Z  x  1  0
2


c. x  Z x  1  0
2


d. x  Z  x  1  x  2 x  1
2 2

Solución:

a. x  Z 3x  7  4x  14

Como 33  7  43  14 , entonces el conjunto solución es 3, que no es vacío y, por
tanto, la proposición es verdadera.
 
b. x  Z  x  1  0
2

Como esta proposición se debe cumplir para todo entero y 0  Z y 0  1  1  0 ,
2

entonces la proposición es falsa.

c. x  Z x  1  0
2

No es posible encontrar un entero tal que x  1  0 , por tanto la proposición es falsa.

2

d. x  Z x  12  x 2  2 x  1 Del algebra se sabe que x  12  x 2  2 x  1 , entonces

la proporción es verdadera.

NEGACION DE PROPOSICIONES CUANTIFICADAS

Las proposiciones universales pueden negarse como en el enunciado:

“No todos los ingenieros”.

Y se simboliza:  x M X 

También se puede utilizar: “Ninguno, ningún, nada, nadie “.

La proposición “Ninguno es mecánico” no equivales a “No todos son mecánicos”, sino

a la expresión: Para todo x , x no es mecánico

 x M X 

Las proposiciones anteriores pueden ser negadas como por ejemplo:

x M X 
“No es cierto que hay mecánicos”. En símbolos:

“Alguien no es mecánico”.
  
En símbolos: x M X .

Para estudiar la negación de funciones proposicionales, es conveniente fijar nuestra

atención en el diagrama dado. Veamos las cuatro formas de proposiciones generales que
hay tradicionalmente en la lógica:
A: Todo S es P: Todos los hombres son mortales.
E: Ningún S es P: Ningún hombre es mortal.
I: Algún S es P: Algún hombrees mortal.
O: Algún S no es P: Algún hombre no es mortal.

En las formas anteriores, S significa un sujeto del cual se afirma o niega algo, y P es el
predicado, o sea lo que se dice del sujeto.

Observe que las dos primeras proposiciones son universales, la primera afirmativa y la
segunda negativa; las dos últimas son particulares, la primera afirmativa y la segunda
negativa.

A continuación se presentan las equivalencias, usando funciones proposicionales con

cuantificadores:

A: Todo S es P:
xPx  Universal afirmativa

E: Ningún S es P:
x Px  Universal negativa

I: Algún S es P:
x Px  Particular afirmativa

O: Algún S no es P:
x Px  Particular negativa

En Conclusión:

La negación de una función proposicional con un cuantificador universal es

equivalente a la negación de la misma función proposicional, precedida por el
cuantificador existencial y viceversa.

Es decir:

x  S Px   x  S Px 

ó
x  S Px   x  S Px 
Ejemplo:

Encontrar la negación de las siguientes proposiciones:

a. x  x  3  10

Solución:

x  x  3  10  x  x  3  10

b. x  x  3  7

Solución:

x  x  3  7  x  x  3  7

CUANTIFICACION RESTRINGIDA

Estas proposiciones universales o existenciales algunas de ellas poseen en el lenguaje

ordinario estructuras simples realmente poseen estructuras compuestas.

Ejemplo:

“Todos los hombres son pensantes”

Se puede escribir:

“Para todo x , si x es un hombre entonces x es pensante”

( x )( H X  PX )
Se puede simbolizar:

Este es un ejemplo de proposiciones universal o existencial que tienen más de un

predicado bajo el alcance de un cuantificador.

LEYES DE INTERCAMBIO DE CUANTIFICADORES

 x PX   x PX 

x PX    x PX 

 x PX   x PX 

 x PX    x PX 

Estas leyes expresan que la negación de una proposición existencial es equivalente a la

afirmación de un cuantificador universal cuya función proposicional es la negación de
la primera.

También podemos afirmar que:

        
Si  x PX es falsa entonces   x PX es verdadera, por tanto, x PX es
verdadera

FUNCIONES PROPOSICIONALES BINARIAS

A un predicado puede estar unido con más de un sujeto como:

“Yohan es amigo de Rodrigo”

Este tipo de predicado expresa una relación entre términos, en este caso se presentan 2
términos: Yohan y Rodrigo. Sin embargo uno de ellos hace parte del predicado
gramatical.

En este caso se presenta una relación entre dos sujetos que se denomina “Binaria o
diatica”

También se puede presentar relaciones entre 3 o más individuos

Ejemplo:

“ x esta entre a y c”

La proposición “Yohan es amigo de Rodrigo”

Se simboliza: Ajr ó jAr

Las cuales son resultado de la sustitución dentro de la función proposicional:

“ x es amigo de y ” que se simboliza xAy o Axy

Cuando se tiene una función proposicional de dos variables, es posible convertirla en
una proposición sustituyendo cada una de las variables por un término de un conjunto
de referencia o añadiendo un cuantificador a cada variable.

Ejemplo:

Las siguientes son las diferentes maneras de obtener una proposición a partir de una
función proposicional dada:

Sea Axy = “ x es amigo de y ”

Yohan es amigo de Rodrigo Ajr

( x )( y )( Axy)
Todos son amigos de todos

( x )( y )( Axy)
Todos son amigos de algunos

( x )( y )( Axy)
Algunos son amigos de todos

( x )( y )( Axy)
Algunos son amigos de algunos

( y )( Ajy)
Yohan es amigo de todos

( y )( Ajy)
Yohan es amigo de algunos

( y )( Axr)
Todos son amigos de Rodrigo

Algunos son amigos de Rodrigo ( x )( Axr)

4. CONCLUSION
 La lógica de predicados (también llamada lógica de primer orden) es
extensión de la lógica proposicional que usa variables para los objetos.
 En lógica predicativa en las proposiciones atómicas el termino viene a ser el
sujeto ye predicado es el resto de elementos de la proposición.
 En Lógica, se usa el símbolo, denominado cuantificador universal, antepuesto
a una variable para decir que "para todo" elemento de un cierto conjunto se
cumple la proposición dada.

5. BIBLIOGRAFIA

[1] L. v. y. c. s. terminos, «www.dtic.upf.edu,» 2015. [En línea]. Available:

https://www.dtic.upf.edu/~rramirez/lc/L04.pdf. [Último acceso: 23 01 2019].