Universidad de la Frontera

Facultad de Ingenier a, Ciencias y Administraci on.

Departamento de Matem atica y Estad stica
TEMUCO, Marzo 26 de 2013

Resoluci on Gu a de Trabajo. L ogica.

Fundamentos de Matem aticas. Profesores: P. Valenzuela - A. Sep ulveda - A. Parra - L. Sandoval - J. Molina - E. Milman M. Choquehuanca - H. Soto - E. Henr quez. Ayudante: Pablo Atu an. 1. Simbolizar, sustituyendo las proposiciones b asicas por letras may usculas. (a) Si x = y , entonces x = 1 y x = z (b) Si x = y , entonces x = 2 (c) Si x + y = 3, entonces y + 3 = 3 (d) x + y = 2 y z = 1 (e) Si x y = 2, entonces y x = 2 Soluci on: (a) Sea P la proposici on x = y , sea Q la proposici on x = 1 y sea R la proposici on x = z . Entonces la proposici on general ser a P (Q R). (b) Sea P la proposici on x = y y sea Q la proposici on x = 2. Entonces la proposici on general ser a P Q. (c) Sea P la proposici on x + y = 3 y sea Q la proposici on y + 3 = 3. Entonces la proposici on general ser a P Q. (d) Sea P la proposici on x + y = 2 y sea Q la proposici on z = 1. Entonces la proposici on general ser a P Q. (e) Sea R la proposici on x y = 2 y sea S la proposici on y x = 2. Entonces la proposici on general ser a R S . (f ) Sea A la proposici on x + y = 2 y sea B la proposici on x + y = 0. Entonces la proposici on general ser a A B . (g) Sea H la proposici on x = y , sea J la proposici on y = z y sea K la proposici on x > z . Entonces la proposici on general ser a (H J ) K . (h) Sea X la proposici on x = 2 y sea Y la proposici on y > 1. Entonces la proposici on general ser a X Y . (i) Sea P la proposici on x = 0, sea Q la proposici on x = 3 y sea R la proposici on x = 1. Entonces la proposici on general ser a (P Q) R. (j) Sea D la proposici on x + y > z , sea S la proposici on z = 1 y sea M la proposici on x + y > 1. Entonces la proposici on general ser a (D S ) M . 1 (f) x + y = 2 o x+y =0 (g) Si x = y e y = z , entonces x > z (h) Si x = 2, entonces y > 1 (i) Si x = 0 o x = 3, entonces x = 1 (j) Si x + y > z y z = 1, entonces x + y > 1

2. Formar dos proposiciones compuestas con las frases que se entregan a continuaci on. Expresarlas simbolizadas. (a) ven pronto (b) No quiero estar contigo (c) olvidate (d) Tengo planes para ma nana

Soluci on: Dos proposiciones compuestas pueden ser: Si no tengo planes para ma nana entonces quiero estar contigo y Tengo planes para ma nana y no quiero estar contigo. 3. Se nalar los t erminos de enlace y luego simbolizar cada una de las proposiciones siguientes. (a) No es la hora y la clase de matem atica no termina. (b) Si no estamos en primera la, entonces no se entiende la clase. (c) Si dos n umeros no son iguales, entonces uno es mayor que el otro. (d) x < 5 siempre que x sea negativo. Soluci on: (a) Sea P la proposici on es la hora y Q la proposici on la clase de matem atica termina. Entonces seg un el enunciado los Enlaces ser an No, Y y nuevamente No. Por lo tanto llev andolo a un lenguaje simb olico la proposici on general ser a P Q. (b) Sea M la proposici on estamos en primera la y sea L la proposici on se entiende la clase. Entonces seg un el enunciado los enlaces ser an Si...,Entonces..., No y nuevamente No. Por lo tanto llev andolo a un lenguaje simb olico la proposici on general ser a M L. (c) Sea A la proposici on dos n umeros son iguales y sea B la proposici on uno es mayor que el otro. Entonces seg un el enunciado los enlaces ser an Si..., Entonces..., No. Por lo tanto llev andolo a un lenguaje simb olico la proposici on general ser a A B . (d) Sea P la proposici on x < 5 y sea Q la proposici on x es negativo. Entonces seg un el enunciado, los enlaces ser an siempre que. El enlace siempre que se puede considerar un equivalente a Si..., Entonces.... Por lo tanto llev andolo a un lenguaje simb olico la proposici on general ser a P Q.

4. Simbolizar cada una de las siguientes proposiciones. (a) Tienes exito solo si aprecias la opini on de los dem as. (b) Si x = 1 o y = 2, entonces z = 3. (c) Todo trabajo es noble. (d) No es cierto que 1 = 0. (e) O es y = 0 y x = 0 o z = 2. (f) Si x = 2 entonces y > 1. (g) Si x = 2 o x = 3 entonces x = 1. (h) Si x = y y y = z entonces x = z . (i) Si x + y > z y z = 1 entonces x + y > 1. (j) Si yo y Juan sabemos l ogica, entonces o tenemos un 7 en la prueba o la prueba est a s uper dif cil. (k) Si x es menor que dos, entonces x es igual a uno o x es igual a cero. (l) Si a la ves x es menor que tres y x es mayor que uno entonces x es igual a dos. (m) y = 4 y si x < y entonces x < 5. (n) O x es mayor que cinco y x es menor que siete o no es igual a seis. (o) Si x + 3 > 5 y y 4 > x entonces y > 6. Soluci on: (a) Sea P la proposici on Tendr as exito y sea Q la proposici on Apreciar la opini on de los dem as. Dado que el conectivo l ogico Solo s es equivalente a Si..., Entonces... se sigue que la proposici on ser a Si aprecias la opini on de los dem as, entonces tendr as exito. Por lo tanto la soluci on ser a Q P . (b) Asign andole a P , Q y S las proposiciones x = 1, y = 2 y z = 3 respectivamente, la proposici on general ser a (P Q) S . (c) Sea P la proposici on Todo trabajo es noble. Entonces la proposici on general ser a P . (d) Sea M la proposici on Es cierto que 1 = 0. Entonces como la proposici on general est a negada, esta ser a M . (e) Sea A, B y C las proposiciones y = 0, x = 0 y z = 2 respectivamente. Entonces la proposici on general ser a (A B ) C . (f ) Sea H la proposici on x = 2 y sea K la proposici on y > 1. Entonces la proposici on general est a dada por H K . (g) Sea Z la proposici on x = 2, sea Y la proposici on x = 3 y sea W la proposici on x = 1. Entonces la proposici on general ser a (Z Y ) W . (h) Sea U la proposici on x = y , sea V la proposici on y = z y sea W la proposici on x = z . Entonces la proposici on general ser a (U V ) W . (i) Sea P la proposici on x + y > z , sea Q la proposici on z = 1 y sea R la proposici on x + y > 1. Entonces la proposici on general ser a (P Q) R. 3

(j) Sea P la proposici on Yo y Juan sabemos L ogica , sea Q la proposici on tenemos un 7 y sea S la proposici on la prueba est a s uper dif cil. Entonces la proposici on general ser a P (Q S ). (k) Sea A, B y C las proposiciones x < 2, x = 1 y x = 0 respectivamente. Entonces la proposici on general ser a A (B C ). (l) Sea P , Q y R las proposiciones x < 3, x > 1 y x = 2 respectivamente. Entonces la proposici on general ser a (P Q) R. (m) Sea A, B y C las proposiciones y = 4, x < y y x < 5 respectivamente. Entonces la proposici on general ser a A (B C ). (n) Sea W , Y y Z las proposiciones x > 5, x < 7 y x = 6 respectivamente. Entonces la proposici on general ser a (W Y ) Z . (o) Sea P , Q y R las proposiciones x + 3 > 5, y 4 > x y y > 6 respectivamente. Entonces la proposici on general ser a (P Q) R. 5. Escribir en lenguaje formal la negaci on de las siguientes proposiciones: (a) x es un n umero entero mayor que 3 o menor que 2. (b) La gura representa o bien un tri angulo o bien un cuadrado, pero no un rect angulo o un rombo. (c) No se aceptan cambios ni devoluciones. (d) Hay n umeros pares divisibles por 3. (e) Toda ecuaci on de segundo grado tiene dos soluciones reales distintas o bien dos soluciones complejas conjugadas. Soluci on: (a) Sean las proposiciones p: x es un n umero mayor que 3, q : x es un n umero menor que 2 y r: x es un n umero entero, entonces la proposici on compuesta queda escrita como (p r) (q r). Luego, su negaci on es r ( q ). (b) Sean las proposiciones p1 : La gura representa un tri angulo, p2 : La gura representa un cuadrado, p3 : La gura representa un rect angulo y p4 : La gura representa un rombo. Entonces la proposici on compuesta que escrita como (p1 p2 ) (p3 p4 ). Luego, su negaci on es (p1 p2 ) (p1 p2 ) p3 p4 . (c) Sean las proposiciones r: Se aceptan cambios y s: Se aceptan devoluciones, entonces la proposici on compuesta queda escrita como r s. Luego, su negaci on es r s. (d) Sean las proposiciones p: Hay n umeros pares y q : Hay n umeros divisibles por 3, entonces la proposici on compuesta queda escrita como (p q ). Luego, su negaci on es p q . (e) Sean las proposiciones p: Toda ecuaci on de 2do grado tiene dos soluciones reales distintas, q : Toda do ecuaci on de 2 grado tiene dos soluciones complejas conjugadas, entonces la proposici on compuesta queda escrita como (p q ). Luego, su negaci on es (p q ) (p q ).

6. A nadir par entesis necesario, para que la proposici on dada corresponda al tipo de proposici on se nalada: Soluci on: (a) Negaci on: (P R) (b) Conjunci on: (P Q) R (c) Condicional: (P ) R (d) Negaci on: (P Q) (e) Conjunci on: (P ) (R) (f) Conjunci on: (P ) Q (g) Negaci on: (R T ) (h) Condicional: (P Q) R (i) Condicional: (P ) (Q) (j) Negaci on: (P R) (k) Negaci on: (P Q) (l) Disjunci on: (P Q) R (m) Disjunci on: (Q) (R) (n) Condicional: (P ) (R) (o) Negaci on: (T S ) (p) Disjunci on: P (Q R) (q) Conjunci on: (S ) (Q) (r) Negaci on: (P Q) (s) Negaci on: (R S ) (t) Conjunci on: P (Q R)

7. Relacionar cada t ermino de la izquierda con s olo uno de la derecha. Soluci on: (a) Disjunci on P Q. (b) Proposici on B asica Cualquier proposici on sin t ermino de enlace. (c) Proposici on Condicional P Q. (d) Proposici on Compuesta Cualquier proposici on con un t ermino de enlace. (e) Antecedente P en P Q. (f) Consecuente Q en la proposici on P Q. (g) Conjunci on P Q. (h) Negaci on (P Q) 8. Sean p tengo un loro y q tengo un gato, simplicar y luego escribir en lenguaje corriente (p (q )) (p) Soluci on: Desarrollando y aplicando propiedades se tiene que:

(p (q )) (p)

= (p q ) p = (p q ) p = p q

Lo cu al en el lenguaje com un es Tengo un loro y no tengo un gato. 5

9. Escribir la rec proca, la contrarrec proca y la inversa de cada una de las siguientes imlicaciones: (a) Si 4 es par entonces 1 > 0 (b) 2 + 3 = 5 si 1 + 1 < 3 (c) Si 4 es impar entonces 1 > 0 (d) Si 1 + 1 < 3 entonces 2 = 4 Soluci on: Haremos un listado de cada una de ellas, como sigue: Rec proca. (a) (b) (c) (d) Si Si Si Si 1 > 0 entonces 4 es par. 1 + 1 < 3 entonces 2 + 3 = 5. 1 > 0 entonces 4 es impar. 2 = 4 entonces 1 + 1 < 3. 1 0 entonces 4 es impar. 1 + 1 3 entonces 2 + 3 = 5. 1 0 entonces 4 es par. 2 = 4 entonces 1 + 1 3. 4 es impar entonces 1 0. 2 + 3 = 5 entonces 1 + 1 3. 4 es par entonces 1 0. 1 + 1 3 entonces 2 = 4.

Contrarrec proca. (a) (b) (c) (d) Si Si Si Si

Inversa. (a) (b) (c) (d) Si Si Si Si

10. Determinar los valores de verdad de las siguientes proposiciones compuestas. (a) Si 2 + 2 = 4 entonces 2 + 4 = 8. (b) Si 2 + 2 = 5 entonces 2 + 4 = 8. (c) Si 2 + 2 = 4 entonces 2 + 4 = 6. (d) Si 2 + 2 = 5 entonces 2 + 4 = 6. Soluci on: a) Falso. b) Verdadero. c) Verdadero. d) Verdadero.

11. Suponiendo que p q es falso, indica los valores de verdad para (a) p q (b) p q (c) q p

Soluci on: Dado que p q es falso (por enunciado). Existen dos maneras para determinar el valor de verdad de p y q . El primero ser a por tabla de la verdad del conectivo l ogico entonces (), el cual nos demuestra que con un V erdadero F also se obtiene como valor de verdad F also por tanto p V y q F . O bien se puede desarrollar (p q ) F siguiendo el mismo razonamiento. Luego: a) p q . Falso b) p q . Verdadero c) q p. Verdadero 12. Sabiendo que la proposici on compuesta (q ) (q p) es falsa, indique cual es el valor de verdad de las proposiciones p y q . Soluci on: Desarrollando tenemos que (q ) (q p) (q ) (q p) q p F . Por lo tanto q Falso y p Falso. as obtenemos que q Verdadero y p Falso. 13. Indicar para qu e valores de verdad de p y q resulta verdadera la proposici on compuesta (p q ) (q p) . Soluci on: Desarrollando la proposici on compuesta tenemos que:

(p q ) (q p) (p q ) (q p) q (p p) qF q Por lo tanto para que la proposici on compuesta original resulte verdadera, solo depende del valor de verdad de q . por ello p puede tomar cualquier valor de verdad (sea verdadero o falso) y q solamente puede ser Verdadero.

14. Demostrar los siguientes enunciados. (No olvide RAA). (a) Demuestre T (1) (2) (3) (4) T P S Q P R S RQ

Soluci on:

(1) T P S (2) Q P (3) R S (4) R Q (5) R Q (6) R P S (7) P R (8) P S (9) S (10) P (11) T P (12) T

Premisa Premisa Premisa Premisa T.L 23 (4) Silogismo Hipot etico (2,5) Contra Rec proco de (6) Silogismo Hipot etico (3,7) Simplicaci on (1) Modus Tolens (8,9) Simplicaci on (1) Modus Tolens (8,9)

(b) Demuestre T (1) (2) (3) (4) P R R S P T S

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

P R R S P T S S R R R P P T

Premisa Premisa Premisa Premisa C.R (2) Modus Ponens (4,5) T.L 23 (6) Modus Ponens (6,7) Modus Ponens (3,8)

(c) Demuestre D (1) (2) (3) (4) A B C B C A B D

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

A B C B C A B D B D C A C B B D

Premisa Premisa Premisa Premisa T.L 23 (4) T.L 23 (3) Silogismo Hipot etico (1,6) Demostraci on por casos (2,7) Modus Ponens (5,8)

(d) Demuestre (x = 5 y = 4) (1) y = 3 (2) x + y = 8 y = 3 (3) x + y = 8 x = 5

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

y=3 x + y = 8 y = 3 x+y =8x=5 y = 3 x + y = 8 x+y =8 x=8 x=5y =4 (x = 5 y = 4)

Premisa Premisa Premisa Contra Rec proco de (2) Modus Ponens (1,4) Silogismo disyuntivo (3,5) Ley de Adici on en (6) Ley de De Morgan en (7)

(e) Demuestre y = 2 x > y (1) (y > 5 x = 6) (2) x = 6 x > y (3) y 5 x > y

Soluci on:

(1) (2) (3) (4) (5) (6) (7)

(y > 5 x = 6) x = 6 x > y y 5 x > y y 5x=6 (x = 6 y 5) x > y x>y y =2x>y

Premisa Premisa Premisa T.L (1) Demostraci on por casos (2,3) Modus Ponens (4,5) Ley de Adici on en (6)

10

(f) Demuestre (x = 2 y < 5) (1) (y x = 2 x + y 8) (2) (x > y y < 5) (3) x = 2 x + y 8

Soluci on:

(1) (y x = 2 x + y 8) (2) (x > y y < 5) (3) x = 2 x + y 8 (4) x y y 5 (5) y x = 2 x + y 8 (6) x = 2 x + y 8 (7) x + y > 8 (8) y 5 (9) x + y > 8 x = 2 (10) x = 2 (11) x = 2 y 5 (12) (x = 2 y < 5)

Premisa Premisa Premisa Ley de De Morgan en (2) Ley de De Morgan en (1) T.L 23 (3) Simplicaci on (5) Simplicaci on (4) T.L 23 (6) Modus Ponens (7,9) Regla de Conjunci on (8,10) Ley de De Morgan en (11)

11

(g) Demuestre P (1) (2) (3) (4) R P (R S ) T T (Q U ) Q U

Soluci on:

(1) R P (2) (R S ) T (3) T (Q U ) (4) Q U (5) (Q U ) (6) T (7) T (R S ) (8) R S (9) R (10) P

Premisa Premisa Premisa Premisa Ley de De Morgan en (4) Tollendo Tolens (3,5) (2) Modus Ponens (6,7) Simplicaci on (8) Modus Ponens (1,9)

(h) Demuestre Q S (1) S R (2) R T (3) Q T

Soluci on:

(1) S R (2) R T (3) Q T (4) S (5) T Q (6) R T (7) R Q (8) R (9) Q (10) Q S

Premisa Premisa Premisa Simplicaci on (1) Contra Rec proco de (3) Contra Rec proco de (2) Silogismo Hipot etico (5,6) Simplicaci on (1) Modus Ponens (7,8) Regla de Conjunci on (4,9)

12

(i) Demuestre R Q (1) (2) (3) (4) P Q S Q R P S Q S

Soluci on:

(1) (2) (3) (4) (5) (6) (7)

P Q S Q R P S Q S (P Q) S S QR

Premisa Premisa Premisa Premisa Demostraci on por Casos (3,4) Modus Ponens (1,5) Modus Ponens (2,6)

(j) Demuestre G H (1) (2) (3) (4) E F H J E K F J K

Soluci on:

(1) (2) (3) (4) (5) (6) (7)

E F H J E K F J K EF H G H

Premisa Premisa Premisa Premisa Silogismo Disyuntivo (2,3,4) Modus Ponens (1,5) Adici on (6)

13

(k) Demuestre x = 1 (1) (2) (3) (4) (z < 3 x > y ) y = 2 xyx=1 x > z x > y x z x < y

Soluci on:

(1) (z < 3 x > y ) y = 2 (2) x y x = 1 (3) x > z x > y (4) x z x < y (5) z 3 x y y = 2 (6) x < y x = 1 (7) x z x = 1 (8) x y (9) x y x z (10) x z (11) x = 1

Premisa Premisa Premisa Premisa Ley de De Morgan en (1) (2) Silogismo Hipot etico (4,6) Simplicaci on (5) Contra Rec proco de (3) Modus Ponens (8,9) Modus Ponens (7,10)

(l) Demuestre P (1) (P Q) (2) P R (3) Q R

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

(P Q) P R Q R P Q R Q P Q P Q P (Q Q) P

Premisa Premisa Premisa Ley de De Morgan en (1) (3) Silogismo Hipot etico (2,5) (6) Distribuci on (4,7) (8)

14

(m) Demuestre S (1) (2) (3) (4) P Q Q R R P (T S )

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

P Q Q R R P (T S ) P R P P (T S ) T S S

Premisa Premisa Premisa Premisa Silogismo Hipot etico (1,2) Modus Tolens (3,5) (4) Modus Ponens (6,7) Simplicaci on (8)

(n) Demuestre T (1) P Q (2) T P (3) (Q R)

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

P Q T P (Q R) P Q T Q Q R Q T

Premisa Premisa Premisa (1) Silogismo Hipot etico (2,4) Ley de De Morgan en (3) Simplicaci on (6) Tollendo Tolens (5,7)

15

(o) Demuestre T (1) T S (2) F T (3) S F

Soluci on:

(1) (2) (3) (4) (5) (6) (7)

T S F T SF S F T F T T T

Premisa Premisa Premisa (3) Silogismo Hipot etico (1,4) Silogismo Hipot etico (2,5)

(p) Demuestre R (1) (P Q) (2) R Q (3) P R

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

(P Q) R Q P R P Q Q P R P R R R

Premisa Premisa Premisa Ley de De Morgan en (1) (4) Silogismo Hipot etico (2,5) Silogismo Hipot etico (3,6) (7)

16

(q) Demuestre (T S ) (1) (2) (3) (4) R B T S R B S T

Soluci on:

(1) R B (2) T S R (3) B S (4) T (5) R B (6) B S (7) R S (8) T S S (9) S (10) T S (11) (T S )

Premisa Premisa Premisa Premisa (1) (3) Silogismo Hipot etico (5,6) Silogismo Hipot etico (2,7) Regla de Adjunci on (4,9) Ley de De Morgan (10)

(r) Demuestre P (1) P S (2) S R (3) (T R)

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

P S S R (T R) T R R S P R S R P P

Premisa Premisa Premisa Ley de De Morgan en (3) Simplicaci on (4) Contra Rec proco de (1) (2) Silogismo Hipot etico (6,7) Modus Ponens (5,8)

17

(s) Demuestre (A D) (1) A B C (2) B A (3) D C

Soluci on:

(1) A B C (2) B A (3) D C (4) A D (5) A (6) B (7) D (8) C (9) C (A B ) (10) A B (11) B (12) B B (13) (A D)

Premisa Premisa Premisa Premisa Agregada Simplicaci on (4) Tollendo Tolens (2,5) Simlicaci on (4) Modus Ponens (3,7) (1) Modus Ponens (8,9) Modus Ponens (5,10) Contradicci on

(t) Demuestre S T (1) P S (2) P R (3) R T

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

P S P R R T R P R S T R T S S T

Premisa Premisa Premisa T.L 23 (2) Silogismo Hipot etico (1,4) Contra Rec proco de (3) Silogismo Hipot etico (5,6) T.L 23 (7)

18

(u) Demuestre E M (1) S Q (2) S E (3) Q M

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

SQ S E Q M S Q E S E Q E M E M

Premisa Premisa Premisa (1) Contra Rec proco de (2) Silogismo Hipot etico (4,5) Silogismo Hipot etico (3,6) T.L 23 (7)

(v) Demuestre R (1) T R S (2) S T (3) R S

Soluci on:

(1) T R S (2) S T (3) R S (4) R (5) S (6) T (7) S T R (8) T R (9) R (10) R R (11) R

Premisa Premisa Premisa Premisa Agregada Modus Ponens (3,4) Modus Ponens (2,5) (1) Modus Ponens (5,7) Simplicaci on (8) Contradicci on (4,9)

19

(w) Demuestre y > z (1) (2) (3) (4) x = y x = z x = y x < z xzy >z y =zx=z

Soluci on:

(1) x = y x = z (2) x = y x < z (3) x z y > z (4) y = z x = z (5) y = z (6) x = z (7) x = y x = z (8) x = y (9) x < z (10) y > z

Premisa Premisa Premisa Premisa Simplicaci on (4) Simplicaci on (4) T.L 23 (1) Tollendo Ponens (6,7) Modus Ponens (2,8) Tollendo Ponens (3,9)

(x) Demuestre P S (1) P Q (2) P (Q R) (3) Q (R S )

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

P Q P (Q R) Q (R S ) P Q R S Q R R S

Premisa Premisa Premisa Premisa Agregada Modus Ponens (1,4) Modus Ponens (3,5) Modus Ponens (2,4) Modus Ponens (5,7) Silogismo Hipot etico (1,7,6)

20

(y) Demuestre x < 5 (1) (2) (3) (4) x<yx=y x = y y = 5 x < y y = 5 x < 5 y=5

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

x<yx=y x = y y = 5 x < y y = 5 x < 5 y=5 x=y x<y x<yy =5 x<5

Premisa Premisa Premisa Premisa Tollendo Tolens (2,4) Tollendo Ponens (1,5) Regla de Adjunci on (4,6) Modus Ponens (3,7)

(z) Demuestre x = 5 x = y (1) x = y x = y + 3 (2) x = y + 3 x + 2 = y (3) x + y = 2 x = 5

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

x = y x = y + 3 x=y+3x+2=y x+y =2x=5 x=yx=y+3 x+2=y x=5 x=y+3 x=y x=5x=y

Premisa Premisa Premisa T.L 23 (1) Simplicaci on (3) Simplicaci on (3) Tollendo Ponens (2,5) Tollendo Tolens (1,7) Regla de Adjunci on (6,8)

21

(a) Demuestre S (1) T R (2) T (3) S R

Soluci on:

(1) (2) (3) (4) (5)

T R T S R R S

Premisa Premisa Premisa Tollendo Ponens (1,2) Tollendo Tolens (3,4)

(b) Demuestre Q R (1) S T (2) T (3) S (Q R)

Soluci on:

(1) (2) (3) (4) (5)

S T T S (Q R) S QR

Premisa Premisa Premisa Tollendo Tolens (1,2) Tollendo Ponens (3,4)

22

(c) Demuestre P (1) P Q (2) R Q (3) P R

Soluci on:

(1) (2) (3) (4) (5) (6) (7) (8)

P Q R Q P R Q R R P Q P P P P

Premisa Premisa Premisa (2) (3) Silogismo Hipot etico (4,5) Silogismo Hipot etico (1,6) Idempotencia (7)

(d) Demuestre C A (1) A B (2) B (C D) (3) D

Soluci on:

(1) (2) (3) (4) (5) (6)

A B B (C D) D A (C D) A C D C A

Premisa Premisa Premisa Silogismo Hipot etico (1,2) T.L 23 (4) Tollendo Ponens (3,5)

23

(e) Demuestre R (1) S R (2) T S (3) T

Soluci on:

(1) (2) (3) (4) (5)

S R T S T S R

Premisa Premisa Premisa Tollendo Ponens (2,3) Tollendo Ponens (1,4)

(f) Demuestre S (1) T R (2) R (3) T S

Soluci on:

(1) (2) (3) (4) (5)

T R R T S T S

Premisa Premisa Premisa Tollendo Tolens (1,2) Tollendo Ponens (3,4)

24

(g) Demuestre T (1) (2) (3) (4) P S P Q (S R) T Q R

Soluci on:

(1) P S (2) P Q (3) (S R) T (4) Q R (5) P (6) S (7) Q (8) R (9) S R (10) T

Premisa Premisa Premisa Premisa Simplicaci on (2) Modus Ponens (1,5) Simplicaci on (2) Modus Ponens (4,7) Regla de Adjunci on (6,8) Modus Ponens (9,10)

(h) Demuestre Q (1) T S (2) S (3) Q T

Soluci on:

(1) (2) (3) (4) (5)

T S S Q T T Q

Premisa Premisa Premisa Tollendo Tolens (1,2) Tollendo Ponens (3,4)

25

15. El conectivo proposicional se llama disyunci on exclusiva. Para dos proposiciones p y q se anota p q , se lee p o q pero no ambos (a) Construir la tabla de verdad de p (b) Probar que p q

q (p q ) (p q )

Soluci on: Trabajando con tablas de verdad, se tiene que: p V V F F p V V F F q V F V F q V F V F p q F V V F p q F V V F p q V V V F p q V F F F (p q ) (p q ) F V V F

(a)

(b)

Luego, se tiene que: p 16. El conectivo proposicional se lee ni p ni q

q (p q ) (p q ) se llama conjunci on negativa. Para dos proposiciones p y q se anota p q ,

(a) Construir la tabla de verdad p (b) Probar que: i. p p p ii. p q (p p) iii. p q (p q ) (q (p q) q)

Soluci on: Trabajando con tablas de verdad se tiene que: p V V F F i. q V F V F p V F p q F F F V p F V p p F V p.

(a)

(b)

Luego p p

26

ii. De a) se tiene que p p p V V F F q V F V F p q V F F F p F F V V q F V F V

p, por lo tanto q q p q V F F F (q q ). q ).

q.

Luego p q p

q (p q)

p) (p

iii. De a) se tiene que (p p V V F F q V F V F p q V V V F p q F F F V

q ) (p q) F F F V q) (p q ).

(p

Luego p q (p

q ) (p

17. Decidir sobre la v alidez de los razonamientos siguientes: (a) Si el mundial de f utbol es en Brasil, entonces la gente no puede ir. Si el f utbol es un deporte popular, entonces el mundial de f utbol es en Brasil. El f utbol es popular. Por lo tanto (b) Si la vida es f acil, entonces no vale la pena vivir. Si no vale la pena vivir, entonces no trabajo. La vida es f acil. Luego, no trabajo. (c) Si x es un n umero par, entonces x + z = 0. Si x + z = 0, entonces z = 0. x es un n umero par. Por tanto, z = 0. (d) Si x es un n umero par, entonces x + z = 0. Si x + z = 0, entonces x es mayor que z . x es n umero par. Luego, x es mayor que z . Soluci on: (a) Sean las proposiciones p: El mundial de f utbol es en Brasil, q : La gente puede ir y r: EL f utbol es popular. Tenemos que: (1) p q (2) r p (3) r (4) r (r q ) (5) q Luego, el razonamiento es v alido.

27

(b) Sean las proposiciones p: La vida es f acil, q : Vale la pena vivir y r: trabajo. Tenemos que: (1) p q (2) q r (3) p (4) p (p q ) (5) q (6) r Luego, el razonamiento es v alido. (c) Sean las proposiciones p: x es par, q : x + z = 0 y z = 0. Tenemos que: (1) p q (2) q r (3) p (4) p r (5) r Luego, el razonamiento es v alido. (d) Sean las proposiciones p: x es par, q : x + z = 0 y r: x > z . Tenemos que: (1) p q (2) q r (3) p (4) p r (5) r Luego, el razonamiento es v alido. 18. Indicar cu ales de las siguientes proposiciones son equivalentes a la proposici on Si Heriberto aprueba Algebra, entonces hizo trampa. Se considera que Heriberto es honrado equivale a Heriberto no es tramposo. (a) (b) (c) (d) (e) Heriberto aprueba Algebra y es tramposo. Heriberto, una persona honrada, no aprob o Algebra. Si Heriberto es honrado, entonces no aprob o Algebra. No es cierto que: Heriberto aprueba o es tramposo. Si Heriberto es tramposo, entonces aprueba Algebra.

Soluci on: Sean las proposiciones P : Heriberto aprueba Algebra, Q: Hizo trampa. Luego, Q: No hizo trampa Es Honrado. La traducci on al lenguaje formal de Si Heriberto aprueba Algebra, entonces hizo trampa es P Q. Veamos algunas equivalencias de la proposici on compuesta anterior, para comparar con las alternativas:

P Q Q P P Q Q P

Desarrollando las alternativas, la u nica equivalente es la alternativa c). 28

19. Analizar la validez de los siguientes argumentos: argumento 1: 1 Si Heriberto lee el Mercurio, entonces est a bien informado 2 Heriberto est a bien informado Por tanto, Heriberto lee el Mercurio

argumento 2: 1 Si Heriberto queda en la Universidad, va a ganar dinero 2 Heriberto no queda en la Universidad Por tanto, Heriberto no va a ganar dinero

argumento 3: 1 Si Heriberto entiende l ogica, entonces disfruta estos problemas 2 Heriberto no entiende l ogica Por tanto, Heriberto no disfruta estos problemas Soluci on: Si denotamos por: P : Heriberto lee el Mercurio Q : Heriberto est a bien informado R : Heriberto queda en la Universidad S : Heriberto va a ganar dinero T : Heriberto entiende l ogica U : Heriberto disfruta estos problemas Tenemos: Argumento 1: (P Q) Q Aplicando Modus Ponens resulta P De Manera que el argumento es v alido. Argumento 2: (R S ) R Aplicando T.L 23 resulta (R S ) R De Manera que el argumento no es v alido. Argumento 3: (T U ) T Aplicando T.L 23 resulta (T U ) T De Manera que el argumento no es v alido.

29

20. Simbolizar las siguientes proposiciones: (a) Nunca he o do esa m usica. (b) Jam as he visto al vecino. (c) Es imposible que el atomo sea mol ecula. (d) Es falso que el juez sea scal. (e) Al pap a de Nelly le falta car acter. Soluci on: (a) Sea la proposici on p: Yo he o do esa m usica. Luego, la traducci on al lenguaje formal de Nunca he o do esa m usica es p. (b) Sea la proposici on q : Yo he visto al vecino. Luego, la traducci on al lenguaje formal de Jam as he visto al vecino es q . (c) Sea la proposici on r: El atomo es una mol ecula. Luego, la traducci on al lenguaje formal de Es imposible que el atomo sea mol ecula es r. (d) Sea la proposici on s: El juez es scal. Luego, la traducci on al lenguaje formal de Es falso que el juez sea scal es s. (e) Sea la proposici on t: El pap a de Nelly no le falta car acter. Luego, la traducci on al lenguaje formal de Al pap a de Nelly le falta car acter es t. 21. Simbolizar las siguientes proposiciones: (a) Kant es l osofo, pero Frege es l ogico. (b) No iremos al teatro a menos que venga Ra ul. (c) Einstein no es l osofo, sino sico. (d) Euclides no es m edico ni f sico. (e) Ni Vilma, ni Silvia, ni Ang elica ingresaron a la universidad. (f) Sin carbono, ox geno, nitr ogeno e hidr ogeno, no hay vida. (g) C esar es profesor o es alumno, pero no puede ser ambas cosas a la vez. Soluci on: Haremos la traducci on al lenguaje simb olico de las proposiciones compuestas anteriores. (a) Sean las proposiciones p: Kant es l osofo y q : Frege es l ogico. Luego, la proposici on compuesta es p q. (b) Sean las proposiciones r: Ra ul viene y s: Iremos al teatro. Luego, la proposici on compuesta es p q . (c) Sean las proposiciones t: Einstein es f sico y v : Es f sico. Luego, la proposici on compuesta es p q . (d) Sean las proposiciones p: Euclides es m edico y q : Es f sico. Luego, la proposici on compuesta es p q . (e) Sean las proposiciones A: Vilma ingresa a la universidad, B : Silvia ingresa a la universidad y C : Ang elica ingresa a la universidad. Luego, la proposici on compuesta es (A B ) C . 30

(f) Sean las proposiciones q : Hay vida, p1 : Hay carbono, p2 : Hay ox geno, p3 : Hay nitr ogeno y p4 : Hay hidr ogeno. Luego, la proposici on compuesta es (p1 p2 p3 p4 ) q . (g) Sean las proposiciones p: C esar es profesor y q : Es alumno. Luego, la proposici on compuesta es p q. 22. Formalizar (no resolver) las siguientes inferencias: (a) Los congresistas representan a la Naci on, pero no est an sujetos a mandato imperativo. Luego, los congresistas representan a la Naci on. (b) Felipe no ser a expulsado del club a menos que el cometa actos de traici on e inmoralidad. No ha sido expulsado. En consecuencia, no ha cometido actos de traici on e inmoralidad. (c) Si el ni no, el adolescente y el anciano son abandonados, entonces son protegidos por el Estado. Pero el ni no es abandonado, tambi en el anciano. Luego, tanto el ni no como el anciano son protegidos por el Estado. Soluci on: (a) Sean las proposiciones P : Los congresistas representan a la naci on, Q: Los congresistas no est an sujetos a mandato imperativo. Luego, la traducci on al lenguaje formal es (P Q) P . (b) Sean las proposiciones P : Felipe no ser a expulsado del club, Q: Felipe comete actos de traici on y R: Felipe comete actos de inmoralidad. Luego, la traducci on al lenguaje formal es [{(Q R) P } P ] (Q R) (c) Sean las proposiciones A: El ni no es abandonado, B : El adolescente es abandonado, C : El anciano es abandonado, D: El ni no es protegido por el estado, E : El adolescente es protegido por el estado y F : El anciano es protegido por el estado. Luego, la traducci on al lenguaje formal es [(A B C ) (D E F )] (A C ) (D F ). 23. Mediante la tabla de verdad determine si las siguientes f ormulas son tautolog as: (a) [p (p p)] (b) (p p) (p p) (c) (p q ) (q p) (d) [(p q ) (q q )] (e) [(p q ) (q r)] (p r) (f) (p q ) (q p)

31

Soluci on: Constru mos las tablas de verdad pedidas: p V F p F V p p F F p (p p) F V [p (p p)] V F

(a)

Por lo tanto no es una Tautolog a. p V F p F V p p F F (p p) V V p p V V (p p) F F (p p) (p p) F F

(b)

Por lo tanto no es una Tautolog a. p V V F F q V F V F p F F V V q F V F V p q V F V V (p q ) F V F F q p V F V V (q p) F V F F (p q ) (q p) F V F F

(c)

Por lo tanto no es una Tautolog a. p V V F F q V F V F p F F V V q F V F V pq V F F V q q F F F F (q q ) V V V V (p q ) (q q ) V F F V [(p q ) (q q )] F V V F

(d)

Por lo tanto no es una Tautolog a. p V V V V F F F F q V V F F V V F F r V F V F V F V F p F F F F V V V V q F F V V F F V V r F V F V F V F V pq V V V V F F V V qr V V F V V V F V pr V V V V F V F V (p q ) (q r) V V F V F F F V [(p q ) (q r )] (p r) V V V V V V V V

(e)

Por lo tanto SI es una Tautolog a. p V V F F q V F V F p F F V V q F V F V pq V F V V q p V F V V (p q ) (q p) V V V V 32

(f)

Por lo tanto SI es una Tautolog a.

24. Analizar la validez de los siguientes razonamientos: (a) El tri angulo se llama is osceles si tiene dos lados iguales. No se llama is osceles. En consecuencia, no tiene dos lados iguales. (b) Si Juan es burgu es, es propietario de los medios de producci on social y emplea trabajo asalariado. Es burgu es y propietario de los medios de producci on social. Luego, Juan emplea trabajo asalariado. (c) Si eres scal, eres abogado. Si eres profesional, eres abogado. Luego, si eres scal, eres profesional. (d) Si hay abundancia de peces, habr a abundante harina de pescado. Si hay abundante harina de pescado, se incrementa la exportaci on. La exportaci on no se incrementa. O hay abundancia de peces o ser a preciso recurrir a otras actividades. Luego, ser a preciso recurrir a otras actividades. Soluci on: (a) Sean las proposiciones p: El tri angulo se llama is osceles y q : Tiene dos lados iguales. Tenemos que: (1) q p (2) p (3) q Como tenemos una contradicci on, el razonamiento no es v alido. (b) Sean las proposiciones A: Ju an es burgu es, B : Es propietario de los medios de producci on social y C : Emplea trabajo asalariado. Tenemos que: (1) A (B C ) (2) A B (3) A (4) B (5) B C (6) C Luego, el razonamiento es v alido. (c) Sean las proposiciones p: Eres scal, q : Eres abogado y r: Eres profesional. Tenemos que: (1)p q (2)r q Demostrar p r p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V rq V V F V V V F V (p q ) (r q )(1) V V F F V V F V pr V F V F V V V V (1) (p r) V F V V V V V V

Luego, el razonamiento no es v alido. 33

(d) Sean las proposiciones A: Hay abundancia de peces, B : Habr a abundante harina de pescado, C : Se incrementa la exportaci on y D: Ser a preciso recurrir a otras actividades. Tenemos que: (1) A B (2) B C (3) C (4) A D (5) A C (6) A (7) D Luego, el razonamiento es v alido. 25. Determine mediante la tabla de verdad si las siguientes inferencias son v alidas o inv alidas: (a) Si se levanta la veda, entonces se podr a pescar anchoveta. No se puede pescar anchoveta. Luego, no se levant o la veda. (b) Si no se levanta la veda, entonces no se podr a pescar anchoveta. Se puede pescar anchoveta. En consecuencia, se ha levantado la veda. (c) Si hay veda, entonces no se podr a pescar at un. Hay veda. Por tanto, no se puede pescar at un. Soluci on: (a) Sean las proposiciones p: Se levanta la veda y q : Se podr a pescar anchoveta. Tenemos que: (1)p q (2)q Demostrar p p V V F F q V F V F pq V F V V q F V F V (p q ) q F F F V p F F V V { (p q ) q } p V V V V

Luego, la inferencia es v alida. (b) Conservando las proposiciones anteriores tenemos que: (1)p q (2)q Demostrar p p V V F F q V F V F p F F V V q F V F V p q V V F V (p q ) q V F F F { (p q ) q } p V V V V

Luego, la inferencia es v alida. 34

(c) Agregando la proposici on r: Se podr a pescar at un. Tenemos que: (1)p r (2)p Demostrar r p V V F F r V F V F r F V F V p r F V V V (p r) p F V F F { (p r) p} r V V V F

Luego, la inferencia no es v alida. 26. Usar el m etodo de la premisa agregada (PA) para probar que q t, a partir de: (a) s r (b) s p (c) p q (d) r t Soluci on: (1) (2) (3) (4) (5) (6) (7) (8) (9) sr sp pq rt q p s r t Premisa Premisa Premisa Premisa Premisa Agregada Tollendo Tolens (3,5) Tollendo Ponens (2,6) Modus Ponens (1,7) Modus Ponens (4,8)

35

27. Usar reducci on al Absurdo para probar r a partir de: (a) (p q ) (b) r q (c) p r Soluci on: (1) (p q ) (2) r q (3) p r (4) r (5) q (6) q p (7) q p (8) p (9) r (10) r r Premisa Premisa Premisa Premisa Agregada Modus Ponens (2, 4) De Morgan (1) T.L 23 Modus ponens (5, 7) Modus ponens (3, 8) Contradicci on (4, 9)

28. Indique cu al de las siguientes proposiciones es falsa: (a) Si 2(3 + 5) = 16 entonces 5(6 + 1) = 35 (b) Si (4 + 5) = 20 entonces (6 + 7) = 12 (c) Si (9 + 5) = 14 entonces (6 + 5) = 11 (d) Si 9(4 + 2) = 54 entonces 9(4 + 1) = 14 (e) Si 3(4 + 5) = 28 entonces 7(6 + 5) = 37 Soluci on: (a) V V V (b) F F V (c) V V V (d) V F F (e) F F V Luego, la alternativa falsa es la d).

36

29. Una rec proca de la proposici on Carlos llega impuntual, siempre que se levanta tarde es: (a) Si Carlos se levanta tarde, entonces llega impuntual. (b) Si Carlos llega impuntual, entonces se levanta tarde. (c) Si Carlos no llega impuntual, entonces no se levanta tarde. (d) Carlos llega impuntual, si no se levanta tarde. (e) Si Carlos no llega impuntual, entonces se levanta tarde. Soluci on: Sean las proposiciones p: Carlos se levanta tarde y q : Carlos llega puntual. Entonces la traducci on al lenguaje formal de Carlos llega impuntual, siempre que se levanta tarde es p q . Luego, la rec proca de p q es q p. Es decir, Si Carlos llega impuntual, entonces se levanta mas tarde. 30. La traducci on en el lenguaje formal de la proposici on Si tu eres inteligente y no actu as con prudencia, eres un ignorante en la materia, siendo las proposiciones: m: T u eres inteligente. n: T u act uas con prudencia. p: T u eres un ignorante en la materia. Es: (a) (m n) p (b) m (n p) (c) p (m n) (d) (m p) n (e) m (n p) Soluci on: Traduciendo al lenguaje formal, tenemos (m p) p. 31. Considere la proposici on Compro y uso el traje gris, si me pagan. Empleando tablas de verdad, identique: Una rec proca de la proposici on dada. (a) (b) (c) (d) (e) (a) (b) (c) (d) (e) Si Si Si Si Si Si Si Si Si Si compro y uso el traje gris, entonces me pagan. no compro y no uso el traje gris, entonces no me pagan. no compro o no uso el traje gris, entonces me pagan. no me pagan, entonces no compro o no uso el traje gris. me pagan, entonces compro y uso el traje gris. compro y uso el traje gris, entonces me pagan. no compro o no uso el traje gris, entonces no me pagan. no compro o no uso el traje gris, entonces me pagan. no me pagan, entonces no compro o no uso el traje gris. me pagan, entonces compro y uso el traje gris. 37

Una inversa de la proposici on dada.

 Una contrarrec proca de la proposici on dada. (a) (b) (c) (d) (e) Si Si Si Si Si compro y uso el traje gris, entonces me pagan. no compro o no uso el traje gris, entonces no me pagan. no compro o no uso el traje gris, entonces me pagan. no me pagan, entonces no compro o no uso el traje gris. me pagan, entonces compro y uso el traje gris.

Soluci on: Sean las proposiciones p: Compro un traje gris, q : Uso el traje gris y r: Me pagan. La traducci on al lenguaje formal de la proposici on compuesta Compro y uso el traje gris, si me pagan es r (p q ). Entonces: Rec proca: (p q ) r: Si compro y uso el traje gris, entonces me pagan. Inversa: r (p q ): Si no me pagan, entonces no compro o no uso el traje gris. Contrarrec proca: (p q ) r: Si no compro o no uso el traje gris, entonces no me pagan. 32. Hallar una traducci on al lenguaje simb olico de Temuco mejora su imagen si la Municipalidad realiza obras o los ciudadanos colaboran en el aseo de las calles, siendo las proposiciones simples: m: La Municialidad realiza obras. n: Los ciudadanos colaboran en el aseo de las calles. p: Temuco mejora su imagen. Soluci on: Traduciendo al lenguaje simb olico, tenemos (m n) p. 33. Considere las proposiciones simples: a: Utilizo mis habilidades matem aticas. b: Resuelvo bien los ejercicios. c: Hago un buen deber. Hallar la traducci on simb olica de la proposici on compuesta Es necesario que utilice mis habilidades matem aticas para que resuelva bien los ejercicios y haga un buen deber. Soluci on: Traduciendo al lenguaje simb olico, tenemos (b c) a. 34. Si se consideran las siguientes proposiciones simples: m: Viajo al exterior. n: Apruebo el curso de Fundamentos. p: Obtengo una beca. Hallar una traducci on al lenguaje formal de la proposici on compuesta Viajo al exterior s olo si apruebo el curso de Fundamentos y obtengo una beca. Soluci on: Traduciendo al lenguaje formal, tenemos m (n p).

38

35. Dadas las proposiciones simples: p: Necesito un doctor. q : Necesito un abogado. r: Tengo un accidente. s: Estoy enfermo.

Una traducci on al lenguaje formal de la proposici on compuesta Si estoy enfermo, necesito un doctor; y si tengo un accidente, necesito un abogado, es: (s p) (r q ) (s p) (r q ) (s p) (r q ) (s p) (r q ) (s p) (r q )

Soluci on: Traduciendo al lenguaje formal, tenemos (s p) (r q ). 36. Dadas las proposiciones simples: p: Hoy es domingo. q : Tengo que estudiar Fundamentos. r: Aprobar e el curso. Una traducci on al lenguaje formal de la proposici on compuesta Hoy es domingo pero tengo que estudiar Fundamentos, o no aprobar e el curso, es: (p q ) r pqr (p q ) r (p q ) r (p q ) r

Soluci on: Traduciendo al lenguaje formal, tenemos (p q ) r. 37. Si p q es verdadero, determinar el valor de verdad de las siguientes: p (q r) p q (p q ) (p q ) (p q ) (p q ) (p q ) (q p)

Soluci on: Como p q V , se sigue que p F y q V . Entonces p (q r) F (F r) F F V . p q V F F . (p q ) (p q ) (F V ) (V V ) V . (p q ) (p q ) (F V ) (F V ) F . (p q ) (q p) (F F ) (V V ) F .

39

38. El razonamiento: Si te gustan las Matem aticas, entonces eres h abil para la Geometr a. Luego, no te gustan las Matem aticas, es v alido. Verdadero Falso

Soluci on: Sean p: Te gustan las matem aticas y q : Eres h abil para la Geometr a. La traducci on al lenguaje formal de la proposici on Si te gustan las Matem aticas, entonces eres h abil para la Geometr a. Luego, no te gustan las Matem aticas es (p q ) p. Analizaremos si el razonamiento es v alido a trav es de la siguiente tabla de verdad: p V V F F q V F V F p q V F V V p F F V V (p q ) p F V V V

Luego el razonamiento no es v alido. 39. El razonamiento Si trabajo arduamente gano un buen sueldo, pero no gano un buen sueldo. Por lo tanto, no trabajo arduamente, es v alido. Verdadero Falso

Soluci on: Sean p: Trabajo arduamente y q : gano buen sueldo. La traducci on al lenguaje formal de la proposici on Si trabajo arduamente gano un buen sueldo, pero no gano un buen sueldo. Por lo tanto, no trabajo arduamente es [(p q ) q ] p. El cu al es un Teorema L ogico (Tollendo Tolens). Luego, este razonamiento es v alido. 40. Dado el razonamiento H1 H2 C , donde: H1 : Si lo intento con ah nco y tengo talento, entonces me convierto en m usico. H2 : Si me convierto en m usico, ser e feliz. Una conclusi on C que hace v alido este razonamiento es: (a) Voy a ser feliz. (b) Si me convierto en m usico, entonces lo intento con ah nco. (c) No me convierto en m usico. (d) No tengo talento. (e) Si no voy a ser feliz, entonces no lo intento con ah nco o no tengo talento. Soluci on: Sean las proposiciones A: Lo intento con ah nco, B : Tengo talento, C : Me convierto en m usico y R: Ser e feliz. Las hip otesis H1 y H2 traducidas al lenguaje simb olico quedan como H1 : (A B ) C , H2 : Q R. Analizando el razonamiento tenemos que: (1) (A B ) Q (2) Q R 40

(3) (A B ) R (4) R A B La traducci on al lenguaje normal es Si no voy a ser feliz, entonces no lo intento con ah nco o no tengo talento. Por lo tanto, nos quedamos con la alternativa E. 41. Dadas las siguientes proposiciones: H1 : Si el reloj est a adelantado, entonces Juan lleg o antes de las diez y vio partir el coche de Andr es. H2 : Si Andr es no dice la verdad, entonces Juan no vio partir el coche de Andr es. H3 : Andr es dice la verdad o estaba en el edicio en el momento del crimen. H4 : El reloj estaba adelantado. Se puede inferir que: (a) Juan no lleg o antes de las diez. (b) Andr es estaba en el edicio en el momento del crimen. (c) Juan no vio partir el coche de Andr es o este estaba en el edicio en el momento del crimen. (d) Andr es dice la verdad. (e) Marque esta opci on si ninguna de las anteriores es una conclusi on v alida. Soluci on: Sean las proposiciones A: El reloj est a adelantado, B : Ju an lleg o antes de las diez, C : Vi o partir el coche de Andr es, D: Andr es dice la verdad y E : Andr es estaba en el edicio en el momento del crimen. Tenemos que: (1) (2) (3) (4) (5) (6) (7) (8) (9) A (B C ) D C DE A BC B C D E

Luego, Andr es estaba en el edicio en el momento del crimen. 42. Demostrar que el siguiente razonamiento es v alido: Esta ley ser a aprobada en esta sesi on del Congreso si y solo s es apoyada por la mayor a legislativa. Es apoyada por la mayor a legislativa o el Presidente de la Rep ublica se opone a ella. Si el primer mandatario se opone a ella, entonces esta ley ser a pospuesta en las deliberaciones del Congreso Nacional. Por lo tanto, esta ley ser a aprobada en esta sesi on o ser a pospuesta en las deliberaciones del Congreso Nacional.

41

Soluci on: Sean las proposiciones A: Esta ley ser a aprobada en este sesi on del congreso, B : Es apoyada por la mayor a legislativa C : El presidente se opone a ella y D: Ser a pospuesta en las deliberaciones del congreso nacional. Tenemos que: (1) (2) (3) (4) (5) A B BC (A B ) (B A) B A AD

Luego, el razonamiento es v alido. 43. Un razonamiento que no es v alido se denomina Falacia. Vericar que el siguiente razonamiento es una falacia: Si el mayordomo es el asesino, se pondr a nervioso cuando lo interroguen. El mayordomo se puso nervioso cuando lo interrogaron. Por lo tanto, el mayordomo es el asesino. Soluci on: Sean las proposiciones A: El mayordomo es el asesino y B : Se pone nervioso cuando lo interroguen. La traducci on al lenguaje formal del razonamiento es: (1) A B (2) B A Vericamos si el razonamiento anterior es una falacia a trav es de una tabla de verdad: A V V F F B V F V F A B V F V V (A B ) B V F V F

Luego el razonamiento no es v alido. Falacia. 44. Vericar que el siguiente razonamiento es v alido (Tautolog a): Si el Chavo se casa, entonces Florinda se tira al tren. Florinda se tira al tren siempre y cuando el Chavo no se haga cura. Por lo tanto, si el Chavo se casa, entonces no se hace cura.

42

Soluci on: Sean las proposiciones p: El chavo se casa, q : Florinda se tira al tren y r: El chavo no se hace cura. Para vericar que el razonamiento es v alido trabajaremos con el enunciado siguiente: (1) (2) (3) (4) p q r q q r p r

(2) Bicondicional (1, 3) Transitividad

Por lo tanto, el razonamiento es v alido. 45. Para cada una de los siguiente conjuntos de premisas (cada l nea), decir cuales son las conclusiones: (a) Estoy gordo o delgado. Ciertamente no estoy delgado. (b) Si corro, me quedar e sin aliento. No estoy sin aliento. (c) Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no est an sucias. (d) El cielo celeste me pone contento y el cielo gris me pone triste. El cielo est a celeste o gris. (e) Todas las funciones trigonom etricas son peri odicas y todas las funciones peri odicas son continuas. Soluci on: Las conclusiones son las siguientes: (a) Estoy gordo. (b) No corro. (c) El mayordomo no lo hizo. (d) Estoy contento o estoy triste. (e) Todas las funciones trigonom etricas son continuas. 46. Determinar cu ales de los razonamientos siguientes son v alidos. Construir demostraciones para los razonamientos que lo sean y para los que no lo sean, explicar por qu e la conclusi on no se sigue de la hip otesis. (a) (1)p q (2)p r rq (b) (1)p q (2)p r rq (c) (1)p q (2)p r rq

43

Soluci on: (a) {(p r) (p q )} (r q ) {(p r) p q } (r q ) {{(p p) (p r)} q } (q r) {{F (p r)} q } (q r) { p q r } (q r ) p q r (q r) p q {(r q ) (r r)} p q r q p r (q q ) (p r) V V Luego el razonamiento es v alido. p V V V V F F F F q V V F F V V F F r V F V F V F V F p q V V V V V V F F pr V F V F V V V V q r V V V F V V V F (p q ) (p r) V F V F V V F F {(p q ) (p r)} (q r) V V V V V V V V

(b)

Luego el razonamiento es v alido. p V V V V F F F F q V V F F V V F F r V F V F V F V F pq V V F F V V V V pr V F V F V V V V (p q ) (p r) V F F F V V V V rq V V F V V V F V {(p q ) (p r)} (r q ) V V V V V V F V

(c)

Luego el razonamiento no es v alido.

44

47. Para cada una de las siguientes proposiciones analice el valor de verdad de las mismas y escriba, en forma simb olica, su negaci on. Asuma que las variables toman valores en el conjunto de los n umeros reales. (a) (x)(3x 2 = 4x + 1) (b) (x)(x + x = 0) (c) (x)(3x 2 = 4x + 1) (d) (x)(x2 + x + 1 = 0) (e) (x)((x 1)(x + 1) = x2 1) (f) (x)(x2 + 1 0) (g) (x)(x2 + 3x + 2 = 0) (h) (x)(x = x) (i) (x)(x3 + 6x2 + 11x + 6 = (x + 3)(x + 1)) (j) (x)(y, x2 + y 2 = (x + y )2 ) (k) (x)(y, x + y y |x) (l) (x)(y, x + y = 0) (m) (x R)(x2 + x = 2) 9 5 (n) (x R) <x< 8 4 8 3 (o) (x) x o x 2 5

Soluci on: Analizando los valores de verdad y escribiendo la negaci on de las proposiciones tenemos que: (a) (b) (c) (d) (e) (f) (g) (h) (i) Verdadero. (x)(3x 2 = 4x + 1) Falso. (x)(x + x = 0) Falso. (x)(3x 2 = 4x + 1) Falso. (x)(x2 + x + 1 = 0) Verdadero. (x)((x 1)(x + 1) = x2 1) Verdadero. (x)(x2 + 1 < 0) Falso. (x)(x2 + 3x + 2 = 0) Verdadero. (x)(x = x) Verdadero. (x)(x3 + 6x2 + 11x + 6 = (x + 3)(x + 1)) (j) Verdadero. (x)(y, x2 + y 2 = (x + y )2 ) (k) Falso. (x)(y, x + y y |x) (l) Falso. (x)(y, x + y = 0) (m) Verdadero. (x R)(x2 + x = 2) (n) Verdadero. (x R) (o) Falso. (x) x > 5 9 <x< 8 4

3 8 x< 2 5

48. Sea A = {1, 2, 3, 4, 5}. Hallar el valor de verdad de cada enunciado, y luego, escribir simb olicamente la negaci on de cada uno de ellos: (a) (x A)(x + 3 = 10) (b) (x A)(x + 3 < 10) (c) (x A)(x + 3 < 5) (d) (x A)(x + 3 7) (e) (!x A)(x2 3x + 2 = 0)

Soluci on: Analizando los valores de verdad y escribiendo la negaci on de las proposiciones tenemos que: (a) Falso. (x A)(x + 3 = 10) (b) Verdadero. (x A)(x + 3 10) (c) Verdadero. (x A)(x + 3 5) (d) Falso. (x A)(x + 3 > 7) (e) Falso. {(x A)(x2 3x + 2 = 0)} {x, y ; x2 3x + 2 = 0 y 2 3y + 2 = 0 x = y }

45

49. Negar las siguientes armaciones: (a) (x)(y )(x + y = 5) y = x (b) (x)(y )[x + y es impar (x es impar y es impar )] (c) (x)(y )(x < y x2 y ) (d) (x)(y )(x < y x + z = y ) Soluci on: Negando las proposiciones tenemos que: (a) (x)(y )(x + y = 5 y = x) (b) (x)(y )(x + y es impar x es impar y es impar ) (c) (x)(y )(x y x2 < y ) (d) (x)(y )(x < y x + z = y ) 50. Sea R el conjunto referencial. Averiguar el valor de verdad de: (a) (x)(x < 0 x < 3) (b) (x)(x2 0 x4 = x3 ) (c) (x)(y )(x2 + y 2 = 1) (d) (x)(y )(y < x 2y < 10) Soluci on: Analizando los valores de verdad tenemos que: (a) Verdadero. (b) Verdadero. (c) Falso. (d) Falso.

46