U

e
U

at

EP
Matemáticas
EP
Ciclo: 2022-2

M
C1: Lógica proposicional

U
e
U
1) Simbolice las siguientes proposiciones, estableciendo primero un diccionario:

at

EP
a) Malena es puntual o Diana siempre llega tarde.
EP
b) O él está equivocado y yo tengo razón, o quedaré sorprendido.

M
c) Alejandro no es nuestro representante y Alan no es nuestro capitán.
d) Si sigue lloviendo, no pasaremos problemas de abastecimiento de agua, pero si deja de llover,

e
no pasaremos problemas de inundaciones.

U
e

at
e) Giuliana es mayor de edad si y solo si tiene derecho al voto electoral.
at

EP
f) Los tiburones atacan si y solo si son amenazados y detectan sangre.

M
M

2) Sean p, q, r , s, t y w proposiciones lógicas. Si la proposición (p  r ) « (s  w ) es

verdadera y (w  s) es falsa, determine el valor de verdad de las siguientes proposiciones:

e
U
e

a) (w  q ) « (p  t ) b) (r  s)  (q  t ) c) p  (q « t )

at
at

EP

M
3) Considere la siguiente proposición compuesta: “Si el valor de las acciones de la compañía
M

aumenta o se declaran dividendos, entonces los accionistas se reunirán si y solo si dos cosas
ocurren: la junta de directores convoca a reunión y el presidente del directorio no renuncia”.

U
e

a) Escriba la proposición anterior en su forma lógica formal.

U

at

b) Determine el valor de verdad de la proposición bajo las siguientes condiciones:

EP
• El valor de las acciones aumenta, no se declaran dividendos, los accionistas se reunirán,
EP

la junta de directores convoca a reunión y el presidente del directorio renuncia.

• El valor de las acciones cae, se declaran dividendos, los accionistas no se reunirán, la
junta de directores no llama a reunión y el presidente del directorio renuncia.

U
e
U

at

4) Dada la proposición compuesta verdadera: [(p  q )  (p  q )]  [q  (r  q )], determine los

EP
EP

valores de verdad de p, q y r .
M

5) Dadas las proposiciones simples p y q, se definen las proposiciones compuestas r y s como:

r º (p  p )  (p  q ) ,
e

s º p
U
e

at
at

Determine mediante qué conectivo lógico deben vincularse las proposiciones r y s para que la
EP

proposición compuesta que resulte no constituya una tautología ni una contingencia.

M
M

6) Construya la tabla de verdad de la proposición [(p « q )]  [p  (q  p)].

e
U
e

at

7) Si la proposición (p  q )  p es falsa, determine el valor de verdad de (p  q )  p.

at

EP

1
M
M
 U
e
U

at
8) Construya la tabla de verdad de las siguientes proposiciones:

EP
EP
a) (p  q )  (q  p) d) q  p

M
b) (p  q ) e) (p  q )
c) p  q f) (p  q )

U
e
U

at
9) Si la proposición (p  q )  (p  q ) es verdadera, determine el valor de verdad de la

EP
proposición q  p.
EP

M
10) Si la proposición [(p  q  r )  s ]  (p  s ) es falsa, determine el valor de p, q, r y s.

e
U
e

11) Sean p y q dos proposiciones, se define la proposición “ p * q ” mediante la siguiente tabla.

at
at

EP
p q p *q

M
M

V V F
V F F

e
U
F V F
e

at
F F V
at

EP

M
Dé las tablas de verdad de las proposiciones (p * q )  (q * p) y (p  q ) * (q  p) .
M

12) Si p es la proposición “el número tres es el primer número primo”, q es la proposición

U
e
U

“ 2 < 6 9 ” y r es la proposición “0 tiene inverso multiplicativo”, determine el valor de verdad

at

EP
de las siguientes proposiciones:
EP

a) (p  q )  (r  q )
M

b) [(p  r )  q ] « (r  q )

U
e
U

13) Alberto, Beatriz y Carlos son sospechosos de robar fondos de su compañía. Al ser interrogados
at

por la policía, testifican de la siguiente manera:

EP
EP

• Alberto: “Beatriz es culpable y Carlos es inocente”.

M

• Beatriz: “Si Alberto es culpable entonces Carlos también lo es”.

• Carlos: “Yo soy inocente, pero uno de los otros dos es culpable”.
Responda las siguientes preguntas justificando debidamente:
e
U
e

a) Asumiendo que todos son inocentes, ¿quiénes mintieron?

at
at

b) Asumiendo que todos dijeron la verdad, ¿quiénes son inocentes y quiénes culpables?
EP

M
M

14) Muestre que la siguiente proposición es una tautología: “Si hacer la tarea implica ir a la playa
e ir a la playa implica broncearse, entonces hacer la tarea implica broncearse”.
e
U
e

at
at

EP

2
M
M
 U
e
U

at
15)

EP
EP
a) Dé la definición de disyunción exclusiva.

M
b) ¿Cuál es la relación entre disyunción exclusiva y bicondicional?
c) Escriba la negación de la siguiente proposición sin negar proposiciones compuestas: “Estas
vacaciones viajo a New York si y solo si saco excelentes notas en este ciclo y no me

U
e
U
matriculo en el ciclo de verano”

at

EP
EP

e
U
e

at
at

EP

M
M

e
U
e

at
at

EP

M
M

U
e
U

at

EP
EP

U
e
U

at

EP
EP

e
U
e

at
at

EP

M
M

e
U
e

at
at

EP

3
M
M
 U
e
U

at

EP
Matemáticas
EP
Ciclo: 2022-2

M
C2: Equivalencias
1) Demuestre cada una de las siguientes

U
e
U
equivalencias:

at

EP
a) p º (p) j) (p  q )  q º p  q
EP
b) p  p º p k) (p  q ) º p  q

M
c) p  p º p l) (p  q ) º p  q
d) p  q º q  p m) p  q º (p  q )  (p  q )

e
U
e) p  q º p  q
e

n) (p  q ) º p « q

at
at

f) (p  q )  r º p  (q  r ) o) (p  q ) º p  q
EP
g) (p  q )  r º p  (q  r ) p) (p  q )  r º p  (q  r )

M
M

h) p  (q  r ) º (p  q )  (p  r ) q) p  q º p  q
i) p  (q  r ) º (p  q )  (p  r )

e
U
e

at
at

2) Pruebe cada una de las siguientes equivalencias o justifique por qué no lo son.
EP
a)  (p  q ) º p  q

M
M

b) p « q º (p  q )   (p  q )

U
e

3) Demuestre que la proposición condicional es equivalente a su contrapositiva y que la

U

at

recíproca es equivalente a la inversa.

EP
EP

4) Escriba las siguientes proposiciones sin usar condicionales y sin negar proposiciones
compuestas.
a) “Si estudio seré un buen profesional.”

U
e
U

b) “Las empresas reducen personal o liquidan activos, siempre y cuando la economía

at

EP
nacional entre en recesión.”
EP

c) “La próxima semana me voy de viaje si acabo mi trabajo y no comienzo a estudiar

M

inglés.”
e

5) Con respecto al ejercicio anterior, determine el converso y contrapositivo de cada

U
e

at

condicional sin negar proposiciones compuestas.

at

EP

6) Sean p, q y r tres proposiciones, se define la proposición A(p, q , r ) como: “Al menos

M

una de las proposiciones p, q, r es falsa.”

a) Determine la tabla de verdad de A(p, q , r ).
e
U
e

at
at

EP

4
M
M
 U
e
U

at
b) Pruebe que para cualquier par de proposiciones p y q, la proposición A(p, p, q ) es

EP
EP
una tautología.

M
c) Pruebe la siguiente equivalencia p º A(p, p, p).

U
e
7) De las siguientes proposiciones, determine cuáles son equivalentes entre sí:

U
• Si Luis vive en Jesús María, entonces Juan no estudia en la EPU.

at

EP
• No es cierto que Luis viva en Jesús María y que Juan estudie en la EPU.
EP
• Luis no vive en Jesús María y Juan no estudia en la EPU.

M
8) Represente la negación de las siguientes proposiciones, en su forma lógico formal.

e
U
e

a) “Si no duermo bien no voy a poder concentrarme en clase.”

at
at

b) “Dos rectas son paralelas si son iguales o no se intersecan.”

EP
c) “Los profesores asesoramos a los alumnos y no conversamos.”

M
d) “Si los alumnos estudian entonces aprenden el curso y si aprenden el curso, podrían
M

aprobarlo.”

e
U
e

9) A continuación, se tienen tres proposiciones:

at
at

• Si aprobé el examen de exoneración o ingreso por la EPU, entonces el próximo ciclo

EP
me matriculo en Mate I.

M
M

• Si el próximo ciclo no me matriculo en Mate I, entonces no aprobé el examen de

exoneración y no ingresé por la EPU.
• No aprobé el examen de exoneración o ingreso por la EPU o el próximo ciclo me

U
e
U

matriculo en Mate I.
at

EP
Simbolice las tres proposiciones y determine cuáles son equivalentes entre sí.
EP

10) Dadas las proposiciones:

• “Si las elecciones son mañana y hay empate técnico entonces se convoca a nuevas

U
e
U

elecciones.”
at

• “Si no se convoca a nuevas elecciones entonces no hay empate técnico o las elecciones
EP
EP

no son mañana.”
M

Justifique si las proposiciones dadas son o no equivalentes.

11) Sean p, q y r proposiciones simples. Definimos la proposición T (p, q , r ) = “Exactamente una

e
U
e

at

de las proposiciones p, q o r es verdadera”.

at

a) Halle la tabla de verdad de T (p, q , r ).

EP

b) Encuentre una proposición lógica equivalente a T (p, q , r ) pero expresada en términos de

M

p, q, r y conectores lógicos conocidos.

e
U
e

at
at

EP

5
M
M
 U
e
U

at

EP
Matemáticas
EP
Ciclo: 2022-2

M
C3: Conjuntos y cuantificadores
1) Exprese el siguiente enunciado en lenguaje de

U
e
U
lógica formal elaborando primero un diccionario y usando cuantificadores.

at

EP
a) Todos los habitantes del pueblo son jóvenes e inocentes.
EP
b) Toda figura es cuadrada o redonda.

M
c) Un número es par, si y sólo si, es divisible por 2.
d) Hay gente que ayuda al prójimo si y solo si, es pagada para eso.

e
U
e

at
2) Exprese en lenguaje simbólico de lógica formal, las siguientes proposiciones.
at

EP
a) Existe un número real que es no negativo.

M
b) Todos los números reales son mayores que cero.
M

c) En el conjunto de los números enteros, todo número impar se puede expresar en la

forma 2n - 1, donde n es un número entero.

e
U
e

d) Para cualquier número primo mayor que 2, se cumple que es impar.

at
at

EP
3) Determine la veracidad de las siguientes afirmaciones. Considere A = {0, 1, 2, 4, 7}.

M
M

a) $x Î A, "y Î A, éëêx + y Î  ùûú

b) "x Î A, $y Î A, éëêx - y ³ 0ùûú

U
e

c) $x Î A, $y Î A, éëêx + y Ï Aùûú
U

at

EP
EP

4) Dado B = {-1, 0, 1, 2}, determine el valor de verdad de las siguientes proposiciones.

M

a) $x Î B , "y Î B , éëêx £ y  xy < 0ùûú

b) "x Î B , $y Î B , éëêx + y £ 0  x + y ³ 0ùúû

U
e
U

c) $x Î B, "y Î B, éëêx + y = 5ùûú

at

EP
EP

5) Determine el valor de verdad de las siguientes proposiciones y escriba, en forma simbólica,

su negación.
a) "x Î , éêë3x - 2 ¹ -4x + 1ùúû é ù
d) "x Î , "y Î , ê x 2 + y 2 = x + y ú
e
U

ë û
e

b) $x Î , éêx 2 + x + 1 = 0ùú
at

ë û éx2 -1 ù
at

e) "x Î , êê = x + 1úú
EP

c) $x Î , éêx 2 + 1 ³ 0ùú ë x - 1 û
ë û
M
M

6) Niegue los siguientes enunciados sin hacer uso de la negación de proposiciones compuestas
U
e

at

ni condicionales.
at

EP

6
M
M
 U
e
U

at
a) "e Î , $N Î , éê(e > 0  n Î   n > N )  an - L < eùú

EP
ë û
EP
é ù
b) "a, b, c Î , ëêa ⋅ b = a ⋅ c  b = c ûú

M
c) "x Î C , "y Î C , "t Î , éê0 £ t £ 1  tx + (1 - t ) y Î C ùú
ë û

U
e
U
7) Exprese el siguiente enunciado en lenguaje de lógica formal elaborando primero un

at

EP
diccionario y usando cuantificadores.
EP
a) Si existe un profesor que acate la huelga, entonces existirá al menos un alumno que

M
reclame al rector y que haga disturbios.
b) Todos los matemáticos son excéntricos y todos los excéntricos son ricos.

e
U
e

at
8) Justifique por qué son falsas las siguientes proposiciones:
at

( ) {("x Î U ,[p(x )])  ("x Î U , [q(x )])}

EP
a) "x Î U , éëê p(x )  q(x )ùûú 

M
b) {($x Î U , [ p(x )])  ($x Î U , [q(x )])}  ($x Î U , [ p(x )  q(x )])
M

e
U
e

9) Sea M el conjunto de profesores de matemáticas en la EPU, A el conjunto de alumnos

at
at

de la EPU y R(x , y ) la propiedad “el alumno x está matriculado con el profesor y ”.

EP
Exprese en lenguaje coloquial las siguientes proposiciones.

M
M

a) "x Î A, $y Î M , éëêR(x , y )ùûú

b) $x Î A, "y Î M , éëêR(x , y )ùûú

U
e

c) $y Î M , "x Î A, éêëR(x , y)ùúû

U

at

d) "y Î M , $x Î A, éêëR(x , y )ùúû

EP
EP

10) Con respecto al ejercicio anterior, niegue cada una de las proposiciones y expréselas en
lenguaje coloquial.

U
e
U

at

EP
11) Considerando las siguientes proposiciones:
EP

• p = "x Î , éêx 2 - 6x + 12 > 0ùú

ë û
M

• q = $x Î , éêx 2 - x - 1 = 0ùú
ë û
• r = "x Î , éêx > x ùú
e

2
ë û
U
e

at

a) Determine la negación de las proposiciones.

at

EP

b) Halle el valor de verdad de la proposición [ p  (q  r )]  (r  q ).

M
M

12) Usando cuantificadores, indique un enunciado equivalente al siguiente, en donde no haya

e

negación de proposiciones compuestas ni aparezcan condicionales: “No es cierto que, si algunos

U
e

at

políticos mienten entonces todos los políticos no son respetables”.

at

EP

7
M
M
 U
e
U

at

EP
EP
13) Dada la siguiente definición: I Ì  es un intervalo si cumple:

M
"x , z Î I , "y Î , éëêx < y < z  y Î I ùúû
Niegue la definición de intervalo sin hacer uso de la negación de proposiciones compuestas ni

U
e
de condicionales.

at

EP
14) Indique el valor de verdad de la siguiente proposición:
EP
"x Î , éêx 2 es par  x es parùú

M
ë û

15) Determine el valor de verdad de las siguientes proposiciones:

e
U
e

a) "x Î , $y Î , éêx 2 + y 2 ³ 0ùú

at
ë û
at

EP
b) $y Î , "x Î , éêëx + y ³ 0ùúû

M
c) "x Î , "y Î , éêx 2 + y 2 > 0ùú
M

ë û
d) $x Î , "y Î , éëêy > x ùûú

e
U
e

e) "x Î , $y Î , éëêxy Î  ùûú

at
at

f) "x Î , $y Î , éëêx + y Î  ùûú

EP

M
g) "x Î  - , "y Î  - , éëêx + y Î  - ùûú
M

U
e
U

at

EP
EP

U
e
U

at

EP
EP

e
U
e

at
at

EP

M
M

e
U
e

at
at

EP

8
M
M