REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD JOS ANTONIO PAEZ

DIRECCIN DE ESTUDIOS BSICOS

Lgica de Predicados

Romina Betancourt
Catedra: Lgica

INDICE
Pg.
1.

Lgica de predicados:
1.1.

Definicin03

1.2.

Notacin de Conjuntos y Pertenencia de elementos a un universo,

Ejemplos..03
1.3.
2.

Negado de un Predicado (ejemplos) P(x).05

Predicados simples de un solo universo P(x)...07

2.1.

Mostrar Cinco (05) ejemplos distintos con la descripcin

del Universo U.08

3.

Predicados relacionales de varios universos P(x,y).....09

3.1.

Mostrar Cinco (05) ejemplos distintos con la descripcin de cada

Universo.......09
4.

Cuantificadores: existenciales x, universales x,

Definiciones y notaciones de ambos casos. ....10

5.

Negado de cuantificadores...11
5.1) Mostrar Tres (03) ejemplos de cuantificadores existenciales negados11
5.2) Mostrar Tres (03) ejemplos de cuantificadores universales negados..12

6.

Realizar Cinco (05) ejemplos de casos de Cuantificadores Universales

definiendo los universos y los predicados. .13

7.

Realizar Cinco (05) ejemplos de casos de Cuantificadores Existenciales

definiendo los universos y los predicados...14

BIBLIOGRAFIA15

2
Informe de Lgica. UJAP

1) LGICA DE PREDICADOS
1.1) Definicin: La lgica de predicados es una extensin de la lgica de
proposiciones, y a ella se extienden tambin los conectivos lgicos y operadores
de la lgica proposicional. La lgica de predicados descompone la proposicin en
sus dos componentes bsicas (sujeto y predicado) y cuantifica al sujeto,
introduciendo smbolos para el sujeto, para el predicado y para los cuantificadores
"todos" y "alguno", adems de un smbolo de relacin entre sujeto y predicado.
Con la lgica de predicados intentamos conseguir sistemas de demostracin
automtica de teoremas. Partimos de elementos bsicos como las frases declarativas
simples o proposiciones que son aquellos elementos de una frase que constituyen por
s solos una unidad de comunicacin de conocimientos y pueden ser considerados
Verdaderos y Falsos. La lgica de predicados estudia las frases declarativas con
mayor grado de detalle, considerando la estructura interna de las proposiciones. Se
tomarn como elemento bsico los objetos y las relaciones entre dichos objetos. Se
distingue:
"Qu se afirma (predicado o relacin)
De quin se afirma (objeto)"
1.2)

Notacin de Conjuntos y Pertenencia de Elementos a un Universo.

Ejemplos

Un conjunto es la reunin en un todo de objetos bien definidos y diferenciables entre

si, que se llaman elementos del mismo.
Si a es un elemento del conjunto A se denota con la relacin de pertenencia a A.
En caso contrario, si a no es un elemento de A se denota a A.
Ejemplos de conjuntos:

o
o
o
o
o
o

: el conjunto vaco, que carece de elementos.

N: el conjunto de los nmeros naturales.
Z: el conjunto de los nmeros enteros.
Q : el conjunto de los nmeros racionales.
R: el conjunto de los nmeros reales.
C: el conjunto de los nmeros complejos.

3
Informe de Lgica. UJAP

Se puede definir un conjunto:

Determinacin de un conjunto por extensin: Un conjunto est

determinado por extensin cuando se escriben uno a uno todos sus
elementos.Ejemplo: Los nmeros menores que 5: A={1,2,3,4}.
Determinacin por compresin:Un conjunto est determinado por
compresin cuando solamente se menciona una caracterstica comn de todos
los elementos. Ejemplo: El conjunto de vocales del abecedario: X={x: x es una
vocal}.

Notacin conjunto es una manera de decir cul est en un conjunto. El conjunto se

nombra generalmente con una mayscula como esto:
A = {definicin del conjunto}1
La definicin del conjunto est dentro de las llaves: {}. Hay dos estilos de la
definicin del conjunto que pueden estar en llaves.

Lista: Si un conjunto tiene apenas algunos elementos, el conjunto puede ser

definido enumerando todos los elementos:
B = {libro, lpiz, borrador}2
En esta definicin, el conjunto B tiene tres elementos: libro, lpiz, y borrador.

Regla: Un conjunto se puede definir por una regla. Mientras que esta regla
puede simplemente ser una oracin por ejemplo {El conjunto de toda la roca
en mi jardn.}, los smbolos de la matemticas se utilizan tpicamente:
C = { x | x , x < 20 }3
Conjunto C contiene todos los nmeros naturales menos de 20.

Un elemento a cada uno de los objetos que forman parte de un conjunto, estos
elementos tienen carcter individual, tienen cualidades que nos permiten
diferenciarlos, y cada uno de ellos es nico, no habiendo elementos duplicados o
repetidos. Los representaremos con una letra minscula: a,b,c,

/ : Se usa para expresar si un elemento pertenece o no a un conjunto.

: Se usa para expresar que un conjunto, y por lo tanto, todos sus elementos,
forman parte de otro conjunto mayor.
U / : El primer smbolo indica el conjunto universal, es el conjunto de todas
las cosas sobre las que estemos tratando.

4
Informe de Lgica. UJAP

1.3)

As, si hablamos de nmeros enteros entonces U es el conjunto de los

nmeros enteros, si hablamos de ciudades, U es el conjunto de todas las
ciudades, este conjunto universal puede mencionarse explcitamente, o en la
mayora de los casos se da por supuesto dado el contexto que estemos
tratando, pero siempre es necesario demostrar la existencia de dicho conjunto
previamente.
El otro conjunto, se le llama conjunto vaco y cumple que todos los elementos
posibles no estn contenidos en l, es decir x, x.
Negado de un predicado

Dada una proposicin p, se define la negacin de p como la proposicin p' que es

verdadera cuando p es falsa y que es falsa cuando p es verdadera. Se lee "no p".
A partir de una o varias proposiciones elementales se pueden efectuar diversas
operaciones lgicas para construir nuevas proposiciones; en este caso, se necesita
conocer su valor de verdad o falsedad en funcin de los valores de las proposiciones
de que se componen, lo cual se realiza a travs de las tablas de verdad de dichas
operaciones.
Por ejemplo, la tabla de verdad de la negacin es la siguiente:
P(x) P(x)
1
0
0
1
Una proposicin se dice que es una tautologa si su valor de verdad es siempre 1
independientemente
de
los
valores
de las proposiciones que lo componen; por ejemplo: p p'.
Una proposicin se dice que es una contradiccin si su valor de verdad es siempre 0
independientemente
de
los
valores
de las proposiciones que lo componen; por ejemplo: p p'.
Una paradoja es una proposicin a la que no se le puede asignar ningn valor de
verdad; suelen estar relacionadas con incorrecciones en el lenguaje lgico. Por
ejemplo: p="la proposicin p es falsa".
Dos proposiciones p y q se dicen equivalentes si tienen la misma tabla de verdad en
funcin de las proposiciones elementales que lo componen; esta definicin equivale a
decir que la proposicin p q es una tautologa. Por ejemplo, las proposiciones
pqy

q' p'

5
Informe de Lgica. UJAP

Son equivalentes. Esta ley se llama "ley del contrarrecproco", y se usa en los
razonamientos por reduccin al absurdo. Se pueden obtener fcilmente ms
"resultados lgicos" a travs de su relacin con la teora de conjuntos.

Relacin entre la teora de conjuntos y la lgica proposicional:

Existe una relacin muy estrecha entre la Teora de Conjuntos y la Lgica
Proposicional.
Para mostrar dicha relacin, denotemos por letras maysculas A,B ... los conjuntos y
por las correspondientes minsculas a,b ... sus propiedades caractersticas
(es decir, la proposicin lgica que caracteriza a los elementos de cada conjunto);
entonces se tiene la siguiente correspondencia:
conjuntos
A B A = B A B A B A' A B A B
proposiciones a b a b a b a b a' a b' a b
Adems, el conjunto vaco se corresponde con una contradiccin y el conjunto
universal con una tautologa.
Mediante esta correspondencia, todos los resultados sobre conjuntos se pueden
reescribir en trminos de lgica proposicional y viceversa; a modo de ejemplo:

A(AB)=A
a(bc)a
A(BC)=(AB)(A a(bc)(ab)(a
C)
c)
( A B )' = A' B'
( a b )' a' b'

6
Informe de Lgica. UJAP

2) PREDICADOS SIMPLES DE UN SOLO UNIVERSO P(x,y).

El predicado simple es la palabra principal o palabras principales en el predicado
completo. El predicado simple siempre es un verbo o frase verbal.
Ejemplo: Las plantascrececada da ms junto a otras plantas
En donde crece es el ncleo y el resto el predicado.
Ahora bien, se define el universo U con una variable x: x U plantas y se
U plantas
procede a unir con el ncleo de la oracin para definir el nico universo, se
entiende a planta o plantas como el nico sujeto aunque se trate de
diferentes individuos en la oracin, por su naturaleza claro est, entonces se
dice que P(x,y) x
P(x,y) x
P(x,y) x crece junto a x
crece junto a x
Ahora bien, si la oracin se encuentra definida en forma negativa se trata de la
misma forma, eliminndole la negacinde modo que la lgica proposicional se
conserve:
conserve:
Ejemplo: No hay ninguna planta que no crezca cada da ms junto a otras
plantas.
De igual forma, se
De igual forma, define el universo U con una variable x: x U plantas y
U plantas
se procede a unir con el ncleo de la oracin para definir el nico
universoeliminando la negacin de variables para defnirP(x,y)
P(x,y) x crece
junto a x
junto a x
Entonces se define del siguiente modo:

7
Informe de Lgica. UJAP

Son aquellas que no tienen oraciones componentes afectadas por negaciones (no)
o trminos de enlace como conjunciones (y), disyunciones (o) o implicaciones
(si . . . entonces). Pueden aparecer trminos de enlace en el sujeto o en el
predicado, pero no entre oraciones.

2.1)

Mostrar Cinco (05) ejemplos distintos con la descripcin del Universo U

a) No existe ningn padre que no adore a su padre

x: x U=padre
P(x,y) = x adora a x
b) Se fabrica torta de pan con dos bolsas de pan
x: x U=pan
P(x,y) = torta de x fabricada de x
c) No hay panquecas que sepan a otra cosa que no sean a panquecas
x: x U=panquecas
P(x,y) = x sabe a x
d) Existen hermanos entre s mismos
x: x U=hermanos
P(x,y) = x entre x
e) No existen religiones que no prediquen para s mismas
x: x U=Religiones
P(x,y) = x predica x

8
Informe de Lgica. UJAP

3) PREDICADOS RELACIONALES DE VARIOS UNIVERSOS P(x,y).

Ahora bien, como se procede en la lgica de un solo universo, se define otra variable
y para formar una sola sentencia entre dos universos. Igualmente se toma el ncleo
de la oracin como conectiva axiomtica entre variables.
Ejemplo: Algunas nias les hablan a los varones
x: x U=nias y: y U=varones
Entonces, P(x,y) = x le habla a y

3.1)

Mostrar Cinco (05) ejemplos distintos con la descripcin del Universo U

a) Se encuentran cerezas entre la caja de cerezos

x: x U=cerezas y: y U=cerezos
Entonces, P(x,y) = x dentro la caja y

b) La lgica matemtica y la lgica filosfica son dos cosas diferentes

x: x U=lgica matemtica y: y U=lgica filosfica
Entonces, P(x,y) = x es diferente a y

c) Mi perro y mi gato son amigos

x: x U=perroy: y U=gato
Entonces, P(x,y) = x es amigo de y

d) Mi hermano es hermano de mi otra hermana tambin

x: x U=hermano y: y U=hermana
Entonces, P(x,y) = x es hermano de y

e) Mi profesor de lgica de la UJAP se parece a mi compaero de trabajo en

la UAM
x: x U=profesor de lgica UJAPy: y U=Compaero de trabajo UAM
Entonces, P(x,y) = x se parece a y

9
Informe de Lgica. UJAP

4) CUANTIFICADORES: EXISTENCIALES x, UNIVERSALES x.

Definiciones y Notaciones de ambos casos.
Cuantificadores: En lgica, teora
de
conjuntos y
matemticas
en
general,los cuantificadores son smbolos utilizados para indicar cuntos elementos de
un conjunto dado cumplen con cierta propiedad.
Cuantificadores Existenciales: La cuantificacin existencial de P(x) Es la
proposicin en que existe un elemento x en el universo de discurso tal que P(x) es
verdad.
Se denota con el smbolo x y se lee de las siguientes maneras: hay un x tal
que), hay al menos un x tal que..." o "para algn x...".
Ejemplo:Sea A= {1,2,3,4,5} Determine el valor de verdad de cada uno de los
enunciados
siguientes:
a) ( x A)(x+3=10)
Solucin: es falso porque ningn nmero de A es una solucin de x+3=10.
b) ( x A)(x+3<10)
Solucin: es Verdadero. Cualquier nmero de A cumple que x+3<10
Cuantificadores Universales: Indican que algo es cierto para todos los individuos.
Sea A una expresin y sea x una variable. Si deseamos indicar que A es verdadero
para todos los posibles valores de x, escribiremos (x) A.
Ejemplos:

Todos los humanos respiran

(
x) (H(x) R(x)) donde el predicado H significa humanos, R respiran y x es un
elemento de un dominio general que podra ser el de las personas o cualquier
subconjunto deseado.

Todos los alumnos son estudiosos

(
x) (A(x) E(x)) donde el predicado A significa alumno, E estudioso y x es un
elemento de un dominio general que podra ser el de las personas o cualquier
subconjunto deseado.

10
Informe de Lgica. UJAP

5) NEGADO DE CUANTIFICADORES
Leyes de Morgan para Cuantificadores.
a) La negacin de que P(x) es cierta para todo nmero real es que existe un nmero x
para el cual P(x) es falsa. (
x)
b) La negacin de que P(x) es cierta para por lo menos una x es para toda x, P(x) es
falsa. (
x)
Ejemplo: Negacin de las siguientes proposiciones:
1. Para el conjunto de todos los nmeros primos por lo menos un nmero primo es
par. (cierta)
Negacin: Para el conjunto de los nmeros primos, todos son nmeros impares.
(falso)
2. Para todos dos nmeros enteros positivos, su suma es 12. (falso)
Negacin: Para todo nmero entero, existe por lo menos una pareja cuya suma es no
es igual a 12. (cierta)
5.1) Mostrar tres (03) ejemplos de cuantificadores existenciales negados.
a) No se ha comprado vida en otros planetas
x: x U1=planetas
Entonces, P(x,y) = x tiene vida
P(x)
x[ P(x)]x[P(x)]

b) Ningn poltico es honesto

x: x U1=poltico
Entonces, P(x,y) = x es honesto
P(x)
x[ P(x)]x[P(x)]

c) No existe paciencia sin crisis

x: x U1=paciencia
Entonces, P(x,y) = x con crisis
P(x)
{ x[ P(x)] }x[P(x)]

11
Informe de Lgica. UJAP

5.2) Mostrar tres (03) ejemplos de cuantificadores universales negados.

a) Algunos nios pueden hablar
x: x U1=nios
Entonces, P(x,y) = x pueden hablar
P(x)
x[ P(x)]x[P(x)]

b) No todos los hombres son mujeriegos

x: x U1=hombres
Entonces, P(x,y) = x mujeriegos
P(x)
x[ P(x)] x[P(x)]

c) No siempre se gana la lotera

x: x U1=lotera
Entonces, P(x,y) = x se gana siempre
P(x)
x[ P(x)] x[P(x)]

12
Informe de Lgica. UJAP

6) REALIZAR CINCO (05) EJEMPLOS DE CASOS DE

CUANTIFICADORES UNIVERSALES DEFINIENDO LOS
UNIVERSOS Y LOS PREDICADOS.

Todos los perros ladran

(
x) (P(x) L(x)) donde el predicado P significa perros, Lladran y x es un elemento
de un dominio general que podra ser el de las perros o cualquier subconjunto
deseado.

Todos los nios son fastidiosos

(
x) (N(x) F(x)) donde el predicado N significa nios, Ffastidioso y x es un
elemento de un dominio general que podra ser el de los nios o cualquier
subconjunto deseado.

Todos las universidades estn de paro

(
x) (U(x) P(x)) donde el predicado U significa universidades, Pparo y x es un
elemento de un dominio general que podra ser el de las universidades o cualquier
subconjunto deseado.

Todas las madres son cuidadosas

(
x) (M(x) C(x)) donde el predicado M significa madres, Ccuidadosas y x es un
elemento de un dominio general que podra ser el de las madres o cualquier
subconjunto deseado.

Todos los carros tienen motor

(
x) (K(x) W(x)) donde el predicado K significa carros, Wtener motor y x es un
elemento de un dominio general que podra ser el de los carros o cualquier
subconjunto deseado.

13
Informe de Lgica. UJAP

7) REALIZAR CINCO (05) CASOS DE CUANTIFICADORES

EXISTENCIALES DEFINIENDO LOS UNIVERSOS Y LOS
PREDICADOS.

Existen perros que no ladran

(
x) (P(x) L(x)) donde el predicado P significa perros, Lladran y x es un
elemento de un dominio general que podra ser el de las perros o cualquier
subconjunto deseado.

Algunosnios son fastidiosos

(
x) (N(x) F(x)) donde el predicado N significa nios, Ffastidioso y x es un
elemento de un dominio general que podra ser el de los nios o cualquier
subconjunto deseado.

Algunas universidad reiniciaron actividades

(
x) (U(x) R(x)) donde el predicado U significa universidades, Rreiniciar
actividades y x es un elemento de un dominio general que podra ser el de las
universidades o cualquier subconjunto deseado.

Algunas nias son obesas

(
x) (N(x) O(x)) donde el predicado N significa nias, Oobesas y x es un
elemento de un dominio general que podra ser el de las madres o cualquier
subconjunto deseado.

Algunoscarros no son sincrnicos

(
x) (K(x) S(x)) donde el predicado K significa carros, Ssincrnicos y x es un
elemento de un dominio general que podra ser el de los carros o cualquier
subconjunto deseado.

14
Informe de Lgica. UJAP

BIBLIOGRAFIA
JMD (2009).Lgica de Predicados. [Artculo en lnea]. Consultado el 30 de febrero
del 2014. Disponible en: http://www.matetam.com/glosario/definicion/logicapredicados
Sangakoo (s/f). Definicin y notacin de conjuntos. [Artculo en lnea].Consultado
el
30
de
febrero
del
2014.
Disponible
en:
http://www.sangakoo.com/es/temas/definicion-y-notacion-de-conjuntos
Labra, L y otros (s/f).Cuaderno Didctico: Lgica de Predicados'. Universidad de
Oviedo[Documento en lnea]. Consultado el 30 de febrero del 2014. Disponible
en:http://di002.edv.uniovi.es/~labra/FTP/LPRED.pdf
Farrn, J (2009).Teora elementalde conjuntos.Consultado el 30de febrero del 2014.
Disponible
en:http://wmatem.eis.uva.es/~matpag/CONTENIDOS/Conjuntos/marco_conjuntos.ht
m
Sotomayor, Z 82013). Cuantificadores, cuantificadores Existenciales y Universales
y como se representa cada uno.Consultado el 01demarzo del 2014. Disponible en:
http://estructuradiscretaunerg.blogspot.com/2013/06/cuantificadorescuantificadores.html

15
Informe de Lgica. UJAP