sdsa12332432EJERCICIOS DE LOGICA DE PREDICADOS

Anidamiento de cuantificadores
Ejemplo: “todo el mundo tiene alguien que sea su amigo”

A(x,y): x es amigo de y

Sea la afirmación “alguien es amigo de y”

ꓱ x A(x,y)
Esto esa cierto para todos

ꓯ y ꓱ x A(x,y)

Ejemplo: todo el mundo tiene descanso de vez en cuando

Ejercicio1 D(x): x tiene descanso de vez en cuando

ꓯ x D(x)

Ejercicio2: sea el UD todos los cuadriláteros de la geometría plana y sea el

siguiente argumento
“como todo cuadrado es un rectángulo y todo rectángulo es un paralelogramo, se
sigue que todo cuadrado es un paralelogramo”

p(x): x es un cuadrado
q(x): x es un rectángulo
r(x): x es un paralelogramo

ꓯ x [p(x) → q(x)] ꓯ x [A(x) → ¬B(x)]: ningún A es B

ꓯ x [q(x) → r(x)]
ꓯ x [p(x) → r(x)]
Ejercicio3:
_ para el UD de los enteros, y sean las siguientes proposiciones abiertas:
p(x): x > 0
q(x): x es par: ꓱ x q(x)
r(x): x es un cuadrado perfecto
s(x): x es exactamente divisible entre 4
t(x): x es exactamente divisible entre 5

escribir las siguientes proposiciones en forma simbólica

a_ al menos un entero es par
b_ existe al menos un entero positivo que es par
c_ si x es par entonces x no es divisible entre 5
d_ ningún entero par es divisible entre 5 resp. ꓯ x [p(x) → ¬t(x)]
e_ existe al menos un entero par divisible entre 5
f_ si x es par y x es un cuadrado perfecto, entonces x divisible entre 4

Expresar en palabras c/u de las siguientes representaciones simbólicas

1_ ꓯ x [r(x) → p(x)]
2_ ꓯ x [s(x) → q(x)]
3_ ꓯ x [s(x) → ¬t(x)]
4_ ꓱ x [s(x) Ʌ ¬r(x)]

Ejercicio4: el UD son los números reales y sean las siguientes proposiciones

Sea el U.D. todas las personas, y sea el siguiente argumento:
p(x): x  0
q(x): x2  0
p(x): x2 -3x – 4  0
p(x): x2 -3 > 0

Diga si las siguientes expresiones son verdaderas o falsas:

a_ ꓱ x [p(x) Ʌ r(x)]
b_ ꓯ x [p(x) → q(x)]
c_

Ejercicio5: “todos los profesores de Informática han estudiado algoritmos. Leonardo

es profesor de informática.
Por lo tanto, Leonardo ha estudiado algoritmos”
Formalizar a la lógica de predicados:
I(x): x es profesor de Informática l: Leonardo
A(x): x ha estudiado algoritmos
P1:ꓯ x [I(x) → A(x)]
P2:I(l)
__________________
C  A(l)
Solución:
DF REGLA COMENTARIO
1_ ꓯ x [I(x) → A(x)] premisa todos los profesores de Informática han
estudiado algoritmos.

2_ I(l) premisa
3_ I(l) → A(l) 1,2) PU
4_  A(l) 2,3) MP por lo tanto Leonardo ha estudiado alg

1.-Traducir los enunciados del lenguaje natural de la siguiente oración que trata
de las relaciones familiares al lenguaje formal sustituyendo cada parte del
enunciado por el símbolo que lo representa: “José está casado con Florencia, José y
Florencia son (respectivamente) el padre y la madre de Guillermo, Indira y Eduardo.
Guillermo es padre de Arnaldo y Corina. Eduardo es padre de Pedro y está casado con
Marcia.”. Por otra parte, seleccionar una interpretación fija de un conjunto de
símbolos primitivos mediante cuantificadores. “Eduardo es padre”
Soluciones
: x es padre de y a: Arnaldo f: Florencia p: Pedro
: x es madre de y c: Corina g. Guillermo
: x está casado con y e: Eduardo i: Indira
j: José m: Marcia

c(j, f): José está casado con Florencia

p(j, g)  m(f, g)  p(j, i)  m(f, i)  p(j, e)  m(f, e): José y
Florencia son (respectivamente) el padre y la madre de Guillermo, Indira y Eduardo
p(g, a)  p(g, c): Guillermo es padre de Arnaldo y Corina
p(e, p)  c(e, m): Eduardo es padre de Pedro y está casado con Marcia
x p (e, x): existe alguien cuyo padre es Eduardo.

2.-

[  p(1)   p(2)  . . .   p(n ) ] Por definición del

existencial
Leyes de Morgan
Definición del universal
3.- Formalizar el siguiente argumento lógico usando inferencia: “Fernando es padre
de Alan y de Marcos, todas las personas que tienen el mismo padre son hermanos.”, y
demostrar por derivación formal.

f: Fernando m: Marcos
a: Alan
Expresión lógica:

Derivación Formal Regla Comentario

1) premisa Fernando es padre de Alan y de
Marcos
2) Premisa todas las personas que tienen el
mismo padre son hermanos
3) 2) P U si existe alguien que es padre de
Alan y Marcos, entonces Alan es hermano
de Marcos
4) 3)P E si Fernando es padre de Alan y
de Marcos, entonces Alan es
hermano de Marcos
5) 1,4) M. P. por lo tanto, Alan es hermano de
Marcos

4.-Derivar de que Edgar es hijo de David a partir de las siguientes premisas: David
es padre de Edgar. Edgar no es hija de David. Toda persona cuyo padre sea David
debe ser o bien su hijo o bien su hija.
Solución: Formalizamos

f(y,x): y es padre de x d: David

s(x,y): x es hijo de y e: Edgar
d(x,y) x es la hija de y
f: father (padre) ; s: son (hijo) ; d: daughter ; (hija) ; D: David; e: Edgar
Demostramos: x (f(D, x)  s(x, D)  d(x, D), f(D, e),  d(e, D)  s(e, D)

D.F REGLA COMENTARIO

1- x (f(d,x)  s(x,d)  d(x,d) premisa

2- f(d,e) premisa

3-  d(e,d) premisa

4- f(d,e)  s(e,d)  d(e,d) 1) P. U.

5- s(e,d)  d(e,d) 2,4) M. P.

6-  s(e,d) 3,5) S. D. por lo tanto, Edgar es

hijo de David.

5.-Todos los empleados del Bco. de Crédito deben saber Visual Basic. Todos los
empleados del Bco. de Crédito que se encargan de las solicitudes de préstamo deben
conocer SQL Server. Roger trabaja para el Bco. de Crédito, pero no sabe usar SQL
Server. Marco sabe SQL Server, pero no Visual Basic.
Por lo tanto, Roger no se encarga de las solicitudes de préstamo y Marcos no
trabaja en el Bco. de Crédito.
Solución:

T (x): x trabaja en el Bco. de Crédito x T(x)  V(x)

E(x): x elabora solicitudes de préstamo x (T(x)  (E(x))  S(x))
V(x): x sabe Visual Basic T(r)  S(r)
S(x): x sabe SQL Server. S(m)  V(m)
r: Roger  E(r)  T(m)
m: Marcos

D.F REGLA COMENTARIO

1- x T(x)  V(x) premisa

2- S(m)  V(m) premisa

3-  V(m) 2) S.C.

4- T(m)  V(m) 1) P. U.

5- T(m) 3,4 M. T.

6- x (T(x)  (E(x))  S(x)) premisa

7- T(r)  S(r) premisa

8- S(r) 7) S. C.

9- T(r)  (E(r)  S(r) 6) P. U.

10-  (T(r)  (E(r)) 8,9) M. T.

11- T(r) 7) S. C.

12- T(r)  E(r) 10) L. M.

13- E(r) 11,12) R. S. D.

14-  E(r)  T(m) 13, 5) R de la C.

6.- Considere el universo de todos los triángulos que hay en un plano, y sean las
siguientes proposiciones abiertas:

p(t): t tiene dos lados de igual longitud,

q(t): t es un triángulo isósceles,
r(t): t tiene dos ángulos de igual medida.

Sea el triángulo c, que no tiene dos ángulos de igual medida y sea el siguiente
argumento: “En el triángulo c no hay dos ángulos de igual medida. Si un triángulo
tiene dos lados de igual longitud, entonces es isósceles. Si un triángulo es
isósceles, entonces tiene dos ángulos de igual medida. Por lo tanto, el triángulo c
no tiene dos lados de igual longitud”. Formalizar este argumento y además verificar
su validez dando razones.

Solución:
Derivación Formal Regla Comentario
1) Premisa
2) 1) PU
3) Premisa
4) 3) PU
5.- 2, 4) S.H.
6) Premisa
7) 5,6) M. T. Por lo tanto, el triángulo c no tiene dos lados
de igual longitud

7.- Sea el U.D. los enteros y sean las siguientes proposiciones:

p(x): x>0
q(x): x es par
r(x): x es un cuadrado perfecto
s(x): x es exactamente divisible entre cuatro
t(x): x es exactamente divisible entre cinco

a) formalizar los siguientes enunciados:

i.- al menos un entero es par

ii.- existe al menos un entero positivo que es par
iii.- si x es par entonces x no es divisible entre cinco
iv.- ningún entero par es divisible entre cinco
v.- existe al menos un entero par divisible entre cinco
vi.- si x es par y x es cuadrado perfecto, entonces x es divisible entre 4

Solución:
i.- x q(x)
ii.- x [p(x)  q(x)]
iii.- x q(x)  t(x)
iv.- x q(x)  t(x)
v.- x [q(x)  t(x)]
vi.- x (q(x)  r(x))  s(x)
b) Expresar en palabras c/u de las siguientes representaciones simbólicas según las
anteriores proposiciones:

1) x r(x)  p(x) : si x es un cuadrado perfecto, entonces x> 0

2) x s(x)  q(x) : si x es divisible entre 4, entonces x es par
3) x s(x)  t(x) : si x es divisible entre 4, entonces x no es divisible
entre 5
4) x [s(x)  r(x)] : existe un entero que es divisible entre 4, pero no es un
cuadrado perfecto.

8.- sea el U.D. todos los cuadriláteros de la geometría plana, y sea el siguiente
argumento:
“como todo cuadrado es un rectángulo y todo rectángulo es un paralelogramo, se
sigue que todo cuadrado es un paralelo gramo” formalizar:

Solución:

p(x) : x es un cuadrado
q(x) : x es un rectángulo
r(x) : x es un paralelogramo

x p(x)  q(x)
x q(x)  r(x)
 x p(x)  r(x)

Pasos razones
1_ x p(x)  q(x) premisa
2_ p(x)  q(x) 1) PU
3_ x q(x)  r(x) premisa
4_ q(x)  r(x) 3) PU
5_ p(x)  r(x) 2,4) SH
6_  x p(x)  r(x) 5) GU

Enunciado categórico: x A(x)  ¬B (x): ningún A es B

9.- Sea el universo de todos los estudiantes de una carrera específica, designamos
a un estudiante particular, Daniel, como d. Las proposiciones son: p(x): x está en
su penúltimo año. u(x): x está en su último año y a(x): x está inscrito en una
clase algoritmos. Considere el siguiente argumento: “ningún estudiante de penúltimo
o ultimo año está inscrito en una clase de algoritmos. Daniel está inscrito en una
clase de algoritmos.
Por lo tanto, Daniel no es estudiante de último año”.
Expresar en forma simbólica este argumento y demostrar su validez por derivación
formal.

Solución:

p(x): x está en su penúltimo año

u(x): x está en su último año
a(x): x está inscrito en una clase algoritmos
a(d): Daniel está inscrito en una clase algoritmos

x (p(x)  u(x))   a(x)

a(d)
_________________________
 ¬ u(d)
Pasos Razones
1) x (p(x)  u(x))   a(x) premisa
2) a(d) premisa
3) (p(x)  u(x))   a(x) 1) P. U.
4) a(x)   (p(x)  u(x)) 3) contra positiva y D. N.
5) a(x)  ( p(x)   u(x)) 4) L. M.
6)  p(x)   u(x) 2, 5) M. P.
7)   u(d) 6) S. C.

10.- sea el U. D. todas las personas, formalizar el siguiente argumento:

“todos los profesores de Informática han estudiado recursividad. Leonardo es
profesor de Informática.
Por lo tanto, Leonardo ha estudiado recursividad”

I(x): x es profesor de informática

R(x): x ha estudiado recursividad
l: Leonardo

I(l)
x I(x)  R(x)
 R(l)

Pasos Razones
1) x I(x)  R(x) premisa
2) I(l) premisa
 3) I(l)  R(l) 1) P. U.
4)  R(l) 2, 3) M. P.

11) Demostrar que Juana es hija de María a partir de las siguientes premisas:
María es madre de Juana, Juana no es hijo de María. Toda persona cuya madre
sea María debe ser o bien su hijo o bien su hija.

M(x,y): x es madre de y M(j,m): María es madre de Juana

s(y,x): y es hijo de x s(j,m): Juana no es hijo de María
d(y,x): y es hija de x x [M(m,x)  ( s(x,m)  d(x,m)]
j: Juana; m: María  d(j,m)

Verificación de la conclusión

Pasos Razones
1.- x [M(m,x)  ( s(x,m)  d(x,m)] premisa
2.- M(m,j)  ( s(j,m)  d(j,m) ) 1.- P.U.
3.- M(j,m) premisa
4.- s(j,m)  d(j,m) 2,3) M.P.
5.- s(j,m) premisa
6.-  d(j,m) 4,5) S.D.

Según la definición de los cuantificadores la variable que aparece en ellas se

denominan ligadas (acotadas)
p. ejemplo: ꓯ x [P(x) → Q(x)] : x es una variable ligada

toda variable que no esté ligada se llama libre

una misma variable puede aparecer tanto libre como ligada en una determinada
expresión
por ejemplo: encontrar las variables libres y ligadas

ꓯ x (p(z) Ʌ q(x)) V ꓱ y Q(y)

Solución: solo la variable z es libre

Ejemplo: Supongamos que S(x, y) denota que x es hijo de y, además supongamos que
P(y, x) denota que y es uno de los progenitores de x, claramente se tiene:
x y[S(x,y)  P(y, x)], dar una derivación formal, para demostrar que si Pedro es
hijo de Juana, entonces juana tiene que ser uno de los progenitores de Pedro.
Usar variables verdaderas en las premisas.

Derivación formal Regla

1* x y[S(x,y)  P(y, x)] premisa
2* S(x, y) premisa
3* S(p, j)  P(j, p) 1) P.U.
4*  P(j, p) 2,3) MP ∫_x^(x,)

Ejemplo

Dado P(x) y ꓯ x [P(x) → Q(x)], construir una derivación formal de que ꓯ x Q(x).
DF Regla
1_ P(x) premisa
2_ ꓯ x [P(x) → Q(x)] premisa
3_ P(x) → Q(x) 2) P.U.
4_ Q(x) 1,3) MP
5_ ꓯ x Q(x) 4) GU

Ejercicio (resolver)
Sea el UD todos los enteros y sean las siguientes proposiciones abiertas:

r(x): 2x + 1 = 5
s(x):x2 = 9

demostrar que el cuantificador existencial no se distribuye sobre sobre la

conectiva lógica Ʌ
ejemplo
demostrar que ꓯ x P(x) → x P(x)

DF Regla
ꓯ x P(x) premisa
P(x) 1) PU
x P(x) 2) GE

Ejemplo
Supongamos que L(x, y) representa el hecho de que x e y viven en la misma ciudad

ꓯ x ꓯ y ꓯ z [L(x, y) Ʌ L(y, z) → L(x, z)]

Empleando esto como premisa, dar una derivación formal de que, si Pedro vive en la
misma ciudad que Mario y Mario vive en la misma ciudad que Bruno, entonces Pedro
vive en la misma ciudad que Bruno:

DF REGLA
1- ꓯ x ꓯ y ꓯ z [L(x, y) Ʌ L(y, z) → L(x, z)] premisa
2- L(p, m) premisa
3- L(m, b) premisa
4- L(p, m) Ʌ L(m, b) 2,3) RC
5- L(p, m) Ʌ L(m, b) → L(p, b) 1) PU ∫_(p,m,b)^(x,y,z)
6-  L(p, b) 4,5) MP

Todo el mundo tiene descanso de vez en cuando

D(x):x tiene descanso de vez en cuando

ꓯ xD(x)
Todo el mundo tiene alguien que sea su amigo A(x, y)