Homework 01.

Basic Mathematics
Instructor: Roosevelt Moreno

LOGIC: Propositional Logic, Predicates and

Quantifiers.

A. Los enunciados siguientes son proposiciones compuestas, o cuando menos pueden considerarse como
tales. Hallar las proposiciones simples que los componen.
1. El Sol es una estrella y la Luna es un satelite de la Tierra.
2. Hace calor pero hay humedad en el aire.
3. Hace bonito da o el sol brilla.
4. Estudio matem
aticas o manejo carro.
5. Patricia y Adriana viajaron a Marte.
6. Si Juan es inteligente y Pedro es tonto entonces Juan aprobara el curso.
7. Juan obtendr
a el premio s y s
olo si Carlos pierde el curso o Pedro es tonto.
8. 4 es cuadrado perfecto y 5 es un n
umero primo.
9. El curso de matem
aticas es interesante y el de espa
nol es sencillo.
10. Si 3 es un n
umero primo y no es par entonces 6 es m
ultiplo de 3 o es un cuadrado perfecto.
B. En el ejercicio A asgnense letras proporcionales a las diferentes proposiciones simples y utilizando
conectores y smbolos de agrupaci
on escrbanse los escquemas proposicionales correspondientes.
C. Si p representa la proposici
on 4 2 = 8 y q representa la proposicion 8 es un n
umero primo,
escrbanse en forma simb
olica las proposiciones:
11. 4 2 = 8 y 8 no es un n
umero primo.
12. 4 2 = 8 u 8 no es un n
umero primo.
13. 4 2 = 8 y 8 es un n
umero primo.
14. 4 2 6= 8 u 8 no es un n
umero primo.
15. No es el caso que 4 2 = 8 y 8 es un n
umero primo.
16. Si 4 2 = 8 entonces 8 no es un n
umero primo.
17. No es el caso que si 42 = 8 y 8 es un n
umero primo entonces 8 no es un n
umero primo o 42 6= 8.
18. 4 2 6= 8 s, y s
olo si 8 no es un n
umero primo.
19. 4 2 = 8 y 8 es un n
umero primo s, y solo si no es el caso que si 4 2 = 8 entonces 8 es un
n
umero primo u 8 no es un n
umero primo.
20. Si no es el caso que 8 es un n
umero primo entonces 4 2 = 8.
D. Si p representa la proposici
on 3 < 5 y q representa La recta L es paralela a la recta M obtengase
la traducci
on de cada uno de los esquemas proposicionales siguientes.
21.
22.
23.
24.

( p q)
(p q)
(p q)
pq

25.
26.
27.
28.

pq
p q
q p
(p q)

29. (p q) (q p)
30. (p q) ( q p)

E. Si p tiene valor V y q tiene valor F y r el valor V , determnese el valor de verdad de las siguientes
proposiciones:
31. p (q r)

34. (p q) (p q)

37. [( p q) (p r)]

32. (p q) (p r)

35. (p q) (p r)

38. q [p (p q)]

33. p (q r)

36. (p q) ( q r)

39. [( p q) (q p)]

F. Determinar en las siguientes proposiciones el sujeto o sujetos logicos.

Release 2016

Page 1 of 2

Homework 01. Basic Mathematics

Instructor: Roosevelt Moreno

LOGIC: Propositional Logic, Predicates and

Quantifiers.

39. Juan y Mara estudian la matem

atica.
40. 1975 es un a
no de cambios.
41. La recta L es perpendicular a la recta M .
42. 12 = 3 2 + 5 + 1.
43. Carlos es jugador de f
utbol y estudia en Colombia.
G. Determinar en las siguientes proposiciones el predicado o predicados.
44. Todos los alumnos de tercero son estudiosos.
45. Un cuadrado tiene cinco lados.
46. Todo n
umero primo es divisible por la unidad.
47. Algunos estudiantes pierden el tiempo.
48. Antonio es colombiano y no est
a en la Tierra.
H. Si x es una variable individual determinar cuales de las siguientes expresiones son funciones proposicionales.
49.
50.
51.
52.
53.

x + 3 = 3 + x.
x es alto.
x me acompa
nas?
x no es un n
umero.
x es m
ultiplo de 3 y de 5.

54. x conduce un automovil u

ltimo modelo.
55. x es un curso interesante pero difcil.
56. Para x puede mejor.
57. Tomo x hacia.

I. Representar utilizando letras predicativas las siguientes funciones proposicionales.

58. x es un rombo.

63. No es el caso que x es divisible por 2.

59. x es un cuadril
atero.

64. x es alto, pero y es bajo.

60. x no est
a situado entre y y z.

65. x es una buena estudiante y no pierde tiempo.

61. x es un n
umero primo e impar.

66. Si x es un hombre entonces es mortal.

62. x es un rect
angulo o un crculo.

67. x es una recta s y solo si no es una curva.

J. Expresar utilizando el cuantificador universal las siguientes proposiciones.

68. Todos son buenos estudiantes.

70. Todo es rojo.

69. Todos tienen libro de matem

aticas.

71. Todos son colombianos.

K. Expresar utilizando el cuantificados existencial las siguientes proposiciones.

73. Hay hombres.

76. Hay carnvoros.

74. Hay cisnes negros.

77. Hay plantas hornamentales.

75. Hay ladrones.

78. Hay n
umeros enteros.

L. Negar las proposiciones cuantificadas obtenidas en el ejercicio J utilizando el cuantificador universal

y luego utilizando el cuantificador existencial.
M. Negar las proposiciones cuantificadas obtenidas en el ejercicio K utilizando el cuantificador universal
solamente.

Release 2016

Page 2 of 2