Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica de Predicados - Lectura - M3 PDF
Lógica de Predicados - Lectura - M3 PDF
Unidad 3
Lógica de Predicados
No es posible decidir sobre la validez del razonamiento con los métodos que
conocemos, puesto que no es posible determinar el valor de verdad de la
última proposición sólo como consecuencia de los valores de verdad de las
proposiciones anteriores. Expresando simbólicamente las premisas y la
conclusión de la inferencia, tendríamos:
Felipe corre.
F(a)
Definición
Diremos que una entidad es una función proposicional si utiliza una
variable como argumento. A las funciones proposicionales las
simbolizaremos utilizando los mismos símbolos que para las proposiciones.
Así F(x), G(z), H(y) son funciones proposicionales.
Cuantificador universal.
En el caso en el que el argumento resuma a ―todos‖ los elementos del
universo, utilizaremos el símbolo e indicaremos ―para todo‖ elemento.
Por otra parte, a este símbolo lo llamaremos cuantificador universal.
Además a la expresión x le daremos el significado ―para todo x‖ o ―para
todo valor de x‖ y a la expresión x /F(x) le daremos el significado ―para
todo valor de x corresponde el predicado F.
Cuantificador existencial.
En el caso en el que el argumento resuma a ―algunos‖ elementos del
universo, entendiendo a alguno como al menos uno, utilizaremos el símbolo
para indicar que existe al menos un elemento al cual es posible asignarle
el predicado. A este símbolo lo llamaremos cuantificador Existencial.
Además a la expresión x le daremos el significado ―existe x‖ o ―existe al
menos un valor de x‖ y a la expresión x /F(x) le daremos el significado
―existe al menos un valor de x al que le corresponde el predicado F‖ o y de
otra forma ―existe x tal que a x le corresponde F‖.
a) F(a)
b) G(ab)
c) H(abc)
a) F(a) ^ G(b)
a) F(x)
c) H(xyz)
a) F(x) ^ G(y)
Regla 5. Son variables libres las variables que no son afectadas por
algún cuantificador. Ejemplos:
a) F(x)
b) (F(x)=>G(y)) v H(z)
a) x /F(x)
b) ( x ) ^ ( y ) / (F(x) ^ G(y))
c) ( x ) ^ ( y ) ^ ( z ) / [(F(x)=>G(y)) v H(z)]
a) x /F(x)
b) ( x ) ^ ( y ) / (F(x) ^ G(y))
c) ( x ) ^ ( y ) ^ ( z ) / [(F(x)=>G(y)) v H(z)]
a) F(x)
c) ( x ) ^ ( y ) / [(F(x)=>G(y)) v H(z)]
a) F(x): ( x ), F(x)
c) [F(x)^G(y)^H(z)]: ( x ) ^ ( y )^ ( z ) /
[F(x)^G(y)^H(z)]
a) F(x)
b) F(y) ^ G(y)
c) [(F(z)=>G(z)) v H(z)]
Regla 12. Son fórmulas predicativas poliádicas las que contienen dos
o más variables individuales. Ejemplos:
a) F(xy)
b) (F(x) ^ G(y))
a) x /F(x)
b) ( x ) ^ ( y ) / (F(x) ^ G(y))
c) ( x ) ^ ( y ) ^ ( z ) / [(F(x)=>G(y)) v H(z)]
a) F ^ x /F(x)
b) ( G ) ^ ( x ) ^ ( y ) / (F(x) ^ G(y))
c) ( x ) ^ ( y ) ^ ( H ) ^ ( z ) / [(F(x)=>G(y)) v H(z)]
Ejemplos:
3.3- Proposiciones
categóricas.
Una función proposicional expresa simbólicamente el caso general de una
proposición individual. Al evaluarla, y convertirla en proposición, podemos
reemplazar la variable por valores constantes particulares o cuantificadores.
Así se tiene que de la proposición:
O(x) : x es obispo
Debido a que las proposiciones que surgen al cuantificar una función, tanto
con el cuantificador universal como con el existencial (y a las que
llamaremos categóricas), pueden ser tanto afirmativas como negativas,
tenemos que su expresión simbólica se puede resumir de acuerdo a lo que
se ve en el cuadro siguiente y considerando las cuatro opciones
correspondientes:
Proposiciones Fórmulas
Universales afirmativas.
Las proposiciones categóricas universales afirmativas son aquellas
funciones proposicionales cuantificadas con el cuantificador universal y que
afirman el predicado de la función. De esta forma tenemos que:
Universales negativas.
Las proposiciones categóricas universales negativas son aquellas funciones
proposicionales cuantificadas con el cuantificador universal y que niegan el
predicado de la función. De esta forma tenemos que:
Particulares negativas.
Las proposiciones categóricas particulares negativas son aquellas funciones
proposicionales cuantificadas con el cuantificador existencial y que niegan
el predicado de la función. De esta forma tenemos que:
Equivalencias
Si meditamos sobre la negación de las proposiciones categóricas
mencionadas nos habremos dado cuenta ya de que existe una relación entre
los cuantificadores. Por ejemplo en la proposición:
Se puede ver que sería lo mismo decir que no existen griegos que no sean
patriotas. Eso nos da la pauta de que el cuantificador universal se puede
construir a partir del cuantificador existencial y un par de negaciones.
Equivale a:
También:
Equivale a:
Equivale a:
Además
Equivale a:
De esta forma, vemos que existe una equivalencia entre los cuantificadores
que podemos representar de la siguiente manera:
o bien
o bien
o también
3.4- Negación de
proposiciones categóricas
simples y compuestas.
De acuerdo a las equivalencias entre los cuantificadores que vimos en el
apartado anterior, es posible negar expresiones categóricas cuantificadas
utilizando de hecho sus equivalencias.
O simplificado:
a) S(n) ^ A(p)
b) E(f)=> A(p)
Ejemplos:
( x )F(x)=>G(x)
( x )[F(x)=>G(x)]
( x )[(F(x)vG(x))^H(x)]
'F(xy)' es de hecho una función proposicional, tiene dos variables que están
libres del alcance de un cuantificador, luego podemos decir que es una
fórmula abierta; pero si le anteponemos un cuantificador para cada una de
sus variables obtenemos una proposición, esto es, por ejemplo una fórmula
cerrada de la forma '( x ) ( x ) F(xy).
Otros ejemplos:
x (F(x) v G(x))
x F(xy)v( y )/G(xy)
c) x /(F(xa) v G(x))
En el primer caso tenemos una fórmula cerrada pues las dos incidencias de
'x' están ligadas al cuantificador universal dado que la ―función‖ que sigue al
cuantificador es compuesta, a saber: (F(x) v G(x)) y todas las variables ―x‖
están ligadas al cuantificador. En cambio la segunda fórmula es abierta
puesto que la primera incidencia de 'y' es libre; el cuantificador universal,
en este caso, sólo liga la primera incidencia de 'x'. Igualmente la segunda
incidencia de 'x' también es libre porque el segundo cuantificador no liga a
'x' y el primer cuantificador tiene alcance sólo hasta antes de 'v'.
Finalmente, la última es una fórmula cerrada dado que involucra
constantes y las dos incidencias de 'x' están ligadas al cuantificador
existencial.
Una vez consideradas todas estas cuestiones, veremos que sólo las fórmulas
cerradas y que por ende conforman proposición pueden ser negadas, por lo
El silogismo categórico
Habiendo definido lo que son las funciones proposicionales, las
proposiciones categóricas y algunos otros conceptos nuevos, ya estamos en
condiciones de abordar el problema que planteamos al principio de la
lectura. Al nuevo razonamiento que vamos a plantear, lo llamaremos
silogismo categórico. Debemos recordar que queríamos plantear un
razonamiento en donde las premisas tuvieran relación entre ellas y de esa
manera poder inferir sobre el valor de verdad de la conclusión. El silogismo
categórico entonces, consta de las tres proposiciones categóricas que se
pueden formar con tres términos. Las dos primeras proposiciones (que
obviamente compartirán un término) se denominan premisas y la última se
denomina conclusión. La conclusión de un silogismo categórico es una
proposición categórica que contiene dos de sus tres términos: el predicado
de la conclusión se llama término mayor y se le representa con la letra
mayúscula P; el sujeto de la conclusión se llama término menor y se le
representa con la letra S. El término que no aparece en la conclusión, pero
sí en las dos premisas, se llama término medio y se le representa con la letra
M. La premisa que contiene el término mayor se llama premisa mayor y la
que contiene el término menor se denomina premisa menor. Y con estas
definiciones podemos ver un ejemplo:
Premisas:
Conclusión:
Veremos dados los tres términos de un silogismo todas las posibilidades del
mismo. Si P S y M son los términos, entonces tiene las siguientes cuatro
posibilidades a las que llamaremos figuras. Las figuras del silogismo
designan la posición de los términos, en particular del término medio en las
premisas. Los silogismos sólo pueden tener cuatro figuras diferentes y
pueden ser esquematizadas de la siguiente manera:
MP PM MP PM
SM SM MS MS
SP SP SP SP
MP E Ningún M es P
MS I Algunos M son S
SP 0 Algunos S no son P
Procedimiento:
Ejemplos:
1. Ningún M es P
2. Algunos M son S
Forma lógica
Modo: AAA
Aquí notamos que la validez del razonamiento no tiene que ver con la
veracidad de la conclusión. Cualquiera puede saber que hay deportistas que
no son jóvenes por lo tanto la conclusión puede ser falsa, pero de todas
maneras el razonamiento es válido. Otro ejemplo:
Forma Lógica:
2. Ningún M es S
Luego, ningún S es P
Modo: AEE
Forma lógica:
2. Algunos S no son M
Modo: AOO
Forma Lógica:
Modo: AAA
( x ) F(x)
F(w)
( x ) F(x)
F(v)
F(w)
F(v)
( x ) F(x)
Procedimiento:
Por convención designaremos a los tres términos del silogismo con las
letras mayúsculas F, G y H de la siguiente manera:
Término menor: F
Término mayor: G
Término medio: H
Ejemplo 1
Dado el silogismo:
a) Se simboliza el silogismo
1. ( x )(H(x)=>G(x))
Ejemplo 2
Sea el silogismo:
a) Se simboliza el silogismo
1. ( x )(H(x)=>G(x))
Procedimiento:
Ejemplo 1
Sea la inferencia:
Todos los lógicos son reflexivos y estudiosos aunque alguno de ellos son
matemáticos. Por lo tanto sabemos que algunas personas reflexivas son
matemáticos.
L(x): x es lógico
R(x): x es reflexivo
E(x): x es estudioso
M(x): x es Matemático
b) Se simboliza la inferencia
Alejandro es hombre
H(x): x es hombre
M(x): x es mortal
H(a): a es hombre
M(a) a es mortal
b) Se simboliza la inferencia
2. H(a) / Ma
M(x): x es material
b) Se simboliza la inferencia
Ejemplo 4
Sea la inferencia:
Si todo es material, entonces hay cosas extensas. Pero nada es extenso. Por
consiguiente, hay cosas que no son materiales.
2. Nada es extenso
b) Se simboliza la inferencia.
5. x ¬M(x)
Respuesta: La inferencia es válida.
Ejemplo 5
Sea la inferencia:
3. Todo es fácil
F(x): x es fácil
A(x): x es agradable
E(a): a estudia
b) Se simboliza la inferencia
2 ¬ x ¬Ax
3. ( x ) F(x) / ¬E(a)
4. ( x )A(x) IC en (2)
Sólo basta comprobar que la primera es falsa, si y sólo si existe un x tal que
una de las dos es falsa y en entonces una de las dos de la conjunción de la
segunda proposición será falsa. Será verdadera si no existe un x etc etc,.
Ejercicio ¿puede escribir en símbolos los razonamientos? Note que debe
probar que la verdad de la primera implica la verdad de la segunda y que la
falsedad de la primera implica la falsedad de la segunda)
Ejemplo 6
S(x): x es simple
F(x): x es fácil
b) Se simboliza la inferencia.
1. ( x )(S(x) v F(x))=>H(f)
Ejemplo 7
Todos los tordos son negros y tienen pico. En consecuencia, todos los
tordos son negros y todos los tordos tienen pico.
En consecuencia, todos los tordos son negros y todos los tordos tienen pico.
T(x): x es tordo
N(x): x es negro
b) Se simboliza la inferencia.
A(c,a)
¬A(c,a)
e) Fabián es más joven que Daniel y Tamara es más joven que Rocío:
J(f,d) ^ J(t,r)
Las fórmulas que tienen por lo menos una variable libre, tal como dijimos,
son funciones proposicionales.
Ejemplos:
a) Alejandra es la novia de x
N(a,x)
V(x,y)
c) x> a
M(x,a)
d) x>y
M(x,y)
( x ) E(x,v)
( x ) E(a,x)
( x ) (M(x)=>C(x,h))
( x ) (M(x) ^ A(d,x))
Ejemplos:
( x )( y ) C(x,y)
( x )( y ) C(y,x)
( x )( y ) C(x,y)
( x )( y ) C(y,x)
( x )( y ) C(x,y)
( x ) [E(x)=>( y ) A(x,y)]
( x ) [E(x)=>( y ) (P(y)^A(x,y))]
www.uesiglo21.edu.ar