You are on page 1of 10

1

at

at

Matem aticas I 1. Considere las proposiciones:

Dirigida 1

Viernes 5 de Abril del 2013

Escriba cada enunciado siguiente en su forma L ogica formal: a) b) c)

UP

at

c ) (p q ) r

2. Pruebe que los siguientes enunciados son l ogicamente equivalentes: a ) Si Juan termina de solucionar ese problema y el horario de trabajo termin o, entonces se retira muy satisfecho

b ) p q

3. Demuestre cada una de las siguientes equivalencias o justique porque no lo son. a) b) c) d) ppp ppp (p q ) r p (q r ) (p q ) r p (q r ) e) f) g) h) p ( p) p (q r ) (p q ) (p r ) p (q r ) (p q ) (p r ) (p q ) q p

at

at

j ) ( p q ) p q k ) ( p q ) p q

Soluci on. a) p p p p V F p V F p

c 2013 Todos los derechos reservados. Prohibida su reproducci on parcial o total.

UP

UP M at e

at

at

at

i ) (p q ) q p q

Soluci on. Se hizo en clase.

UP

b ) Juan no termin o de solucionar ese problema o el horario de trabajo no termin o, o Juan se retira muy satisfecho

UP

a ) ( p q ) r

at

Soluci on.

at

no es economista ni es inform El atico, pero si empresario no es economista y es inform El atico. Si el es economista e infom atico, entonces es empresario .

UP

p: q: r:

es economista. El El es inform atico. es empresario. El

at

at

c ) (p q ) r p (q 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 (p q ) V V F F F F F F V F F F F F F F r p V F F F F F F F (q r ) V F F F V F F F

p V F

V F

UP

UP UP M UP M M at e at e at e

b) p p p

at

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

V V V V V V V F

at

UP

e ) p ( p) p V F V F

f ) p (q r ) (p q ) (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 p V V V F F F F F (q r ) V V V F V V V F (p q ) V V F F F F F F V V V F F F F F

at

g ) Se hizo en clase.

UP

h ) Se hizo en clase. i ) (p q ) q p q

at

(p r ) V F V F F F F F

at

at

( F V

p)

at

d ) (p q ) r p (q r )

V V V V V V V F

(q r ) V V V F V V V F

at

j ) ( p q ) p q p V V F F q V F V F F F F V (p V V V F q) F F V V p F F F V F V F V q

p V V F F

q V F V F

(p q ) V V V F

F V F F

F V F V

at

at

F V F F

F V F V

UP

at

at

4. Una contradicci on es una proposici on compuesta que es falsa sin importar los valores de verdad de sus proposiciones simples. Indique si las siguientes proposiciones son Tautolog as o Contradicciones : a ) p p c ) p p

b ) ( p q ) [ q p]

Soluci on.

UP

d ) {[(p q ) q ] p}

at

es una tautolog a. b ) ( p q ) [ q p] p V V F F

at

q V F V F

(p q ) F V F F

V V V V

( q p) F V F F

es una tautolog a.

UP

p V F

p p F F

UP M at e

c ) p p

es una contradicci on. 3

at

at

at

p V F

p p V V

a ) p p

UP

at

p V V F F

q V F V F

F V V V

(p

V F F F

q)

F F V V

F V V V

F V F V

k ) ( p q ) p q

UP

at

at

p V V F F

q V F V F

F F F F

{[(p q ) V F V V

F F F V

q )]

V V V V

p}

es una contradicci on.

5. Determine el converso, la inversa y la contrapositiva de cada condicional sin negar proposiciones compuestas.

UP

UP
f) g) h)

M M
pq q r r s p s pq q ( r p) r p r pq pq pq

d ) {[(p q ) q ] p}

at

b ) Me quedar e, s olo si t u te vas c ) Jorge es elegido si la votaci on es numerosa.

a ) Si llueve, no voy a la playa.

at

b ) Converso: Si me quedo entonces t u te vas . Inversa: Si no te vas, no me quedar e .Contrapositivo: Si no me quedo entonces t u no te vas. c ) Converso: Si jorge es elegido entonces la votaci on es numerosa. Inversa: jorge no es elegido si la votaci on no es numerosa. .Contrapositivo: Si Jorge no es elegido, la votaci on no es numerosa.

a ) Converso: Si no voy a la playa entonces llueve . Inversa: Si no llueve, voy a la playa. . Contrapositivo : Si voy a la playa entonces no llueve.

at

Soluci on.

UP

6. Cuatro amigos: Miguel, Fernando, Mario y David son sospechosos de haber robado una billetera en una reuni on a la cual habian asistido, cuando se les interrog o acerca del robo ellos armaron lo siguiente. Miguel: Yo no fui. Fernando: Mario fue. Mario: Fernando miente al decir que fui yo. David: Yo la rob e.

UP

at

7. Pruebe las siguientes inferencias pq rs pr qs pq p (q r ) r pq rq (p r ) q

a) b)

d)

p q p r q s (r s)

UP

at

at

at

c)

e)

p ( q r ) r ( s t) s (t s)

UP

Soluci on. Se hizo en clase.

at

Si se sabe que s olo uno rob o la billetera y que tres mienten Qui en dice la verdad?

at

at

at

at

Soluci on.

at

a ) De la tercera premisa p o r es verdadero. Si p es falso entonces r es verdadero, debido a la segunda premisa, se tendria que s es verdadero; caso contrario si p es verdadero entonces q tambi en debe serlo de la primera premisa. . En ambos casos se obtiene que q s es verdadero. b ) De la primera premisa p y q son verdaderos. Luego, como la segunda premisa es verdadera y p es verdadero se tiene que q r es verdadero. Finalmente, como q es verdadero entonces r tambi en lo es.

UP

e ) Se hizo en clase.

d ) De la primera premisa se deduce que p es verdadero y q es falso. Luego de la segunda premisa, con antecedente verdadero, el consecuente r es verdadero, entonces r es falso, nalmente de la tercera premisa se obtiene que s es falso. Es decir r s es falso, por tanto (r s) es verdadero. f ) De la segunda premisa se tiene que q y r son verdaderos. Como la primera premisa es equivalente a q p, deducimos que p es verdadero. De la tercera premisa, se sigue que s es verdadero. Por tanto p s es verdadero.

UP

c ) Observese la proposici on p r, antecedente de la conclusi on, si es falsa la conclusion es verdadera, caso contrario p r es verdadera, dos posibilidades: Si p es verdadero se sigue de la primera premisa que q es verdadero, si r es verdadero de la segunda premisa q es verdadero, en cualquier caso el consecuente de la conclusi on es verdadero, por tanto la condiconal (p r) q es verdadera.

at

h ) De la segunda premisa p o q son verdaderos, al menos uno debe ser verdadero. Como la bicondicional es verdadera se tiene que los dos tienen el mismo valor de verdad. Luego ambos son verdaderos. Por tanto p q es verdadero.

8. En cada uno de las siguientes listas de premisas, deducir una conclusi on usando inferencias.

UP

b ) Si corro, me quedar e sin aliento. No estoy sin aliento.

c ) El cielo azul me pone contento y el cielo gris me pone triste. El cielo est a azul o gris.

at

at

i ) No ocurre que el empleado no fue liquidado a tiempo. j ) Brasil es un pa s productor de caucho. Colombia es un pa s exportador de caf e. Soluci on. a ) Sean

h ) Se implementa un sistema de formaci on al personal de ventas o se afectan los indicadores de servicio al cliente. No se implementa un sistema de formaci on al personal de ventas.

UP

p: Estoy gordo. q : Estoy delgado.

at

at

at

Las premisas son: p q y q . Asumiendo que ambas son verdaderas, de la segunda, q es falso. Como la disyunci on debe ser verdadera y q es falso, se sigue que p debe ser verdadero. As nuestra conclusi on es p, es decir, Estoy gordo.

UP

g ) Si cae el precio del d olar, entonces disminuyen las exportaciones. Si disminuyen las exportaciones, entonces se reducir an notablemente el precio de las divisas.

at

f ) Si el conferencista viaja en avi on, entonces llega a tiempo. El conferencista no llega a tiempo.

e ) Si la oferta excede a la demanda, entonces el precio del producto disminuye. La oferta excede a la demanda.

d ) Si la ballena es un mam fero entonces toma ox geno del aire. Si toma su ox geno del aire, entonces no necesita branquias. La ballena es un mam fero y vive en el oc eano.

UP

a ) Estoy gordo o delgado. Ciertamente no estoy delgado.

g ) Se hizo en clase.

at

at

at

at

b ) Sean p: Corro. q : Estoy sin aliento.

at

Las premisas son: p q y q . Asumiendo que ambas son verdaderas, de la segunda premisa, q es falso. Como la condicional debe ser verdadera se sigue que p debe ser falso. Entonces p es verdadero. As , nuestra conclusi on es: No he corrido. c ) Sean p: El cielo est a azul. q : El cielo est a gris. r: Estoy contento. s: Estoy triste.

UP

at

Las premisas son: p q , q r y p s. Asumiendo que todas las premisas son verdaderas, deducimos de la tercera premisa que p y s son verdaderos, luego de la primera se tiene que q es verdadero. De la tercera premisa se obtiene que r es falso. Por tanto la conclusi on es r, es decir, no necesita branquias. e ) Sean p: La oferta excede a la demanda. q : El precio del producto disminuye.

UP

Las premisas son: p q y p. Asumiendo ambos verdaderos, se deduce que q tambi en lo es. As , la conclusi on es q , es decir el precio del producto disminuye. p: El conferencista viaja en avi on. q : El conferencista llega a tiempo.

f ) Sean

UP

p: La ballena es un mam fero. q : Toma su ox geno del aire. r: Necesita branquias. s: Vive en el oc eano.

at

at

g ) Sean

at

Las premisas son: p q y q r. Asumiendo que ambas son verdaderas, si p es verdadero, entonces q debe ser verdadero, luego r debe ser verdadero, es decir p r es verdadero. Si p es falso, se tiene que p r es verdadero. Luego la conclusi on es p r, es decir si Cae el precio del d olar entonces se reducen notablemente el precio de las divisas. h ) Sean p: Se implementa un sistema de formaci on personal. q : Se afectan los indicadores de servicio al cliente.

p: Cae el precio del d olar. q : Disminuyen las exportaciones. r: Se reducen notablemente el precio de las divisas.

UP

Las premisas son: p q y p. Asumiendo que ambas son verdaderas, se tiene que p es falso. Luego q debe ser verdadero. As , la conclusi on es q , es decir se afectan los indicadores de servicio al cliente.

UP

M M at e

i ) Sean

at

at

at

Las premisas son: p q y q . Como p q es equivalente a su contrapositiva q p, luego asumiendo que ambas premisas son verdaderas se obtiene que p es verdadero. De donde la conclusi on es p, es decir el conferencista no viaja en avi on.

at

d ) Sean

Las premisas son: (p r) (q s), p q . Asumiendo que todas las premisas son verdaderas, deducimos que p r, q s y p q son verdaderos. Luego p o q es verdadero. Si p es verdadero, como p r es verdadero se sigue que r es verdadero. Si p no es verdadero, debe serlo q y como q s es verdadero se tiene que s es verdadero. Por tanto r s es verdadero, es decir Estoy contento o triste.

UP

at

at

p: El empleado fue liquidado a tiempo.

at

j ) Sean

p: Brasil es un pa s productor de caucho. q : Colombia es un pa s exportador de caf e. Las premisas son: p y q . Asumiendo que ambas son verdaderas, la conclusi on es p q , es decir Brasil es un pa s productor de caucho y Colombia es un pa s exportador de caf e.

La premisa es: (p). Asumiendo que la premisa es verdadera se tiene que p es verdadero. La conclusi on es p, es decir el empleado fue liquidado a tiempo.

9. Traduce los siguientes argumentos en forma de oraciones, considerando las siguientes proposiciones: p: 1Gb es mejor que nada. q : Compraremos mayor capacidad de memoria. r: Compraremos un ordenador nuevo. pr pq p (r q ) p (r q ) r q pr

UP

UP
pr rq q rp r p

at

b)

d)

Soluci on. a ) Si 1Gb es mejor que nada, entonces compraremos un ordenador nuevo. Si 1Gb es mejor que nada, entonces compraremos mayor capacidad de memoria. Por lo tanto, si 1Gb es mejor que nada, compraremos un ordenador nuevo y una mayor capacidad de memoria.

UP

b ) Si 1Gb es mejor que nada, entonces compraremos un ordenador nuevo o mayor capacidad de memoria. Si compramos un ordenador nuevo, entonces no compraremos mayor capacidad de memoria. Por tanto Si 1Gb es mejor que nada, compraremos un ordenador nuevo.

c ) Si 1Gb es mejor que nada, entonces compraremos un ordenador nuevo. Si compramos un ordenador nuevo, entonces compraremos mayor capacidad de memoria. Por tanto, Compraremos mayor capacidad de memoria.

UP

M M M at e at e

at

a)

c)

at

10. Verique la validez de los siguientes argumentos:

a ) Si el contrato es legal y P erez entr o en el contrato, entonces Garc a ganar a el pleito. O Garc a no ganar a el pleito o P erez ser a responsable. P erez no ser a responsable. Por tanto, el contrato no es legal o P erez no entr o en el contrato. b ) Si esperamos a Malena llegaremos a la UP despues de las 7:50am. Si llegamos a la UP despu es de las 7:50am, entonces ya no podemos ingresar a clases. Por lo tanto, si esperamos a Malena, entonces no ingresaremos a clases.

at

d ) Si compramos un ordenador nuevo, entonces 1Gb es mejor que nada. Compraremos un ordenador nuevo. Por tanto, 1Gb es mejor que nada.

UP

c ) La L ogica es dif cil o les gusta a muchos estudiantes. Si la Matem atica es f acil, entonces la L ogica no es dif cil. Por tanto, si a muchos estudiantes no les gusta la L ogica, la Matem atica no es f acil.

at

at

d ) Si el mayordomo es el asesino se pondr a nervioso cuando lo interroguen. El mayordomo se puso muy nervioso cuando lo interrogaron. Por lo tanto, el mayordomo es el asesino.

UP

at

at

at

Soluci on. a ) Sean

p: El contrato es legal. q : P erez entro al contrato. r: Garc a ganar a el pleito. s: P erez ser a responsable.

UP

El argumento es

(p q ) r, r Y s, s ` p q.

b ) Sean p: Esperamos a Malena. q : Llegamos despu es de las 7:50am. r: Podemos ingresar a clases.

at

Es v alido pues es consecuencia del Silogismo hipot etico. c ) Sean p: La L ogica es dif cil. q : A muchos estudiantes les gusta la L ogica. r: La Matem atica es f acil. El argumento es

p q, q r ` p r.

UP

at

at

e ) Sean p: El mayordomo tiene las manos manchadas de sangre. q : El mayordomo es culpable. El argumento escrito en forma simb olica es:

Como podemos observar el u nico caso donde la conclusi on es falsa es cuando p es falso. Para este caso, si consideramos q verdadero, se tendr a premisas verdaderas y una conclusi on falsa. Lo cual signica que el argumento no es v alido.

UP

p q, p ` q.

at

at

at

De la segunda premisa se deduce que p es falso, luego de la primera premisa q puede tomar cualquier valor. As , si escogemos q falso, tendriamos un argumento con premisas verdaderas y conclusi on falsa. Es decir un argumento no v alido.

UP

p q, q ` p.

at

El argumento escrito en forma simb olica es:

p: El mayordomo es el asesino. q : El mayordomo se puso nervioso cuando lo interrogaron.

d ) Sean

Como p q (p) q p q . Luego, intercambiando el orden la primera premisa con la segunda se tendr a r p y p q . Por Silogismo hipot etico se tiene r q siendo este equivalente a q r .

UP

p q, r p ` q r.

El argumento es

at

at

De la tercera premisa se tiene que s es falso, usando este en la segunda premisa obtenemos que r es falso. Luego p q es falso. De donde p q = (p q ) es verdadero. Vericando que el argumento es v alido.

UP

e ) Si las manos del mayordomo est an manchadas de sangre, entonces es culplable. El mayordomo est a impecablemente limpio. Por lo tanto, el mayordomo es inocente.

at

at

at

at

11. Simbolice las premisas y conclusiones de cada uno de los razonamientos siguientes y d e una deducci on formal del siguiente argumento: Esta ley ser a aprobada en esta sesi on si y solo si es apoyada por la mayor a. O es apoyada por la mayor a o el presidente se opone a ella. Si el presidente se opone a ella, entonces ser a pospuesta en las deliberaciones del Congreso. Por tanto, esta ley ser a aprobada en esta sesi on o ser a pospuesta a deliberaciones en el Congreso. Soluci on. Se hizo en clase.

at

Sean

at

p: La enmienda fue aprobada. q : La constituci on queda como estaba. r: Podemos a nadir nuevos miembros al comit e. s: El informe se retrasar a un mes. El argumento es

13. Determine si el siguiente argumento es v alido o no:

at

at

Soluci on. Sean

p: El gerente de una empresa es el encargado de muchas de las labores m as importantes q : Ser gerente es un cargo dif cil de manejar r: Los gerentes son personas de las que depende la empresa s: Los gerentes solo se dedican a despedir y contratar trabajadores t: La gerencia es un cargo que solo quienes se han preparado para ello lo merecen

UP

UP 1
9

El gerente de una empresa es el encargado de muchas de las labores m as importantes. Si es as , entonces ser gerente es un cargo dif cil de manejar. la gente dice que, o los gerentes son personas de las que depende la empresa, o que s olo se dedican a despedir y contratar trabajadores. Pero si ellos solo se dedican a despedir y contratar trabajadores, entonces ser gerente no es un cargo dif cil de manejar. Adem as, si la gerencia no es un cargo que solo quienes se han preparado para ello lo merecen, entonces ser a falso que la gente diga que los gerentes son personas de las que depende la empresa y que el gerente es el encargado de muchas de las labores m as importantes. Por lo tanto, la gerencia es un cargo que solo quienes se han preparado para ello lo merecen.

UP

UP

Como todas las premisas son verdaderas, se obtiene de la cuarta que s es verdadero y de la tercera se deduce que r es verdadero. Luego, de la segunda q es falso. Finalmente de la primera p debe ser verdadero. Es decir, es un argumento v alido.

(p q ), (q r), r Y s, s ` p.

M M at e at e

at

at

at

Soluci on.

12. Estudie la v alidez del siguiente argumento: Si la enmienda no fue aprobada entonces la Constituci on queda como estaba. Si la Constituci on queda como estaba entonces no podemos a nadir nuevos miembros al comit e. O podemos a nadir nuevos miembros al comit e o el informe se retrasar a un mes. Pero el informe no se retrasar a un mes. Por tanto la enmienda fue aprobada.

UP

UP

at

at

Entonces la forma l ogica formal del argumento es:

at

Usando la denici on de argumento v alido asumimos que las premisas son verdaderas. Sabemos que p y p q son verdaderos entonces q es verdadero, como s q es verdadero entonces s es falso y del hecho que r Y s es verdadero, r es verdadero, desde que la premisa t (r p) es verdadera, se obtiene que t es falso. Luego t es verdadero y el argumento es v alido.

UP

En efecto, esto se sigue de las siguientes inferencias: pq p q s q s rYs r p rp t ( r p) t

at

UP

UP 1 e at M UP 1
10

M M M at e at e

hip otesis Conjunci on hip otesis Modus tollens

at

at

UP

at

at

at

hip otesis hip otesis Modus Ponens hip otesis Modus tollens hip otesis

UP

La validez de este argumento se puede demostrar, tambi en, usando Reglas de inferencias.

p, p q, r Y s, s q, t (r p), ` t

at

You might also like