Gu 1, Algebra a

Facultad de Ingenier U. de Los Andes. a, Profs: Alexis Fuentes, Jorge Lemus, Leonardo Snchez. a Semestre 2009-1 P1.- Sean p, q, r, s proposiciones arbitrarias. Pruebe, sin usar tablas de verdad, que la proposicin: o [ (p q) ( s r) ] = [ p r (q s) ] es una tautolog a. P2.- Sean p, q, r, s proposiciones arbitrarias. Suponga que la proposicin: o [ s ( r r) ] = [ (p q) s r ] es verdadera. Determine los valores de verdad de p, q, r, s. P3.- Sean p, q, r proposiciones arbitrarias. o (a) Suponiendo que la proposicin p q es falsa, determine el valor de verdad de la proposicin: o [ p (q r) ] [ (p r) q ]. (b) Pruebe, sin usar tablas de verdad, que la proposicin: o [ (p q) p r ] = [ (q p) (p r) ] es una tautolog a. (c) Pruebe, sin usar tablas de verdad, que la proposicin: o [ (p q) (r q) ] = [ p r ]. es una tautolog a. P4.- Sean p, q y r proposiciones. Demostrar con y sin tablas de verdad que las siguientes proposiciones son tautolog as: (a) [ (p q) (q r) ] = (p r). (b) [ (p q) p ] = (p q). (c) (p q) ( p q). (d) [ p (p q) ] = q. (e) [ (p q) p ] = (p q). (f) [ (p q) ( r q) r ] = p. (g) (p q) [ (p q) (p q) ].

P5.- Considere las proposiciones p1 , p2 , p3 , p4 , p5 , p6 de modo tal que la proposicin o [(p1 p2 ) (p3 p4 )] es falsa. Determinar el valor de verdad de: (a) (p5 p6 ) (p1 p2 ). (b) [ (p5 p2 ) p1 ] (p4 p3 ). (c) [(p6 p5 ) (p1 p2 )] (p4 p3 ). Obs: es el conectivo o exclusivo denido en clases.

P6.- Sean p, q proposiciones arbitrarias. Se dene un nuevo conectivo lgico, denoo tado por , de la siguiente manera: (p q) r proposicin tal que (p r) (r q). o q) (p q) es una tautolog a.

Pruebe que la proposicin (p o

P7.- Determine los valores de verdad de las proposiciones p, q, r, s, t sabiendo que la proposicin: o [ (p q) (r s) t ] = [ s (q s) ] es falsa. P8.- Sean p, q, r proposiciones arbitrarias. Demostrar, con y sin tablas de verdad, que la siguiente proposicin es una tautolog o a: ( r p) = [ (p q) r ]. P9.- Considere p, q, r, s proposiciones arbitrarias, probar sin usar tablas de verdad, que la siguiente proposicin es una tautolog o a: [ p [ ( ( r q) p) ( ( s q) (p q) ) ] ] s. P10.- Sean p, q, r tres proposciones tales r es falsa, (p q) es verdadera y (q r) es verdadera. Deduzca el valor de verdad de p. P11.- Considere p, q y r proposiciones tales que la proposicin [ ( p q) r ] es o falsa. Entregar el valor de verdad de las siguientes proposiciones justicando debidamente su respuesta: (a) q p. (b) [ r = (p (q r) ) ]. P12.- Sean p, q, r, s proposiciones arbitrarias. Demostrar sin usar tablas de verdad que la siguiente proposicin es una tautolog o a: [ (p q) (r s) ] = [ (p r) (q s) ].

P13.- (a) Si q y r son proposiciones no equivalentes. Determine el valor de verdad de la siguiente proposicin: o [ (q r) (q r) ] = [ (p s) ( s q) ]. o (b) Suponga que la proposicin (p q) es falsa. Determine el valor de verdad de la proposicin: o [ p (q r) ] [ (p r) q ]. P14.- (a) Considere p, q, r proposiciones arbitrarias. Analizar si la siguiente equivalencia [ p (q r) ] [ (p r) q ] puede ser verdadera sin que lo sea la implicancia (p q). (b) Sean p, q, r proposiciones cualesquiera. Probar sin usar tablas de verdad que la siguiente proposicin es una tautolog o a: [(p q) (p r)] = [ (q p) (p r) ]. (c) Dadas p, q, r proposiciones, se pide probar sin el uso de tablas de verdad que la siguiente proposicin es una tautolog o a: [ (p q) (r q) ] = (p r) P15.- Sean p, q, r proposiciones arbitrarias. (a) Construir la proposicin compuesta s, en funcin de p, q y r, cuya tabla o o de verdad es: p q r s V V V V F F F F V V F F V V F F V F V F V F V F V V F V F F F V

(b) Demostrar que [s (r p)] es una tautolog a. P16.- Los luctuosos hechos acaecidos en la mansin UA han conducido a la brigada o de homicidios a detener a 3 sicarios sospechosos del deleznable crimen. Para no enlodar a las inocentes familias de los susodichos, en lo que sigue nos referiremos a ellos annimamente como S1, S2 y S3. o Durante el interrogatorio las declaraciones de los sospechosos fueron las siguientes: S1: S2 es culpable y S3 es inocente . S2: Si S1 es culpable, entonces S3 es tambin culpable. e S3: Yo soy inocente pero alguno de los otros dos es culpable. Suponiendo que los inocentes dijeron la verdad y los culpables mintieron, determine quienes son los culpables. Justique matemticamente su respuesta. a 3

P17.- Considere el conectivo (a) [ p (q

o exclusivo, probar las siguientes propiedades: (p r) ], o sea distribuye con respecto a .

r) ] [ (p q)

(b) (p q) (p q), es decir dos proposiciones equivalentes no pueden ser excluyentes. P18.- Negar las siguientes proposiciones: (a) ( x I R)( y I x < y. R) (b) ( x I R)( y I x y. R) (c) ( x I R)( y I x > 1 y 1. R) R N (d) ( I + )( n0 I )( n > n0 ) |an | < . P19.- Negar la proposicin siguiente: o
| | ( x Q)( > 0)( y Qc ) /3 < |x y| < /2.

P20.- Indique el valor de verdad de las proposiciones cuanticadas siguientes: (a) ( n I )( x I N R)( m I ) n(x2 mx) 0. N (b) ( x A)( > 0) x2 > , donde A = {x I : 0 < x < 10}. R P21.- Sean q una proposicin y p(x) una funcin proposicional arbitrarias. Denimos o o las siguientes proposiciones: r : (x) (p(x) q). s : ( (x)p(x) ) q. Note la distribucin de los parntesis en cada denicin. Se pide: o e o (a) Negar la proposicin r. o o (b) Negar la proposicin s. (c) Determine el valor de verdad de: (c.1) r s. (c.2) s r. P22.- Muestre que la siguiente proposicin es verdadera: o [ (x) p(x) (x) q(x) ] = [ (x)( p(x) q(x) ) ] para p(x) y q(x) proposiciones abiertas cualesquiera. Adems, d un caso donde: a e [ (x) ( p(x) q(x) ) ] = [ (x) p(x) (x) q(x) ] es falsa.

P23.- Sean p(x) y q(x) dos funciones proposicionales arbitrarias. Suponiendo que la proposicin: o ( ( !x) p(x) ) ( ( !x) q(x) ) es verdadera, demuestre que la proposicin: o (x)(p(x) q(x)) (!x)(p(x) q(x)) tambin es verdadera. e P24.- Sea S un conjunto de nmeros reales. Se dice que x es un punto aislado de u S si existe un nmero real positivo estricto d tal que para todo punto y de S u la distancia entre x e y es mayor o igual a d. (a) Escribir la denicin de punto aislado usando cuanticadores. o (b) Demostrar que si x es un punto de S entonces x no es un punto aislado de S.
1 1 (c) Sea S = {1, 2 , 3 , 1 , . . . }. Demostrar que el origen no es un punto aislado 4 de S. 1 P25.- Considere el conjunto A = {1, 2 , 0, 1 , 1}. Diga si las siguientes proposi2 ciones son verdaderas o falsas, justicando en cada caso:

(1) ( x, y A) x + y 1. (2) ( x A)( y A) x2 y. Escriba la negacin de la proposiciones anteriores. Por ultimo analice el caso o (2), si se cambia el orden de los cuanticadores. P26.- Se dene el conectivo lgico que denotaremos por | para p y q proposiciones o cualesquiera por: p | q ( p q). Escribir usando slo el conectivo |, propoposiciones equivalentes a las siguo ientes: (a) p. (b) p q. (c) p q (d) p q P27.- Sean p, q, r y s proposiciones. En cada uno de los siguientes casos, determinar el valor de verdad de la proposicin r en trminos de la informacin entregada: o e o (a) q r es falsa. (b) ( r q) es verdadera y [ (p q) s] es falsa. (c) [ (r p) = (p q) ] es verdadera y q es verdadera. (d) p (q r) es falsa.

P28.- Sean p(x) y q(x) funciones proposicionales. Determinar la negacin de las o siguientes proposicones cuanticadas: (a) ( x)( y) [ p(x) q(y) ]. (b) ( x) [ q(x) ( y) p(y) ]. (c) ( x)( y) [ p(x) q(y) ]. (d) ( ! x)p(x). o P29.- Sean p, q, r, s proposiciones. Suponga que la siguiente proposicin compuesta es verdadera: (q es verdadera) [ (p q) no es equivalente con (r s) ]. Demostrar que el valor de verdad de la proposicin: o [(p r) (q s)] = [p (r s)] es verdadero independiente de las combinaciones posibles de los valores de verdad de las proposiciones involucradas. P30.- Negar siguientes proposiciones cuanticadas: (a) ( a I ) ( b I ) ( p Z ( y Z (ax + by = 1). N N Z) Z) (b) ( > 0) (m I [ ( x < , m > x) ( x > , m x) ]. R) (c) ( y I + ) ( ! x I + ) (x2 = y). R R Obs: I + = {x I : x > 0}. R R