Lenguaje matemtico, conjuntos y n meros a u 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 impl citamente la primera ley de transposicin de la pgina 18 o la o a ley modus tollendo tollens de la pgina 20: sean las proposiciones a 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 conclusin es que p es verdadero. Esto es: o (p q) q = p b) Sean las proposiciones siguientes: 1 p; La sucesin n es una sucesin decreciente o o 1 q; La sucesin n es una sucesin acotada o o 1 r; La sucesin n es una sucesin convergente o o 1 s; El l mite de la sucesin n es 0 o La expresin se escribe simblicamente como: o o (p q) (r s) Todas las proposiciones son verdaderas, luego desde el punto de vista de la lgica, el condicional es verdadero. o Observemos que sin embargo, desde el punto de vista matemtico este condicional no es una deduccin correcta a o si no hubiramos particularizado la sucesin. En efecto, toda sucesin decreciente y acotada es convergente pero e o o su l mite no tiene porque ser obligatoriamente 0. c) Sean las proposiciones siguientes: p; La grca de la funcin f (x) = x2 3x + 2 es una parbola a o a 2 3x + 2 corta al eje OX en los puntos x = 1 y x = 2 q; La grca de la funcin f (x) = x a o r; El vrtice de la grca de la funcin f (x) = x2 3x + 2 est situado en el punto de abscisa x = 3/2 e a o a La expresin se escribe simblicamente como: o o (p q) r Como en el apartado anterior, todas las proposiciones son verdaderas, luego desde el punto de vista de la lgica, o el condicional es verdadero. En este caso, desde el punto de vista matemtico el condicional es una deduccin a o correcta sin particularizar la parbola, es decir, toda parbola que corta al eje OX en los puntos x = 1 y x = 2, a a tiene el vrtice situado en el el punto de abscisa x = 3/2. e

Ejercicio 6 Construimos en cada caso la tabla de verdad.

a) [p (q r)] [q (p r)], que reseamos con la letra f . n b) (p q) [(q r) (p r)], que reseamos con la letra g. n c) p q (q r) (p r) Como queda reejado 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 reseamos con la letra h a [(p q) r] [p (q r)] n 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 idnticas y por tanto e 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

h 1 1 1 1 1 1 1 1

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

Ejercicio 7
a) (p r) (q r) (p q) = r Se procede como en el ejemplo 1.16. Paso 1: Se supone que la proposicin [(p r) (q r) (p q)] r es falsa. o Paso 2: Como un condicional slo es falso si el antecedente es cierto y el consecuente es falso, se tiene que o (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 proposicin p q es falsa mientras que del segundo paso se deduce que o la proposicin p q es cierta. Contradiccin. o o Conclusin: La proposicin [(p r) (q r) (p q)] r es verdadera pues suponer que es falsa ha producido o o una contradiccin. Por tanto: o (p r) (q r) (p q) = r

Paso 1o 2o 3o 4o 5o

[(p

r)

(q

r)

(p

1 01

q)]

r 0

0 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 proposicin [(p r) (q s) (p q)] (r s) es falsa. o Paso 2: Como un condicional slo es falso si el antecedente es cierto y el consecuente es falso, se tiene que o (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 proposicin r s es falsa se deduce que r y s son falsas. o 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 proposicin pq es falsa. Sin embargo, del segundo paso se deduce que la proposicin o o p q es cierta. Contradiccin. o Conclusin: La proposicin [(p r) (q s) (p q)] (r s) es verdadera pues suponer que es falsa ha o o producido una contradiccin. Por tanto: o (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 proposicin [(p q) (r p) (s q)] (r s) es falsa. o Paso 2: Como un condicional slo es falso si el antecedente es cierto y el consecuente es falso, se tiene que o (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 proposicin r s es falsa se deduce que r y s son falsas, esto es, r y s son ciertas. o 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 proposicin p q es falsa. Sin embargo, del segundo paso se deduce que la o proposicin p q es cierta. Contradiccin. o o

Conclusin: La proposicin [(p q) (r p) (s q)] (r s) es verdadera pues suponer que es falsa o o ha producido una contradiccin. Por tanto: o (p q) (r p) (s q) = r s

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

[(p

q)

(r

p)

(s

q)]

(r

s)

1 1 01 1 0

1 0 1

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

Ejercicio 9 a) Comprobamos si (p q) p
por tabla de verdad. p 0 0 1 1 q 0 1 0 1 p 1 1 0 0 q 1 0 1 0 p q 1 1 1 0

(p q) p son equivalentes mediante la validacin o (p q) p 1 1 0 0 (p q) p 1 1 0 0

p q 1 0 0 0

Por tanto (p q) p y

(p q) p son equivalentes.

Otra forma de hacerlo es utilizando las propiedades de los conectores: (p q) p (p p) (p q) p (p q) (p q) p distributiva

simplicacin o conmutativa

b) Comprobamos si p (p q)

y p q son equivalentes mediante la validacin por tabla de verdad. Por o 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] [p (p q)] [(p q) p] (p p) (p q) (p q p] 1 (p q) (1 q) p q ley del bicondicional forma clausulada del condicional distributiva y ley de Morgan ley del tercio excluso