LGICA PROPOSICIONAL Gua de Ejercitacin

Ejercicio 1: Dadas las proposiciones: p: Juan aprob el examen

q: Mara aprob el examen

Escribir en forma simblica los enunciados: a) b) c) d) e) Juan aprob y Mara desaprob el examen. Juan y Mara desaprobaron el examen. Juan desaprob y Mara aprob o viceversa. No es cierto que Juan y Mara desaprobaron el examen. Juan o Mara no aprobaron el examen.

Ejercicio 2: Escribir en forma simblica las siguientes proposiciones: a) b) c) d) El empleado sabe computacin y habla ingls. El empleado no sabe computacin pero habla ingls. El empleado sabe computacin y no habla ingls. No es cierto que el empleado sabe computacin y habla ingls.

Ejercicio 3: Si p: El alcohol es perjudicial para la salud q: El tabaco es perjudicial para la salud Traducir al lenguaje corriente las proposiciones: p q, ~p q, p q, ~( p q ), p (~q)

Ejercicio 4: Si p, q y r son proposiciones, hallar el valor de verdad pedido usando la informacin dada. a) v(p q = F, v(~p) = F v(q) = v(~p q ) = b) v(p q) = V, v(p) = F v(q) = v(p q) = c) v( (p r) q) = V, v(~q) = V v(p) = v(r) = d) v((~p) (~r)) = V, v(p q) = V v(p) = v(q) = v(~q (~p) ) = v(~p q ) = v((~p r) (~q) ) = v(r) = 1

Ejercicio 5: Escribir en forma simblica los siguientes enunciados: a) b) c) d) e) Si aprende a manejar y estacionar entonces obtiene el registro de conducir. Si obtiene el registro entonces le compran el auto. Aunque no sabe manejar ni estacionar le compran el auto. No es cierto que si sabe manejar entonces obtiene el registro. Si no obtuvo el registro entonces o bien no sabe manejar o no sabe estacionar.

Ejercicio 6: Si a: Luis aprueba e: Luis estudia i : Luis ingresa a la universidad Traducir al lenguaje corriente las proposiciones ~e (~a) ; ~ ( e a ) ; a i ; [ e (~a) ] (~i)

Ejercicio 7: Sean p, q y r proposiciones tales que v(p) = V, v(q) = F, v(r) = V. Indicar el valor de verdad de las siguientes proposiciones. (p q) r ; (r p) q ; ~p (q r) ; [(~q) p] (q r)]

Ejercicio 8: Sean p, q y r proposiciones. Completar los valores de verdad pedidos: a) v(p q) = F v(p) = v(q) = v(p q) = b) v(p q) = V , v(~q) = V v(p) = v(q p) = v(~p q) = c) v[(p r) q] = V , v(p r) = V v(p) = v(q) = v(r) = d) v[(p r) q] = V , v(q p) = F v(p) = v(q) = v(r) =

Ejercicio 9: Mediante el uso de tablas de verdad, averiguar si las siguientes proposiciones son tautologas, contingencias o contradicciones. a) b) c) d) e) p (p q) (p q) p [p (~q)] ~[~p q] [(p q) p] q (~p q) (~q p) 2 f) g) h) i) (p q) (q ~p) [(p q) (q r)] (p r) [p (q r)] (~q) [(p q) r] [p (~r)]

Ejercicio 10: Formalizar los siguientes razonamientos a) Si Juan gan la carrera, lo entrevistaron por TV. No lo entrevistaron por TV. Por lo tanto, Juan no gan la carrera. b) Mara no estudia ni trabaja. Si no trabaja no tiene dinero y sin dinero no podr ir al baile. Por lo tanto no ir al baile. c) Se promociona la materia si y slo s se aprueba los dos exmenes. Si aprueba los dos exmenes entonces estudi mucho. Por lo tanto, si no ha estudiado mucho no promociona la materia. d) Si fue a Mar del Plata visit el Puerto. Si visit el Puerto vio la flota pesquera. Por lo tanto si fue a Mar del Plata vio la flota pesquera. e) Si Alexis estudia en Image Campus, entonces vive en Buenos Aires. Alexis no estudia en Image Campus. Por lo tanto, no vive en Buenos Aires. f) Si Pedro estudia y trabaja progresar. No estudia y progresa. Por lo tanto trabaja. g) Si la cosecha fue abundante significa que llovi mucho y no hizo fro. Aunque llovi mucho la cosecha no fue abundante. Por lo tanto hizo fro.

Ejercicio 11: Determinar cules de los razonamiento del ejercicio anterior corresponden a razonamiento vlidos. Usar condicional asociado y tablas de verdad.

Ejercicio 12: Justificar utilizando el mtodo directo, que los siguientes razonamientos son vlidos:

a)

pq p ______ q

b)

pq ~q _____ ~p

pq ~p c) _____ q

( p q) r p d) ___________ r

Ejercicio 13: Justificar la validez de los razonamientos del ejercicio 10, incisos a), b), c) y d), utilizando el mtodo directo o por el absurdo.

Ejercicio 14: Dado el siguiente razonamiento:

pq pr qs r s

a) Justificar su validez utilizando el mtodo del absurdo. b) Justificar su validez utilizando el mtodo directo

Ejercicio 15: Justificar la validez de los razonamientos:

a) Si el reloj est adelantado entonces Juan lleg temprano y vio a Ana. Si Ana est ausente entonces Juan no la vio. O Ana est ausente o Juan perdi el colectivo. El reloj est adelantado. Por lo tanto Juan perdi el colectivo. b) La ley ser aprobada en esta sesin si y slo si es apoyada por la mayora. O es apoyada por la mayora o el gobernador se opone a ella. Si el gobernador se opone a ella entonces se discutir otro da. Por lo tanto o esta ley ser aprobada en esta sesin o se discutir otro da.

Ejercicio 16: Dado el universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9 } y p(x): x es un nmero par q(x): x + 3 = 8 r(x): x + 2 7 a) Traducir al lenguaje corriente las proposiciones: b) p(3), p(4), q(2), q(5), r(1), r(5) e indicar su valor de verdad. c) Hallar el valor de verdad de las siguientes proposiciones y traducirlas al lenguaje corriente: d) p(5) q(5) , p(2) q(2) , ~r(1) , p(3) r(2) , q(1) ~p(3) , q(5) p(1) e) Indicar el conjunto de verdad de p(x), q(x) y r(x).

Ejercicio 17: Si U es el conjunto de los das de la semana y p(x): x es un da de la semana que comienza con consonante q(x): x es un da de la semana ue termina con vocal r(x): x es un da de la semana cuya letra inicial es m a) Hallar el conjunto de verdad de p(x), q(x) y r(x) b) Verificar que: 1) 2) 3) 4) 5) El conjunto de verdad de p(x) q(x) es {sbado, domingo} Idem de p(x) q(x) es U Idem de ~p(x) es Idem de r(x) p(x) es U Idem de ~q(x) r(x) es {martes, mircoles, sbado, domingo}

Ejercicio 18: Si p(x): x estudia Diseo de Video Juegos q(x): x sabe programar y U es el conjunto de alumnos de Image Campus, expresar en smbolos las siguientes proposiciones: a) b) c) d) Todos los alumnos de IC saben programar Todos los alumnos de Diseo de VJ saben programar Existen alumnos de IC que no saben programar Existen alumnos de Diseo de VJ que saben programar

Ejercicio 19: Si p(x): x tiene plumas, a(x): x tiene alas , v(x): x es un ave y U es el conjunto de los animales, traducir al lenguaje corriente las siguientes proposiciones.

x: p(x) x / ( p(x) a(x) )

x / [a(x) ~v(x)] x / ~v(x)

x: [p(x) a(x)] x / [~a(x) v(x)]

Ejercicio 20: Si U es el conjunto de seres humanos. Expresar simblicamente, utilizando formas proposicionales y cuantificadores adecuados, las siguientes proposiciones: a) b) c) d) e) f) Todos los nenes lloran Algunos nenes lloran. Ningn nene llora. La negacin de a) y c). Nadie acepta con alegra un desastre. cada uno necesita un mnimo de alimentos.

Ejercicio 21: Si U = { 1, 2, 3, 4, 5, 6, 7, 8, 9 }

y p(x): x es un nmero par

a) Hallar los conjuntos de verdad de p(x) y ~p(x). Tienen elementos en comn? b) Teniendo en cuenta la parte a) indicar el valor de verdad de las proposiciones x: p(x) , x: ~p(x) , x / p(x) , x / ~p(x) c) Hallar el valor de verdad de ~ [ x: p(x)] , ~ [ x / ~p(x)]

Ejercicio 22: Formalizar los siguientes razonamientos y comprobar su validez. a) Todo el que pidi recibi. Juan no recibi. Por lo tanto Juan no pidi. b) Todos los filsofos son empiristas o racionalistas. Hume era filsofo y no era racionalista. Por lo tanto Hume era un filsofo empirista. c) Todos los animales domsticos son agradables. Algunas cucarachas son animales domsticos. Por lo tanto algunas cucarachas son agradables. d) Algunos mltiplos de 5 terminan en 0. todos los nmeros terminados en 0 son pares. por lo tanto algunos mltiplos de 5 son pares. e) Todos los alumnos que ingresaron cursan de maana o tarde. Algunos alumnos ingresaron y no cursan de maana. Por lo tanto algunos alumnos cursan de tarde.