Вы находитесь на странице: 1из 7

Nelson Cruz

CÁLCULO DE PREDICADOS

En el módulo anterior se trabajó con enunciados con un sujeto en concreto:

 Lógica es un subproyecto del primer semestre de la carrera de informática


de la UNELLEZ
 El Licenciado Yovanny Sánchez es el Coordinador de la UNELLEZ
 El Consejo Comunal distribuye el CLAP

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:

 Algunas asignaturas de los planes de estudios corresponden al primer


semestre.
 Cualquier persona tiene derecho a la vida
 Algunos profesores son Licenciados en Informática
 Todos los hombres son mortales

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:

 Algunos profesores son Licenciados en Informática

Este predicado podemos convertirlo en una proposición si sustituimos el sujeto en


vez de Algunos Profesores y colocamos un nombre concreto, por ejemplo Pedro
Pérez es licenciado en Informática; fíjese, el primer enunciado es un predicado y el
segundo enunciado es una proposición, se ha cambiado el sujeto por una constante
Pedro Pérez, ya en este caso podríamos decir que incluso es una proposición
verdadera.

Ahora bien, los sujetos de los predicados los podemos representar utilizando
conjuntos, veamos el siguiente ejemplo:
Nelson Cruz

 Algunos profesores son Licenciados en Informática

Se podría tener primero un conjunto, que vamos a llamar Conjunto Universo

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.

Ese conjunto A vendrían a ser los Licenciados venezolanos en Informática.

Fíjense la diferencia como se graficaría un predicado y una proposición, si se tiene


la proposición Pedro Pérez es Licenciado en Informática, ya Pedro Perez no es un
conjunto, es un elemento y se representaría con un punto y una letra minúscula, en
el primer caso el sujeto es un conjunto y en el segundo caso es un elemento

Por eso, para comenzar con el tema de Predicados es importante conocer o repasar
la teoría de conjuntos.
Nelson Cruz

CONJUNTOS: Un conjunto es una colección de objetos bien determinados. A los


objetos se les llama elementos del conjunto. Para designar los conjuntos se utilizan
las letras mayúsculas A, B, C, D, E….., y para designar los elementos del conjunto se
utilizan las letras minúsculas a,b,c.d.e….

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.

Vamos a verlos con un ejemplo:

A es el conjunto de los subproyectos del I semestre de la UNELLEZ

.a es el subproyecto de lógica del conjunto A

x es la representación de cualquier subproyecto que forman parte del I semestre


de la UNELLEZ.

Un PREDICADO o proposición abierta, es un enunciado que contiene una o más


variables, que no es una proposición, pero que se convierte en una proposición
cuando se sustituye la o las variables por constantes.

Los predicados se designan con letras mayúsculas y al lado entre paréntesis se


pone (n) la (s) Variable (s): P(x); Q(y); R(x,y); T(x,y,z)

Ejemplo:

 Todos los subproyectos del I semestre de la carrera TSU en Informática de


la UNELLEZ son obligatorios
 Comenzaremos por definir el predicado
P(x); x es un subproyectos del I semestre de la carrera TSU en Informática
de la UNELLEZ
 Si a representa Lógica
 P(a): Lógica es un subproyectos del I semestre de la carrera TSU en
Informática de la UNELLEZ

Como se ve el Predicado ya no es P(x) sino P(a) y el predicado ahora quedaría


convertido en una proposición y en este caso se observa que es una proposición
verdadera.

 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

P(a,b): Juan Vicente Bolívar y Ponte-Andrade es padre de Simón Bolívar

DOMINIO DE UN PREDICADO

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, por ello nos tocara definir los dominios de los predicados.
Lo importante es darnos cuenta que el universo va a ser todas aquellas constantes
que tiene sentido considerar ara ese predicado y que también podremos llamar
Dominio del predicado o universo del predicado, el universo lo denotaremos con la
letra U.

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.

El Dominio de verdad de un Predicado es el conjunto formado por todas las


constantes que al ser sustituidas en el predicado, lo convierten en una proposición
verdadera. El dominio de verdad de un predicado es un conjunto mas pequeño que
el dominio del predicado, fíjense el dominio del predicado es todas las constantes
que tienen sentido considerar en el ejemplo se dijo que era: Todos los
Nelson Cruz

subproyectos del I semestre de la carrera TSU en Informática de la UNELLEZ,


mientras que el dominio de verdad son aquellas constantes del universo que
convierten nuestro predicado en una proposición verdadera.

Ejemplo:

P(x): x es un subproyectos del I semestre de la carrera TSU en Informática de la


UNELLEZ

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:

Q(y): y es un rio venezolano

Universo o Dominio de Q(y): el conjunto de los ríos del mundo (U)

Dominio de verdad de Q(y): el conjunto de los ríos venezolanos (Q)

Otro Ejemplo

R(x): x es profesor del Liceo Socopó


Universo o Dominio del Predicado R(x): El conjunto de Profesores del Municipio
Dominio de Verdad de R(x): El conjunto de Profesores del Liceo Socopó

CUANTIFICADORES Y SU SIMBOLIZACIÓN
Veamos Enunciados como los siguientes:

 Todos los hombres son mortales


 Algunos animales son mamíferos
 Cualquier estrella emite luz propia
 Algunos políticos son corruptos

Si pueden detallar ninguno de estos enunciados son proposiciones ya que no posee


un sujeto concreto, son predicados.
Nelson Cruz

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.

Cuantificador Universal (∀)

Su símbolo es ∀ y se lee “para todo” (todo, para cada, cada uno)

Ejemplo:

Todos los hombres son mortales

Definir el universo: El conjunto de los seres humanos

El predicado entonces, sería uno nada más

Definir el Predicado: M(x) x es mortal

La simbolización seria: ∀x ∈ U: M(x)

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

Вам также может понравиться