PONTIFICIA UNIVERSIDAD CATÓLICA DEL PERÚ

ESTUDIOS GENERALES CIENCIAS

Fundamentos de Cálculo
Semestre académico 2020-1
Lista de Ejercicios - Lógica proposicional

1. Justique la veracidad o falsedad de las siguientes proposiciones:

a) Dos pizzas de 24 cm de diámetro tienen más pizza que una pizza de 34 cm de diámetro.
b) Si x ≥ 1 entonces x4 > 5x − 6.
Sugerencia: Analice el signo de cada lado de la desigualdad.

c) Existe a ∈ R tal que ax2 + 4x + 1 ≥ 0 para todo x ∈ R.

d) Para todo x > 0, existe y > 0 tal que xy < 1.
e) Para todo r > 1, existe x ∈ R tal que x2 + 2rx + 1 < 0.
2. Justique la veracidad o falsedad de las siguientes proposiciones:
a) Dos triángulos que tienen la misma área deben tener el mismo perímetro.
b) x2 ≥ x para todo x ≥ 0.
c) Para todo x ∈ R, existe y ∈ R tal que xy = x − y .
d) Si x1/x = 21/2 entonces x = 2.
3. Justique la veracidad o falsedad de las siguientes proposiciones:
a) n(n + 1) es par para todo entero positivo n.
b) Existen enteros positivos a y b tales que a2 + b2 = 15.
c) Si |x| > 1 entonces x3 + 2x − 1 > 2.
4. Justique la veracidad de las siguientes proposiciones:
a) Sea n un entero positivo. Si n2 es par entonces n es par.
b) Si la suma de dos números reales a y b es irracional, entonces al menos uno de dichos
números es irracional.
c) Si el producto de dos enteros positivos a y b es mayor que 36, entonces al menos uno de
dichos números es mayor o igual a 7.
d) Si (x − 1)(x − 2)(x − 3) ≥ 1 entonces x ≥ 1.
e) Si x3 < x entonces x < 1.
5. Justique la veracidad de las siguientes proposiciones:
a) La suma de un número racional y un número irracional es irracional.
b) Si la suma de tres enteros positivos a, b y c es par, entonces su producto también es par.
Justique la falsedad de las siguientes proposiciones:
a) El conjunto de los números reales positivos tiene un mayor elemento.
b) Existen enteros positivos a y b tales que a2 = 4b + 2.
c) Existe x ∈ R tal que 0 < x ≤ y para todo y > 0.
d) Existe x ∈ R tal que 4x2 + y 2 > 4xy para todo y ∈ R.
6. Justique la veracidad o falsedad de las siguientes proposiciones:

1
 a) Sean x, y ∈ R. Es necesario que x < y para que x2 + x < y 2 + y .
b) Sean x, y ∈ R. Es suciente que x < y para que x2 + x < y 2 + y .
c) Sean x, y > 0. Una condición necesaria para que 2x3 + y 3 ≥ 3 es que x ≥ 1 o y ≥ 1.
d) Sean x, y > 0. Una condición suciente para que 2x3 + y 3 ≥ 3 es que x ≥ 1 o y ≥ 1.
e) Es suciente que −1 < x < 1 para que x2 < |x|.
f) Es necesario que x < 1 para que x3 < |x|.
7. Determine si el par de proposiciones dadas en cada ítem son o no son equivalentes:
a) (i) x ≥ 2.
(ii) x2 ≥ 4.
b) (i) x < 1.
(ii) x3 < 1.
c) Sea ABC un triángulo.
(i) El ángulo Bb es obtuso o recto.
(ii) El lado AC es el mayor lado del triángulo.
d) Sea n un entero positivo.
(i) n es par.
(ii) n2 + n es par.
8. Considere las siguientes proposiciones:
p : Existe x ∈ R tal que x < x2 . q : Existe x ∈ R tal que x4 < x3 .
a) Justique la veracidad de las proposiciones p y q .
b) Justique la veracidad o falsedad de la siguiente proposición:
r : Existe x ∈ R tal que x < x2 y x4 < x3 .
c) Un alumno de Fundamentos de Cálculo del ciclo pasado dijo lo siguiente:
Como las proposiciones p y q son verdaderas, entonces la conjunción r es verdadera.

El alumno está equivocado porque la proposición r resulta ser falsa. ¾Dónde está el
error?
9. Justique la veracidad o falsedad de las siguientes proposiciones:
a) Sea n un número entero. Es suciente que 5n + 1 sea impar para que n sea par.
b) Existe y < 2 tal que para todo x ∈ R se cumple que |y − 2| > x − y .
c) Para todo y ∈ R, existe x ∈ R tal que y = x2 − 1.
d) Sean x, y ∈ R. Una condición necesaria para que x2 + y 2 ≥ 4 es que x + y ≥ 2.
(a2 − ab) + b
e) Sean a, b ∈ R. Si a > b > 0 entonces ≥ a2 b − a3 .
a3 + b3
f) Existe x ∈ R tal que para todo y < 0 se cumple que (x + 1)2 + y < |y + 1|.
g) Para todo y ∈ R, existe x ∈ R tal que y = 2x − |x|.
(b − a)b6 2b4
h) Sean a y b números reales positivos. Si b > a entonces ≥ − 2b3 + 3(a − b).
3a2 a
10. a) Justique la veracidad de la siguiente proposición:
Si 2x5 + x3 + x > x4 + 3x2 + 1 entonces x ∈ ]0, +∞[.
b) ¾Es cierto que el conjunto solución de la inecuación 2x5 + x3 + x > x4 + 3x2 + 1 es el
intervalo ]0, +∞[?