Universidad Técnica Federico Santa Marı́a

Departamento de Matemática

Ejercicios - Semana 01 (MAT-070)

Lógica Proposicional y Demostraciones

1. Demostrar, mediante tablas de verdad y álgebra proposicional, que la proposición:

((p ⇒ q) ∧ (r ∨ q) ∧ r)) ⇒ p

es una tautologı́a.
2. Si se sabe que la proposición ((p ∨ q) ⇒ (q ⇔ r)) ∨ (q ∧ s) es falsa y que p es verdadera, determinar los valores
de verdad de q, r, s.
3. Si se sabe que la proposición ((p ⇒ q) ∨ (r ⇒ s)) es falsa, determinar los valores de verdad de las siguientes
proposiciones:
(a) (p ∧ q) ∨ (q)
(b) (r ∨ q) ⇔ ((q ∨ r) ∧ s)
(c) (p ⇒ q) ⇒ ((p ∨ q) ∧ q)
4. Demostrar las siguientes proposiciones:
(a) Si x es un entero impar, entonces x3 es un entero impar.
(b) Sean a, b números enteros. Si a divide a b, entonces a divide a b3 + 5b2 + 6b
(c) Cada entero impar puede ser escrito como la diferencia de dos cuadrados perfectos.
(d) Sean x, y números reales. Si x < y, entonces x2 < y 2 .
(e) Sean a, b, c, d números enteros. Si a divide a b y c divide a d, entonces ac divide a bd.
(f) Si x es un entero impar, entonces 5x2 + 3x + 7 es un entero impar.
5. Demostrar las siguientes proposiciones:
(a) Sea n un número entero. Si n2 es impar, entonces n es impar.
(b) Sea x un número real. Si x3 − x > 0, entonces x > −1.
(c) Sea x, y, z número enteros. Si x no divide a yz, entonces xy no divide a y, y x no divide a z.
(d) Sean x, y números reales. Si y 3 + yx2 ≤ x3 + xy 2 , entonces y ≤ x.
(e) Sean a, b números enteros. Si tanto ab como a + b son pares, entonces tanto a como b son pares.
6. Demostrar las siguientes proposiciones:
(a) No existen números enteros a y b para los cuales 18a + 6b = 4.
(b) No existen números enteros a y b para los cuales 21a + 30b = 1.
(c) Sean a, b números enteros. Demostrar que a2 − 4b 6= 3.
(d) Sean a, b números reales. Si a es racional y ab es irracional, entonces b es irracional.
7. Sea a un número entero. Demostrar que a3 + a2 + a es par si y sólo si a es par.
8. Si x, y son números reales, se tiene que x3 + x2 y = y 2 + xy si y sólo si y = x2 o y = −x.
9. Demostrar que todo número racional no nulo puede ser expresado como el producto de dos números irra-
cionales.
√
10. Demostrar que 3 2 es irracional.
11. Si a, b son números enteros, y se tiene que a ≥ 2, entonces a no divide a b o bien a no divide a b + 1.
12. Demostrar que las soluciones reales de x3 + x + 3 = 0 son irracionales.

MAT-070 1