dominio de discurso consiste en tres estudiantes: Gerardo, que mide 5
pies 11 pulgadas; Ernesto, que mide 5 pies 6 pulgadas, y Martín que
mide 6 pies. Escriba cada proposición en los ejercicios 1 al 4 en palabras
y diga si ésta es verdadera o falsa.

Get 1.4.1 exercise solution
Get 1.4.2 exercise solution
Get 1.4.3 exercise solution
Get 1.4.4 exercise solution
5. Escriba la negación de cada proposición en los ejercicios del 1 al 4 en palabras y con símbolos.
Sea T(x, y) la función proposicional “x es más alto o de la misma altura que y”. El dominio de discurso consiste en tres estudiantes: Gerardo, que mide 5 pies 11 pulgadas; Ernesto, que mide 5 pies 6 pulgadas, y Martín que mide 6 pies. Get 1.4.5 exercise solution
Escriba cada proposición en los ejercicios 6 al 9 en palabras y diga si ésta es verdadera o falsa.

Get 1.4.6 exercise solution
Get 1.4.7 exercise solution
Get 1.4.8 exercise solution
Get 1.4.9 exercise solution
10. Escriba la negación de cada proposición en los ejercicios 6 al 9 en palabras y con símbolos.
Sea L(x, y) la función proposicional “x ama a y”. El dominio de discurso es el conjunto de todas las personas amantes. Escriba cada proposición en los ejercicios 11 al 14 con símbolos. ¿Cuál piensa que sea verdadera?
11. Alguien ama a todos. Get 1.4.11 exercise solution
12. Todos aman a todos. Get 1.4.12 exercise solution
13. Alguien ama a alguien. Get 1.4.13 exercise solution
14. Todos aman a alguien. Get 1.4.14 exercise solution
15. Escriba la negación de cada proposición en los ejercicios 11 al 14 en palabras y con símbolos. Get 1.4.15 exercise solution
Sea P(x, y) la función proposicional x ≥ y. El dominio de discurso es el conjunto de todos los enteros positivos. Diga si cada proposición en los ejercicios 16 al 19 es verdadera o falsa.

Get 1.4.16 exercise solution
Get 1.4.17 exercise solution
Get 1.4.18 exercise solution
Get 1.4.19 exercise solution
20. Escriba la negación de cada proposición en los ejercicios 16 al 19. Get 1.4.20 exercise solution
Determine el valor de verdad de cada afirmación en los ejercicios 21 al 38. El dominio de discurso es el conjunto de números reales. Justifique sus respuestas.

Get 1.4.21 exercise solution
Get 1.4.22 exercise solution
Get 1.4.23 exercise solution
Get 1.4.24 exercise solution
Get 1.4.25 exercise solution
Get 1.4.26 exercise solution
Get 1.4.27 exercise solution
Get 1.4.28 exercise solution
Get 1.4.29 exercise solution
Get 1.4.30 exercise solution
Get 1.4.31 exercise solution
Get 1.4.32 exercise solution
Get 1.4.33 exercise solution
Get 1.4.34 exercise solution
Get 1.4.35 exercise solution
Get 1.4.36 exercise solution
Get 1.4.37 exercise solution
Get 1.4.38 exercise solution
39. Escriba la negación de cada proposición en los ejercicios 21 al 38. Get 1.4.39 exercise solution
40. Suponga que P es una función proposicional cuyo dominio de discurso consiste en los elementos d1, ..., dn. Escriba el seudocódigo que determina si
∃x∀y P(x, y)
es verdadera o falsa. Get 1.4.40 exercise solution
41. Suponga que P es una función proposicional cuyo dominio de discurso consiste en los elementos d1, ..., dn. Escriba el seudocódigo que determina si
∃x∃y P(x, y)
es verdadera o falsa. Get 1.4.41 exercise solution
42. Explique cómo determina el juego de lógica (ejemplo 1.4.15) si cada proposición en los ejercicios 21 al 38 es verdadera o falsa. Get 1.4.42 exercise solution
43. Use el juego de lógica (ejemplo 1.4.15) para determinar si la proposición ∀x∀y∃z((z > x) ∧ (z < y)) es verdadera o falsa. El dominio de discurso es el conjunto de todos los enteros. Get 1.4.43 exercise solution
44. Use el juego de lógica (ejemplo 1.4.15) para determinar si la proposición ∀x∀y∃z((z < x) ∧ (z < y)) es verdadera o falsa. El dominio de discurso es el conjunto de todos los enteros. Get 1.4.44 exercise solution
45. Use el juego de lógica (ejemplo 1.4.15) para determinar si la proposición
∀x∀y∃z((x < y) → ((z > x) ∧ (z < y))) es verdadera o falsa. El dominio de discurso es el conjunto de todos los enteros. Get 1.4.45 exercise solution
46. Use el juego de lógica (ejemplo 1.4.15) para determinar si la proposición
∀x∀y∃z((x < y) → ((z > x) ∧ (z < y))) es verdadera o falsa. El dominio de discurso es el conjunto de todos los números reales. Get 1.4.46 exercise solution
Suponga que ∀x∀y P(x, y) es verdadera y que el dominio de discurso es no vacío. ¿Cuál de los ejercicios entre el 47 y el 49 debe ser verdadero también? Si la afirmación es verdadera, explique, de otra manera, dé un contraejemplo.

Get 1.4.47 exercise solution
Get 1.4.48 exercise solution
Get 1.4.49 exercise solution
Suponga que ∀x∃y P(x, y) es verdadera y que el dominio de discurso es no vacío. ¿Cuál de los ejercicios entre el 50 y el 52 debe ser verdadero también? Si la afirmación es verdadera, explique de otra manera, dé un contraejemplo.

Get 1.4.50 exercise solution
Get 1.4.51 exercise solution
Get 1.4.52 exercise solution
Suponga que ∃x∀y P(x, y) es verdadera y que el dominio de discurso es no vacío. ¿Cuál de los ejercicios entre el 53 y el 55 debe ser verdadero también? Si la afirmación es verdadera, explique; de otra manera, dé un contraejemplo.

Get 1.4.53 exercise solution
Get 1.4.54 exercise solution
Get 1.4.55 exercise solution
Suponga que ∃x∃y P(x, y) es verdadera y que el dominio de discurso es no vacío. ¿Cuál de los ejercicios entre el 56 y el 58 debe ser verdadero también? Si la afirmación es verdadera, explique; de otra manera, dé un contraejemplo.

Get 1.4.56 exercise solution
Get 1.4.57 exercise solution
Get 1.4.58 exercise solution
¿Cuál de los ejercicios entre el 59 y el 62 es lógicamente equivalente a ¬(∀x∃y P(x, y))? Explique.

Get 1.4.59 exercise solution
Get 1.4.60 exercise solution
Get 1.4.61 exercise solution
Get 1.4.62 exercise solution