Desarrollo del Pensamiento Lógico Matemático

Escuela Profesional de Biologı́a Pesquera

PRÁCTICA Nº 4

1. Escribir cinco proposiciones atómicas en cuyos predicados aparezcan los nombres: juego,
niña, estudiante, escuela y edificio.

2. ¿Cuáles son los términos que son el sujeto y no parte del predicado en cada una de las
siguientes proposiciones?

a) Dos más dos es igual a tres más uno b) Jaime es un jugador de pelota.

c) Marı́a ha esperado pacientemente. d) 5 = 30

e) Ese pájaro es un pájaro bobo f) Tres es un número primo.

g) Juan habla con claridad.

3. Simbolice y clasifique las siguientes proposiciones predicativas:

a) Sócrates es ateniense. b) Todos los niños son inocentes.

c) Ciertos polı́ticos son demócratas. d) Ningún filósofo es escéptico

e) Algunas justificaciones no son válidas. f) Algunos estudiantes son atentos.

g) Si Angel estudia, obtendrá su tı́tulo. h) Angel obtendrá su tı́tulo si y sólo si estudia.

i) Descartes fue un brillante matemático y un filósofo profundo.

4. Determine cuáles de las siguientes fórmulas representan proposiciones y cuáles funciones

proposicionales.

a) Fx b) (∀ x)Fx c) Fx ∧ Gx d) Fa ∧ (∀ x) Fx

e) (∀ x)Fx ∧ Ga

5. Transformar las siguientes funciones proposicionales en proposiciones ligando las variables

libres.

1
 a) Fx b) Fx ∧ Gx c) Fx ∨ Gx

d) (Fx →Fx) ∧ Hy e) (Fx ↔Gy) ∨ (Hy ↔Fx)

6. Simbolizar en términos de la Lógica predicativa.

a) Para cada z, z está vivo b) Para todo x, x > x − 1

c) Para todo x, x es absolutamente estable d) Todo es relativo

e) Nada es imposible.

7. Transformar las siguientes funciones proposicionales en proposiciones ligando las variables

libres.

a) F x b) F x ∧ Gx c) F x ∨ Gx

d) (F x → F x) ∧ Hy e) (F x ↔ Gy) ∨ (Hy ↔ F x)

8. Simbolizar completamente:

a) Todos los gorriones son pájaros. b) Cada millonario tiene riquezas.

c) Todo rı́o corre hacia abajo. d) Ningún melocotón es un vegetal.

e) Ningún adulto es un menor. f) Ningún cuento de hadas es una historia cierta.

g) Todos los estudiantes son escolares. h) Ningún cocinero es hombre delgado.

i) Sólo el protoplasma es sustancia viviente. j) Sólo los hombres son racionales.

k) Todos los plátanos y robles son árboles. l) No todos los hombres son inteligentes.

m) Para todo x, si x > 2, entonces x > 1. n) Para todo y, y − y = 0.

9. Considere el siguiente enunciado:

∀ jugador de baloncesto x, x es alto.

¿Cuál de las siguientes formas de expresión son equivalentes de este enunciado?

a. Todo jugador de baloncesto es alto.

b. Entre todos los jugadores de baloncesto, algunos son altos

c. Algunas de las personas altas son jugadores de baloncesto.

d. Cualquier persona alta es un jugador de baloncesto.

e. Todas las personas que son jugadores de baloncesto son altos.

f. Cualquier persona que es un jugador de baloncesto es una persona alta.

2
10. Traduzca cada unos de los siguientes enunciados a la notación lógica de funciones propo-
sicionales y cuantificadores, en cada caso iniciando la fórmula con un cuantificador no,
con un sı́mbolo de negación.

a) Nada se logra en la guerra salvo por premeditación.

b) No hay quien no crea en las leyes de la naturaleza.

c) Solo gana su libertad y existencia el que a diario las conquista de nuevo.

d) Ningún hombre es absolutamente miserable a menos que esté condenado a vivir en

Irlanda.

e) No todo lo bueno es seguro y no lo peligroso es malo.

f) No existe ningún negocio que no podamos mejorar.

Profesor: Asmat Uceda Rafael Marcel