Ciencias polticas y administracin pblica Matemtica I Profesora de Ctedra: Mnica Soto M. Profesor ayudanta: Claudio Bez I.

Gua N 2 Lgica proposicional 1. Formalizar a lenguaje proposicional los siguientes enunciados: a) Si tuvieran que justificarse ciertos hechos por su enorme tradicin entonces, si estos hechos son inofensivos y respetan a todo ser viviente y al medio ambiente, no habra ningn problema. Pero si los hechos son brbaros o no respetuosos con los seres vivientes o el medio ambiente, entonces habra que dejar de justificarlos o no podramos considerarnos dignos de nuestro tiempo. b) Todo nmero entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, entonces es divisible por ellos. Pero si un nmero entero es primo, no es compuesto, aunque es divisible por s mismo y por la unidad, y consiguientemente, tambin divisible por nmeros primos. Por tanto, todo nmero entero es divisible por nmeros primos. c) Si un tringulo tiene tres ngulos, un cuadrado tiene cuatro ngulos rectos. Un tringulo tiene tres ngulos y su suma vale dos ngulos rectos. Si los rombos tienen cuatro ngulos rectos, los cuadrados no tienen cuatro ngulos rectos. Por tanto los rombos no tienen cuatro ngulos rectos. 2. Construir tablas de verdad e indicar si se trata de tautologa, contradiccin o contingencia. a) b) c) d) e) f) ( ( ( ( ) ) ) ) ( ( ( ) ) )

3. Analizar a) Si el valor de verdad de b) Si el valor de verdad de es F. Cul es el valor de verdad de ( es F. Cul es el valor de verdad de ) ? ( )?

4. Sean p y q proposiciones, tales que es una proposicin verdadera. Determine el valor de verdad de la siguiente proposicin: ( ) ( ).

Universidad Central de Chile 2012