Lenguaje matem

atico, conjuntos y n
umeros
Actividades. Tema 1
Ejercicio 1
a)[(p q) r] [(p q)] r (p q) r
b)[(p q) r] [(p q)] r (p q) r
c)[(p q) (p r)] [(p q)] [(p r)] (p q) (p r)

Ejercicio 5
a) El razonamiento de estas frases utiliza implcitamente la primera ley de transposicion de la pagina 18 o la
ley modus tollendo tollens de la p
agina 20: sean las proposiciones
p; Salto en vertical
q; Caigo en el mismo sitio
La primera frase se traduce en que el condicional p q es verdadero. La segunda frase se describe mediante q
es verdadero. La conclusi
on es que p es verdadero. Esto es:
(p q) q = p
b) Sean las proposiciones
 siguientes:
p; La sucesi
on n1 es una sucesi
on decreciente
1
q; La sucesi
on n es una sucesi
on acotada
1
r; La sucesi
on n es una sucesi
on convergente
1
s; El lmite de la sucesi
on n es 0
La expresion se escribe simb
olicamente como:
(p q) (r s)
Todas las proposiciones son verdaderas, luego desde el punto de vista de la logica, el condicional es verdadero.
Observemos que sin embargo, desde el punto de vista matematico este condicional no es una deduccion correcta
si no hubieramos particularizado la sucesi
on. En efecto, toda sucesion decreciente y acotada es convergente pero
su lmite no tiene porque ser obligatoriamente 0.
c) Sean las proposiciones siguientes:
p; La gr
afica de la funci
on f (x) = x2 3x + 2 es una par
abola
2
q; La gr
afica de la funci
on f (x) = x 3x + 2 corta al eje OX en los puntos x = 1 y x = 2
r; El vertice de la gr
afica de la funci
on f (x) = x2 3x + 2 est
a situado en el punto de abscisa x = 3/2
La expresion se escribe simb
olicamente como:
(p q) r
Como en el apartado anterior, todas las proposiciones son verdaderas, luego desde el punto de vista de la l
ogica,
el condicional es verdadero. En este caso, desde el punto de vista matematico el condicional es una deducci
on
correcta sin particularizar la par
abola, es decir, toda parabola que corta al eje OX en los puntos x = 1 y x = 2,
tiene el vertice situado en el el punto de abscisa x = 3/2.

Ejercicio 6 Construimos en cada caso la tabla de verdad.

a) [p (q r)] [q (p r)], que rese
namos con la letra f .
b) (p q) [(q r) (p r)], que rese
namos con la letra g.
c) p q (q r) (p r)
Como queda reflejado en la tabla del apartado b) las proposiciones p q y (q r) (p r) no son
equivalentes (observe la linea 6). Es una errata en el libro. La ley del silogismo es la ley del apartado b):
(p q) = [(q r) (p r)]
d) (p q) r = p (q r)
En la tabla rese
namos con la letra h a [(p q) r] [p (q r)]
e) p (q r) q (p r)
Basta observar que en el cuadro 1, las columnas de p (q r) y de q (p r) son identicas y por tanto
ambas proposiciones son equivalentes.

p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

qr
1
1
0
1
1
1
0
1

pr
1
1
1
1
0
1
0
1

p (q r)
1
1
1
1
1
1
0
1

q (p r)
1
1
1
1
1
1
0
1

f
1
1
1
1
1
1
1
1

Cuadro 1: Tabla de a): [p (q r)] [q (p r)]

p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

pq
1
1
1
1
0
0
1
1

qr
1
1
0
1
1
1
0
1

pr
1
1
1
1
0
1
0
1

(q r) (p r)
1
1
1
1
0
1
1
1

g
1
1
1
1
1
1
1
1

Cuadro 2: Tabla de b): (p q) [(q r) (p r)]

p
0
0
0
0
1
1
1
1

q
0
0
1
1
0
0
1
1

r
0
1
0
1
0
1
0
1

pq
0
0
0
0
0
0
1
1

qr
1
1
0
1
1
1
0
1

(p q) r
1
1
1
1
1
1
0
1

p (q r)
1
1
1
1
1
1
0
1

Cuadro 3: Tabla de d): [(p q) r] [p (q r)]

h
1
1
1
1
1
1
1
1

Ejercicio 7
a) (p r) (q r) (p q) = r
Se procede como en el ejemplo 1.16.
Paso 1: Se supone que la proposici
on [(p r) (q r) (p q)] r es falsa.
Paso 2: Como un condicional s
olo es falso si el antecedente es cierto y el consecuente es falso, se tiene que
(p r) (q r) (p q) es cierto, esto es, son ciertas p r, q r y p q, y r es falso.
Paso 3: De la falsedad de r y de la validez de p r y q r, se deduce que p y q son falsos.
Paso 4: Del tercer paso se deduce que la proposicion p q es falsa mientras que del segundo paso se deduce que
la proposicion p q es cierta. Contradicci
on.
Conclusi
on: La proposici
on [(p r) (q r) (p q)] r es verdadera pues suponer que es falsa ha producido
una contradiccion. Por tanto:
(p r) (q r) (p q) = r

Paso
1o
2o
3o
4o
5o

[(p

r)

(q

r)

(p

q)]

r
0

0
01
1

Cuadro 4: Esquema de (p r) (q r) (p q) = r
(p r) (q s) (p q) = r s
Paso 1: Se supone que la proposici
on [(p r) (q s) (p q)] (r s) es falsa.
Paso 2: Como un condicional s
olo es falso si el antecedente es cierto y el consecuente es falso, se tiene que
(p r) (q s) (p q) es cierto, esto es, son ciertas p r, q s y p q, y r s es falso.
Paso 3: Como la proposici
on r s es falsa se deduce que r y s son falsas.
Paso 4: De la validez de p r y q s, se deduce que p es falso y q es falso.
Paso 5: En consecuencia, la proposici
on pq es falsa. Sin embargo, del segundo paso se deduce que la proposici
on
p q es cierta. Contradicci
on.
Conclusi
on: La proposici
on [(p r) (q s) (p q)] (r s) es verdadera pues suponer que es falsa ha
producido una contradicci
on. Por tanto:
(p r) (q s) (p q) = r s

Paso
1o
2o
3o
4o
5o
6o

[(p

r)

(q

s)

(p

q)]

(r

s)

0
0

0
01
1

Cuadro 5: Esquema de (p r) (q s) (p q) = r s
b)(p q) (r p) (s q) = r s
Paso 1: Se supone que la proposici
on [(p q) (r p) (s q)] (r s) es falsa.
Paso 2: Como un condicional s
olo es falso si el antecedente es cierto y el consecuente es falso, se tiene que
(p q) (r p) (s q)] es cierto, esto es, son ciertas p q, r p y s q, y r s es falso.
Paso 3: Como la proposici
on r s es falsa se deduce que r y s son falsas, esto es, r y s son ciertas.
Paso 4: De la validez de r p y s q, se deduce que p es cierta y q es cierta, esto es, las proposiciones p y
q son falsas.
Paso 5: En consecuencia, la proposici
on p q es falsa. Sin embargo, del segundo paso se deduce que la
proposicion p q es cierta. Contradicci
on.

Conclusi
on: La proposici
on [(p q) (r p) (s q)] (r s) es verdadera pues suponer que es falsa
ha producido una contradicci
on. Por tanto:
(p q) (r p) (s q) = r s

Paso
1o
2o
3o
4o
5o
6o

[(p

q)

(r

p)

(s

q)]

s)

(r

1
1

01
1
Cuadro 6: Esquema de (p q) (r p) (s q) = r s

Ejercicio 9 a) Comprobamos si (p q) p

(p q) p son equivalentes mediante la validaci

on

por tabla de verdad.

p
0
0
1
1

q
0
1
0
1

p
1
1
0
0

Por tanto (p q) p y

q
1
0
1
0

p q
1
1
1
0

p q
1
0
0
0

(p q) p
1
1
0
0

(p q) p
1
1
0
0

(p q) p son equivalentes.

Otra forma de hacerlo es utilizando las propiedades de los conectores:

(p q) p

b) Comprobamos si p (p q)

(p p) (p q)

p (p q)

simplificacion

(p q) p

conmutativa

distributiva

y p q son equivalentes mediante la validacion por tabla de verdad. Por

p
0
0
1
1

q
0
1
0
1

p
1
1
0
0

p q
1
1
0
1

pq
0
0
0
1

p (p q)
1
1
0
1

tanto, p (p q) y p q son equivalentes.

Otra forma de hacerlo es utilizando las propiedades de los conectores para hallar la forma clausulada de p
(p q):
p (p q)

[p (p q)] [(p q) p]

ley del bicondicional

[p (p q)] [(p q) p]

forma clausulada del condicional

(p p) (p q) (p q p]

distributiva y ley de Morgan

1 (p q) (1 q)

ley del tercio excluso

p q