s Bello Universidad Andre Facultad de Ingenier a n Civil y Construccio ticas Departamento de Matema

Algebra (FMM013) Gu a 1 L ogica Proposicional

1. Sean p y q proposiciones. Asuma que lo siguiente es verdadero: p es verdadera s y s olo s q es verdadera. Cu ales de las siguientes son entonces verdaderas? a ) Si p es verdadera entonces q es verdadera. b ) Si q es verdadera entonces p es verdadera. c ) Si p es falsa entonces q es falsa. d ) Si q es falsa entonces p es falsa. 2. Determine el valor de verdad de las siguientes proposiciones (cuando sea posible): a ) Si 1 = 1 entonces 2 = 2. b ) Si 1 = 1 entonces 2 = 3. c ) Si 1 = 0 entonces 1 = 1. d ) Si 1 = 0 entonces 2 = 2. e ) Si 1 = 1 y 1 = 2 entonces 1 = 2. f ) Si 1 = 3 o 1 = 2 entonces 1 = 1 g ) 1 = 0 es una condici on suciente para que 1 = 2. h ) 1 = 0 es una condici on necesaria para que 1 = 2. i ) 1 = 1 es una condici on necesaria para que 1 = 2. j ) 1 = 2 es una condici on necesaria para que 1 = 2. k ) 1 = 2 es una condici on necesaria para que 1 = 3. l ) 1 = 2 es una condici on suciente para que 1 = 3. m ) Si todo lo que digo es falso entonces todo lo que digo es verdadero. n ) Si todo lo que digo es falso entonces 1 = 2. on suciente para que 1 = n ) Una condici 2 es que 1 = 3.

3. Construya la tabla de verdad para cada una de las siguientes proposiciones indicando cuales son tautolog as o contradicciones.

a ) (p q ) (q p) b ) p (q p) c ) p (p q ) p d ) (p q ) p e ) (p p) p f ) (p p) p g ) p (p p) h ) (p p) q i ) ((p p) q ) j ) p (p q ) k ) (p q ) p l ) (p p) (q q )

m ) (p p) (q q ) n ) (p q ) (p q ) n ) p q r o ) (p q ) r p ) p (q p) q ) p (p q ) r ) (p q ) (p q ) s ) (p q ) ( p q ) t ) (p q ) ( p q ) u ) (p q ) ( q p) v ) p (q p) p w ) (p q ) ((p r) (p r))

4. Si q es verdadera Por qu e p q es tambi en verdadera independiente de cual es p?. 5. Si p es falsa Por qu e p q es verdadera independiente de cual es q ?. 6. Si p es verdadera y q es falsa. Qu e se puede decir de p q ?. 7. Si p y q son falsas.Qu e se puede decir de p q ?. 8. Sean p,q y r proposiciones. Demostrar, sin usar tablas de verdad, que las siguientes proposiciones son tautolog as: a ) p (p q ) b ) (p q ) (p q ) ( p q ) c ) [(p q ) (q r)] (p r) d ) [(p q ) p] (p q ) e ) (p q ) ( p q ) f ) [(p r) ( q r)] (p q ) g ) [(p q ) ( r q ) r] p h ) [p (p q )] q i ) [(p q ) p] (p q ) j ) [(p r) ( q r)] (p q ) k ) [(p q ) ( r q ) r] p l ) (p q ) [(p q ) (p q )] m ) (p q r) (p r q ) n ) (p q ) [(p q ) (p q )]

9. Dadas p y q proposiciones. Denimos el operador l ogico pq como la proposici on que es verdadera solo cuando q es verdadera y p es falsa. a ) Escriba la tabla de verdad para pq . b ) Es asociativo?, Es conmutativo?. c ) Describa utilizando los conectivos , y . Muestre que: d ) ( p)( q ) q p. e ) pp F f ) ( p)p V g ) (p q )r (pr) (q r) h ) (p q )r (pr) (q r) 10. Exprese en palabras la rec proca y contrarec proca de cada una de las siguientes armaciones: a ) Si pienso luego existo. b ) Si no pienso entonces no existo. c ) Si no pienso entonces soy Buda. d ) Si soy Buda entonces pienso. ajaros tienen el mismo tipo de plumas s olo si vuelan juntos. e ) Estos p f ) Estos p ajaros vuelan juntos s olo si tienen el mismo tipo de plumas g ) Para leer el Tarot es necesario consultar el or aculo. 11. Traduzca las siguientes armaciones en lenguaje proposicional deniendo p =Yo soy Julio Cesar y q =T u eres Brutus. a ) Si yo soy Julio Cesar entonces tu no eres Brutus. b ) No es cierto que si yo soy Julio Cesar entonces tu eres Brutus. c ) Yo soy Julio Cesar s olo si tu no eres Brutus. d ) Tu eres Brutus s olo si yo soy Julio Cesar. e ) Yo soy Julio Cesar s y s olo s tu no eres Brutus. f ) Tu no eres Brutus s y s olo s yo no soy Julio Cesar. g ) O bien tu eres Brutus o yo soy Julio Cesar. h ) O bien yo no soy Julio Cesar o tu eres Brutus.

i ) Para que tu seas Brutus es necesario y suciente que yo no sea Julio Cesar. 12. Traduzca las siguientes armaciones en lenguaje proposicional deniendo p =La l ogica es f acil, q =En el examen hay una pregunta de l ogica y r =aprob e el examen. a ) Si la l ogica es f acil entonces paso el examen. b ) Si paso el examen entonces l ogica es f acil. c ) Si no paso el examen entonces l ogica no es f acil. d ) Si no hay pregunta de l ogica entonces paso el examen. e ) La l ogica es dif cil y paso el examen si no hay pregunta de l ogica. f ) O bien l ogica es f acil y paso el examen o l ogica es dif cil y no paso el examen. g ) Si l ogica es f acil entonces si hay una pregunta de l ogica paso el examen. h ) Si l ogica es dif cil entonces paso el examen si no hay pregunta de l ogica. i ) Si no paso el examen entonces hay una pregunta de l ogica y la l ogica es dif cil. 13. Convierta cada una de las armaciones siguientes en forma de l ogica proposicional y determine si son verdaderas o falsas (si es posible) explicando porque. a ) Si yo fuese una vaca entonces comer a pasto. Como no soy una vaca entonces no como pasto. b ) Si estamos capacitados para volar tendr amos alas. Como es cierto que podemos volar y dado que no volar amos a menos que tuvi eramos alas entonces claramente tenemos alas. c ) Si las f abricas en el Oeste polucionan el aire entonces la lluvia acida producir a da no en el Este. Dado que la lluvia acida esta produciendo da no en el Este entonces las f abricas en el Oeste est an polucionando el aire. d ) Si las f abricas en el Oeste polucionan el aire entonces la lluvia acida producir a da no en el Este. Dado que las f abricas en el Oeste no est an polucionando el aire entonces la lluvia acida no est a produciendo da no en el Este. e ) Si cuando las tasas de inter es bajan la inaci on y el mercado accionario suben. Entonces si la inaci on sube tambi en subir a el mercado accionario. f ) Si cuando las tasas de inter es bajan la inaci on sube y cuando la inaci on sube el mercado de bonos sube. Entonces si las tasas de inter es bajan el mercado de bonos subir a. andose en los teoremas de algebra proposicional, demostrar la v alidez del siguiente 14. Bas argumento:Para aprobar el curso de Algebra es necesario estudiar mucho. Adem as yo dedico mucho tiempo a otras actividades. Esto implica no estudiar mucho. Deduzco en consecuencia que reprobar e Algebra.

15. Sean p, q y r proposiciones. Asuma que lo siguiente es verdadero. Si p es verdadera y q no lo es entonces r es verdadera. Cuales de las siguientes son entonces verdaderas?. a ) Si p es verdadera entonces r es verdadera. b ) Si p no es verdadera y q es verdadera entonces r es verdadera. c ) Si p no es verdadera o bien q no es verdadera (o ambas no son verdaderas) entonces r no es verdadera. d ) Si r no es verdadera entonces p no es verdadera y q es verdadera. e ) Si r no es verdadera entonces o bien p es falso o q es verdadera (o ambas). 16. Sean p,q y r proposiciones tales que (( p q ) r) es falsa. Entregar el valor de verdad de las siguientes proposiciones (justique su respuesta): a ) q p b ) r (p (q r)) 17. Si la proposici on p q es falsa. Cu al es el valor de verdad de la proposici on p (q r) (p r) q ?