Академический Документы
Профессиональный Документы
Культура Документы
CÁLCULO DE PREDICADOS
En estos tres ejemplos se puede observar que se trabaja con proposiciones, donde
cada uno de estos enunciados tiene un sujeto concreto, y existe un criterio objetivo
que permite determinar si son verdaderas o falsas. Sin embargo, los argumentos
están también compuestos con enunciados que pueden tener una forma distinta,
como por ejemplo:
Hay que notar que estos cuatro ejemplos ya no son una proposición, ya el sujeto no
es concreto, el sujeto es un grupo, algunas asignaturas, cualquier persona, algunos
profesores, todos los hombres. Los enunciados anteriores no son proposiciones,
son predicados; el sujeto es un grupo y se puede decir que son proposiciones
abiertas que se convierten en una proposición cuando se concreta el sujeto.
Veamos el siguiente ejemplo:
Ahora bien, los sujetos de los predicados los podemos representar utilizando
conjuntos, veamos el siguiente ejemplo:
Nelson Cruz
Que estaría formado en este caso por todos los licenciados venezolanos. Fíjense
que el sujeto de esta proposición ya no es todo el universo, es un grupo del
universo que se representa con el círculo o circunferencia con la letra A.
Por eso, para comenzar con el tema de Predicados es importante conocer o repasar
la teoría de conjuntos.
Nelson Cruz
También vamos a utilizar letras minúsculas pero del final del abecedario como
x,y,z para hablar de variables, y una variable vendría a ser una representación
genérica de los elementos de un conjunto.
Ejemplo:
P(x,y): x es padre de y
Nelson Cruz
Como se puede ver es un predicado de dos variables (x,y), si sustituyo a x,y por
unas constantes:
a: Juan Vicente Bolivar y Ponte-Andrade
b: Simón Bolívar
Nuestro predicado ahora al sustituir las variables (x,y) por estas constantes (a,b)
se convierte en una proposición y en este caso verdadera
DOMINIO DE UN PREDICADO
Ejemplo:
Predicado:
P(x): x es un subproyecto del I semestre de la carrera TSU en Informática de
la UNELLEZ
El Dominio o Universo del Predicado P(x) podría ser:
Los subproyectos del I semestre de la carrera TSU en Informática de la
UNELLEZ
Hay que tener claro que El dominio del Predicado P(x), es el conjunto de todas
aquellas constantes que al ser sustituidas en el mismo, lo transforman en
proposición. Informalmente, podemos decir que el dominio de un predicado son
todas aquellas constantes que tiene sentido considerar.
Ejemplo:
El Dominio del Predicado (x): Los subproyectos del I semestre de la carrera TSU en
Informática de la UNELLEZ
El Dominio de verdad del Predicado P(x): solo los subproyectos del I semestre de
la carrera TSU en Informática de la UNELLEZ
Otro Ejemplo:
Otro Ejemplo
CUANTIFICADORES Y SU SIMBOLIZACIÓN
Veamos Enunciados como los siguientes:
Simbolización
Para simbolizar enunciados como los anteriores vamos a tener que utilizar los
cuantificadores, de los cuales existen dos tipos: el Universal (∀) y el Existencial.
Ejemplo:
Para todo x que pertenece al universo se verifica M(x), es decir, para todo elemento que
pertenezca al universo, es decir, para todos los seres humanos se verifica que x es mortal,
que si es ser humano es mortal.
En el ejemplo anterior: Todos los hombres son mortales, se pueden tener dos
predicados
Nelson Cruz