Alumno: José Daniel Delgado Herrera 19/10/2022

Actividad 3.1 Utilizando la lógica de predicados y la tabla siguiente, resolver

los siguientes ejercicios.
Ejercicio 1: Formalizar las siguientes expresiones, usando la conceptualización:

1. Todo el que tiene padre tiene una madre

Ɐx(P(y,x)) → M(z,x)
2. Todo el mundo tiene abuela

Ɐx(A(y,x))
3. Pedro y Ana son primos

H(a,y) ^ H(p,z) ^ HR(y,z) → Prim(a,p)

4. Todo hijo de un hermano de Pedro es su sobrino

Ɐx (HE(y,p)^HJ(x,y) → SO(x,p))
5. No todo el mundo tiene hijos.

Ǝx(¬HI(y,x))

Donde:

HJ(x, y) expresa “x es hijo/a de y”;

HR(x, y): “x es hermano/a de y;

SB(x, y): “x es sobrino/a de y”;

T(x, y): “x es tío/a de y”;

PD(x, y): “x es padre de y”;

MD(x, y): “x es madre de y”;

Ana: es a

Pedro: es p
Ejercicio 2: Formalizar las siguientes expresiones, usando la conceptualización:

1. La Tierra es un planeta.

P(t)
2. La Luna no es un planeta.

¬P(I)
3. La Luna es un satélite.

S(l)
4. La Tierra gira alrededor del Sol.

G(t,s)
5. Todo planeta es un satélite.

Ɐx(P(x) → S(x))
6. Todo planeta gira alrededor del Sol.

Ɐx(P(x)→G(x,s))
7. Algún planeta gira alrededor de la Luna.

Ǝx(P(x) ^ G(x,l))
8. Hay por lo menos un satélite.

Ǝx(S(x))
9. Ningún planeta es un satélite.

Ɐx(P(x) → ¬S(x))
10. Ningún objeto celeste gira alrededor de sí mismo.

Ɐx(¬G(x,x))
11. Alrededor de los satélites no giran objetos.

Ɐx(S(x)→¬Ǝy(GI(y,x)))
12. Hay exactamente un satélite.

S(a)
13. La Luna es un satélite de la Tierra.

SA(l,t)
 14. Todo planeta tiene un satélite.

Ɐx(P(x) → SA(a,x))
15. La Tierra no tiene satélites.

Ɐx(¬SA(x,t))

16. Algún planeta no tiene satélites.

Ǝx(P(x) ^ ¬ Ǝy(SA(y,x)))
17. Sólo los planetas tienen satélites.

Ɐx(Ǝy(SA(y,x))→P(x))
18. Todo satélite es satélite de algún planeta.

Ɐx(S(x)→Ǝy(P(y)^SA(x,y)))
19. La Luna no gira alrededor de dos planetas diferentes.

¬ƎxƎy(P(y)^P(x)^G(l,y)^G(I,x)^x=/=y)
20. Hay exactamente dos planetas.

Ǝx Ǝy (P(x) ^ P(y) ^ x==y) ^ Ɐz(P(z)→z==x v z==y)

Donde:

Tierra = t

Sol = s

Luna = l

P(x) x es un planeta

S(x) x es un satélite

ST(x, y) x es un satélite de y

G(x, y) x gira alrededor de y