30

Captulo 1. Lenguaje Matemtico

Ejercicios Propuestos
1. Exprese las siguientes proposiciones utilizando los smbolos matemticos y lgicos usuales:
(a) No es cierto que si el doble de cuatro es diecisis entonces el cuadrado de cuatro es treinta y dos.

1.6
(o) El producto de dos nmeros enteros
negativos es negativo.
(p) Todo nmero real es positivo, negativo o cero.
(q) Para todo nmero natural existe un
natural mayor.

(b) El cuadrado de menos tres es nueve

y es mayor que siete.

(r) Si un nmero real es positivo, entonces su inverso multiplicativo es positivo.

(c) Dos es positivo o menos dos es positivo; pero ninguno de los dos es
mayor que diez.

(s) No siempre la resta de dos nmeros

naturales es un nmero natural.

(d) Existe un nmero entero mayor que

dos.
(e) Existe un nmero natural cuyo cuadrado sumado con tres es uno.
(f) Todo nmero real cumple que l es
positivo o su inverso aditivo es positivo, excepto el cero.
(g) El cuadrado de todo nmero real es
mayor que el triple del nmero.
(h) La suma de dos nmeros naturales
es mayor que cada uno de ellos.

(t) No existe un nmero real negativo

que sea mayor o igual que todo nmero negativo.
(u) El cuadrado de la suma de dos nmeros reales es el cuadrado del primero, ms el doble del producto del
primero por el segundo, ms el cuadrado del segundo.
(v) La raz cuadrada positiva de un nmero real positivo es aquel nmero
real positivo cuyo cuadrado es el nmero dado.

(i) Todo nmero real es igual a s mismo.

(w) Dado cualquier nmero real existe

otro nmero real cuyo cuadrado es
el nmero inicial.

(j) Existen nmeros enteros pares y

nmeros enteros impares.

2. Exprese en el lenguaje natural las siguientes proposiciones:

(a) x N(x > 3).

(k) Hay nmeros reales que son negativos y positivos a la vez.

(b) x N y N(x > y ).

(l) El cero no es ni positivo ni negativo.

(c) x R(x > 3 x 2 > 8).

(d) x R(x + 0 = x).

(m) El cuadrado de un nmero real negativo es un nmero real positivo.

(e) x R(x > 0 y R(y 2 = x)).

(n) El uno es neutro del producto en el

conjunto de los nmeros reales.

(f) x N y N(x < y z R(x <

z < y)).

() Todo nmero real distinto de cero

tiene un inverso multiplicativo real.

(g) x N(x + 3 = 10).

(h) x N y N(x < y ).

1.6. Ejercicios Propuestos

(i) x R y R(x + y > 2x x + y >

2y).
(j) x R(x = 0 y R(x y = 1)).
(k) x R(x  N y N(x + y = 0)).
(l) x R(x > 2 x + 1 > 3).
(m) x R(x > 1 x < 8).
(n) x R(x = 2 x = 3).
() (2 < 0 x R(x < 0)).
3. Dadas las proposiciones:
p: dos es par,

31

2) Existen nmeros enteros pares

mayores que cinco.
3) Existen nmeros enteros entre
cinco y diez.
(b) Exprese en el lenguaje natural:
1) x N(p(x) q(x)).
2) x N( r (x) s(x)).
3) x N(s(x) r (x)).
5. Sea A un conjunto, a un objeto de A y
una operacin binaria en A.
Exprese en smbolos:

r: tres es par,

(a) es una operacin conmutativa en

A.

s: tres es impar.

(b) es una operacin asociativa en A.

q: dos es impar,

(a) Exprese en smbolos:

1) O bien dos es par o bien dos es
impar.
2) Si dos no es par entonces tres
es par y dos es impar.
3) No slo dos no es par sino que
tampoco es impar.
4) El que tres sea par equivale a
que no sea impar.
(b) Exprese en el lenguaje natural:
1) ( p q).
2) (r s).
3) ((p r ) ( q s)).
4. Dados los siguientes predicados:
p(x)

x es par,

q(x)

x es impar,

r (x)

x es mayor que cinco,

s(x)

x es menor que diez.

(a) Exprese en smbolos:

1) Todo nmero entero es mayor
que cinco.

(c) a es neutro de por la derecha.

(d) a no es neutro de por la izquierda.
(e) No todo elemento operado por
consigo mismo resulta el mismo elemento.
(f) Hay dos elementos de A que no
conmutan por .
6. Exprese los siguientes enunciados de
teoremas, usando smbolos:
(a) La suma de las medidas de los ngulos interiores de un tringulo es
180 .
(b) En un tringulo rectngulo, el cuadrado de la hipotenusa es igual a la
suma de los cuadrados de los catetos.
(c) El cuadrado de un binomio es igual
al cuadrado del primer trmino ms
el doble del producto del primer trmino por el segundo ms el cuadrado del segundo trmino.
7. A partir del predicado x + 5 = y , obtenga tres proposiciones diferentes anteponiendo cuanticadores e interprtelas en
el lenguaje natural.

32

Captulo 1. Lenguaje Matemtico

8. Sean a y b nmeros enteros y consideremos las siguientes proposiciones:

(c) x A(x > 2 x 2 = 3).

(d) x A(x 5).

a > 0,

(e) x A y A(y > x).

b < 0,

(f) x A y A(x y ).

a2 > 0,

b2 > 0.

(g) x A y A(x + y = 3).

(h) x A y A(x + y A).
(i) x A(x + 1  A).

Exprese las siguientes proposiciones en

el lenguaje natural y determine su valor
de verdad, sabiendo que p, q, r y s son
verdaderas:
(a) (p p)

(b) (p r )

(c) (q s)

(d) (s q)

(e) ( p r )

(f) ( r r )

(g) (r s)

(h) p

(i) (r p)

(j) (s p)

(k) (r p)

(l) (s p)

(ll) (r p)

(m) ( s p)

(n) (q r )

(o) ( r q s)

9. Decida si cada una de las siguientes proposiciones son verdaderas o falsas:

11. Use contraejemplos para demostrar que

cada una de las siguientes proposiciones
son falsas:
(a) x R(x > 5 x > 6).
(b) x R(x > 5 x < 6).
(c) x R(x = 5).
(d) x R y R(x < y x = y ).
(e) x R y R(x < y x + 1
y ).
12. Determine el valor de verdad de las siguientes proposiciones:
(a) x R(x 2 x).
(b) x R(2x = x).
(c) x R(5x > 4x).
(d) x R(x 3 x x).

(a) (2 < 1 2 es impar).

(e) x R(x 2 0).

(b) (2 = 3 2 es par).

(f) x R(x 2 0).

(c) (2 > 0 3 > 1).

(d) (2 > 0 3 < 1).
(e) ((2 < 1 2 > 0) 2 es impar).
(f) (2 < 1 (2 es impar 3 > 1)).
(g) ((2 < 1 2 > 0) 2 es impar).

13. Si A = {1, 2, 3, 4}, determine el valor de

verdad de las siguientes proposiciones:
(a) x A (x + 3 < 6).
(b) x A (2x 2 + x = 15).
(c) x A y A ((x 2 + y ) es par).

(h) (2 > 1 (2 es impar 3 > 1)).

(d) x A y A ((x 2 + y ) es par ).

10. Sea A = {1, 2, 3}. Determine el valor de

verdad de las siguientes proposiciones:

(e) y A x A ((x 2 + y ) es par ).

(a) x A(x = 0).

(b) x A(x > 1 x = 2).

(f) x A y A ((x 2 + y ) es impar).

14. Demuestre todas las verdades lgicas de
los Teoremas 1.1, 1.2 y 1.3.

1.6. Ejercicios Propuestos

15. Demuestre que las siguientes proposiciones no son lgicamente verdaderas.

(a) ((p q) (p q)).
(b) ((p q) (p q)).
(c) ((p q) (p q)).
16. Encuentre un conjunto A y predicados
p(x) y q(x), tales que la proposicin dada sea verdadera:

33

(d) ((x A p(x) x A(p(x)

q(x)))).
21. Demuestre sin usar tablas de verdad las
siguientes equivalencias donde es una
proposicin lgicamente verdadera:
(a) (p ) p
(b) (p ) .
(c) (p (q )) (p q).
(d) (p (q )) .

(a) x A(p(x) q(x)).

(e) ((p (q )) p.

(b) x A( p(x) q(x)).

(f) (p (q )) (p q).

17. Encuentre un conjunto A y predicados

p(x) y q(x), tales que la proposicin dada sea falsa:
(a) x A(p(x) q(x)).
(b) x A(p(x) q(x)).
18. Encuentre un conjunto A y predicados
p(x), q(x) y r (x) tales que los siguientes
pares de proposiciones sean verdaderas:
(a) x A (p(x) q(x)) y x
A p(x).
(b) x A ( p(x) q(x)) y x
A (q(x) r (x)).
19. Demuestre que las siguientes proposiciones no son lgicamente verdaderas:
(a) (x A(p (q(x) r (x))) (x
A(p q(x)) x A(p r (x)))).
(b) ((x A (x) x A (x)) x
A ((x) (x))).
(c) (x A (x) x A ((x))).
20. Demuestre que las siguientes proposiciones son contradicciones:

22. Demuestre sin usar tablas de verdad, que

las siguientes proposiciones son lgicamente verdaderas:
(a) ((p q) (q p)).
(b) ((p p) (p p)).
(c) ((p (p q)) (p q)).
23. Demuestre sin usar tablas de verdad, que
las siguientes proposiciones son contradicciones:
(a) ((p q) (q p)).
(b) ((p p) (p p)).
(c) ((p q) (p q)).
24. Simplique las siguientes proposiciones,
es decir, obtenga proposiciones equivalentes a las dadas pero de menor largo:
(a) ((q r ) q).
(b) (p (q p)).
(c) (((p (q p)) q).
(d) (((p q) (p q)) q).
(e) (p (p p)).
25. Exprese las siguientes proposiciones
usando solamente los conectivos e :

(a) ((p q) ( p q)).

(a) (p q).

(b) ((p q) (p q)).

(b) ((p q) p).

(c) ((p q) ( p q)).

(c) (p q).

34

Captulo 1. Lenguaje Matemtico

(d) ((p q) (p r )).

26. Niegue las siguientes proposiciones:

30. Demuestre que p no es consecuencia lgica de las premisas indicadas:

(a) q, (p q).

(a) (p p).

(b) (p q), (q r ), (q r ).

(b) (s q).

(c) (p q r ), (q r ), (p q).

(c) ( p r ).
(d) ( r r ).
(e) ( r q s).
27. Niegue las siguientes proposiciones:
(a) x A(x = 0).
(b) x A(x > 1 x = 2).
(c) x A(x > 2 x 2 = 3).
(d) x A(x 5).
(e) x A y A (y > x).
(f) x A y A (x y ).
(g) x A y A (x + y = 3).
(h) x A y A (x + y A).
(i) x A (x + 1  A).
28. Niegue las siguientes proposiciones:
(a) x R y R(xy = 0 (x =
0 y = 0)).
(b) (x R(x > 2) x R(x = 1)).
(c) x A y A z A p(x, y , z).
(d) x A y A(p(x, y) q(y )).
(e) x A p(x) x A q(x).
(f) x N y N (x + y es par (x
es par y es par)).
29. Demuestre que p es consecuencia lgica
de las premisas indicadas en cada uno de
los siguientes casos:
(a) q, (p q).

31. Analice la validez de los siguientes argumentos:

(a) Si hoy es Martes entonces maana
es Mircoles. Pero hoy no es Martes. Luego maana no es Mircoles.
(b) O bien hoy es Lunes o bien es Martes. Pero hoy no es Lunes. Luego
hoy es Martes.
32. Analice la validez de los siguientes argumentos:
(a) Todo hombre es mortal. Hay animales que son hombres. Luego, hay
animales que son mortales.
(b) Hay mujeres sabias. Hay profesoras
mujeres. Luego hay profesoras sabias.
33. Hay tres hombres: Juan, Jos y Joaqun,
cada uno de los cuales tiene 2 profesiones. Sus ocupaciones son las siguientes:
chofer, comerciante, msico, pintor, jardinero y peluquero.
En base a la siguiente informacin, determine el par de profesiones que corresponde a cada hombre:
(a) El Chofer ofendi al msico rindose de su cabello largo.
(b) El msico y el jardinero solan ir a
pescar con Juan.
(c) El pintor compr al comerciante un
litro de leche.

(b) (p q), (q r ), (p r ).

(d) El chofer cortejaba a la hermana del

pintor.

(c) (p q r ), (q r ), (q r ), r .

(e) Jos deba $ 1.000 al jardinero.

1.6. Ejercicios Propuestos

35

(f) Joaqun venci a Jos y al pintor jugando ajedrez.

34. Se tienen los siguientes datos acerca de
un crimen:
(a) La asesina de la seora Laura fue
una de sus tres herederas: Mara,
Marta o Mercedes.
(b) Si fue Mara, el asesinato sucedi
antes de media noche.
(c) Si el asesinato fue despus de las
doce, no puede haber sido Marta.
(d) El asesinato fue despus de las doce.
Quin asesin a la seora Laura?
35. Considere el conectivo DOS (p, q, r ) cuya
interpretacin est dada por la siguiente
tabla:
p

DOS(p, q, r )

Encuentre una proposicin equivalente a

DOS(p, q, r ) que contenga los conectivos
usuales.
36. La disyuncin excluyente entre p y q denotada por: (p q) se interpreta por:
(p q) es verdadera si y slo si p es verdadera o q es verdadera, pero ambas no
ambas.
(a) Construya una tabla de verdad para
(p q).
(b) Demuestre que (p q) (p q)
(p q).
(c) Demuestre que p (q r ) ((p
q) (p r )).
37. Encuentre una proposicin que contenga las letras p, q y r cuya tabla de verdad
sea:
p