Colegio Parroquial Mixto San Pedro ChanelSociedad de Mara
(Padres Maristas) Sullana
Grupo elite de matemtica Curso: Razonamiento Lgico Tema: Formalizacin de proposiciones
Algunas traducciones verbales de los conectivos: 1. El conjuntor
Smbolos: , , . &, KPQ
Traduccin verbal se lee: P y Q P incluso Q P pero Q P aunque Q P al igual que Q P tal como Q P tanto que Q P tambin Q P as como Q P vemos que tambin Q P al mismo tiempo que Q P sin embargo Q P es compatible con Q P an cuando Q P al mismo modo Q P de la misma manera Q P no obstante Q P sino Q No slo P sino tambin Q P asimismo Q P a pesar de que Q P a la vez que Q P igualmente Q P de la misma manera Q Sin que P tampoco Q Cierto que P lo mismo que Q Simultneamente P con Q P ms an Q P adems Q P a la par que Q P an cuando Q P igualmente Q, etc.
2. El disyuntor incluyente
Smbolos: v , APQ
Traduccin verbal se lee: P o Q P a menos que Q A menos que P, Q P salvo que Q P y bien, o tambin Q P excepto que Q P o incluso Q P o a la vez Q P ya bien Q P y/o Q P a no ser Q, etc.
3. El disyuntor excluyente
Smbolos: v , A, , , Traduccin verbal se lee: o P o Q o bien P o bien Q P o Q (en sentidos excluyentes) P o solamente Q P o unicamente Q P o slo Q P no es equivalente a Q No es equivalente P con Q P no biimplica a Q, etc.
4. El implicador
Smbolos: , , CPQ Traduccin verbal se lee: Si P entonces Q Siempre que P por consiguiente Q Ya que P bien se ve que Q Con tal P es obvio que Q Cuando P as pues Q Toda vez que P es consecuente Q Dado P por eso Q En cuanto P por tanto Q Cada vez que P consiguientemente Q Ya que P es evidente Q De P derivamos Q P implica Q Si P, Q Cuando P, Q Como P, Q De P, Q Suponiendo que P, Q P slo si Q Slo P si Q P es condicin suficiente de Q Una condicin necesaria para P es Q Como quiera que P por lo cual Q, etc.
5. El replicador
Smbolos: , c Traduccin verbal se lee: Slo si P, Q P si Q P porque Q P siempre que Q Es condicin necesaria P para Q P para Q Para P es suficiente Q P puesto que Q P dado que Q P supone que Q P pues Q P en vista de Q P como Q P por cuanto Q P debido a que Q P cada vez que Q P en razn de Q P en tanto Q Para P es suficiente Q, etc.
6. El biimplicador
Smbolos: , , EPQ Traduccin verbal se lee: P si y slo si Q P siempre y cuando Q P se define lgicamente como Q P es equivalente a Q P es igual que Q P es idntica a Q P es condicin necesaria y suficiente para Q P siempre que y slo cuando Q P porque y slo porque Q P entonces y slo entonces Q
7. El negador Smbolos: ~, , __ P , NP Traduccin verbal se lee: a) Negadores internos: No P Nunca P Jams P b) Negadores externos: Es absurdo que P Es inconcebible que P Es innegable que no P No es el caso que P De ninguna forma se da P Es incierto que P No es inobjetable que P En modo alguno P Es inadmisible que P No acaece que P No acontece que P. Es sofisma que, etc.
1. Formalizar la siguiente expresin:Si Andrs trabaja y Carlos estudia, triunfarn a) ( ) q r p . b) ( ) ( ) p q r s . . c) ( ) p q r . d) ( ) p q r . e) p q
2. Formalizar: No es cierto que si es invierno, hace fro. Es verdad que si llueve, es cierto que es verano a) ( ) ( ) p q r s . b) ( ) ( ) p q r s . . c) p q . d) ( ) ( ) p q r s . e) ( ) p q r .
3. Formalizar la siguiente proposicin: Es absurdo que yo te sonri sea lo mismo decir que yo te enamoro a) p q . b) p q c) p q v d) ( ) p q e) ( ) p q
4. La proposicin: Ya que es suficiente que exista pobreza en el Per para que no exista dominacin imperialista, existe la dominacin imperialista excepto que nicamente exista pobreza en el Per. Se formaliza: a) ( ) ( ) p q q p b) ( ) ( ) p q q p . v c) ( ) ( ) p q q p v . d) ( ) ( ) p q q p . e) ( ) ( ) p q q p
5. Formalizar: Es invierno porque hace fro aunque sale la luna a) ( ) p q r . b) ( ) p q r v c) ( ) p q r . d) ( ) p q r . e) ( ) p q r .
6. La proposicin: Habr progreso en el Per si el estado genera empresa, puesto que las empresas crean puestos de trabajo. Se formaliza: a) ( ) p q r b) ( ) p q r c) ( ) p q r . d) ( ) p q r e) p q
7. La formalizacin correcta de: Siempre que y slo cuando exista amor es obvio que habr ternura, cario tanto como alegra a) ( ) p q r s . . b) ( ) ( ) p q r s . c) ( ) p q r s . . d) ( ) p q r s . . e) ( ) p q r s . .
8. Formalizar: Tendremos plantas ornamentales en el jardn, si el abono es vegetal y las semillas son selectas a) ( ) p q r . b) ( ) p q r . c) ( ) p q r . d) ( ) p q r e) ( ) p q r .
9. Formalizar: O Javier juega voley y tenis o viaja a Lima y busca empleo. a) ( ) ( ) p q r s . b) ( ) ( ) p q r s . . c) ( ) ( ) p q r s . . d) ( ) ( ) p q r s . e) ( ) ( ) p q r s .
10. Formalizar: Es imposible que si estoy ansioso, entonces fumo. a) p q . b) ( ) p q c) p q d) p q . e) ( ) p q
11. Formalizar la siguiente proposicin: Sin lluvia ni tormenta, podemos emprender el viaje a altamar. a) ( ) p q r . b) ( ) p q r . . c) ( ) p q r . d) ( ) p q r . e) c y d
12. Formalizar: Newton fue fsico no obstante fue filsofo, esto implica que le interesaba conocer la realidad; pues tena una actitud investigadora. a) ( ) p q r s ( . .
b) ( ) s p q r ( . v
c) ( ) p q r s ( . .
d) ( ) p q r s ( .
e) ( ) s p q r ( .
13. Formalizar: O es peruano o brasilero, pero no es espaol; porque naci en Amrica. a) ( ) ( ) p q r s t ( v . .
b) ( ) ( ) p q r s v c) ( ) p q r s ( v .
d) ( ) p q r s ( .
e) ( ) p q r s ( .
14. Dada la proposicin: Si traes la caja blanca, no traers la negra. Pero, si traes la azul, traers la negra. Empero es imposible traer las tres juntas. Por tanto, traers slo una de las tres. Su formalizacin es: a) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . v v
b) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .
c) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .
d) ( ) ( ) ( ) { } ( ) p q r q p q r p q r ( . . . .
e) ( ) ( ) ( ) { } ( ) p q r p p q r p q r ( . . . .
15. Formalizar: Es necesario pagar $100 y ensear el carn para ingresar a dar el examen en Idepunp. a) ( ) p q r . b) ( ) p q r v c) ( ) p q r . d) ( ) p q r . e) p q
16. Formalizar: De que 8 5 > y 5 2 > se deduce que 8 2 > , aunque ni 5 8 > ni 2 5 > , en consecuencia 5 8 < , 2 5 < y 2 8 < . a) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . . . . .
b) ( ) ( ) { } ( ) p q r p q p q r ( . . . . .
c) ( ) ( ) { } ( ) p q r p q p q r ( . . . . .
d) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . . . . .
e) ( ) ( ) ( ) { } ( ) p q r p q p q r ( ( . v . . .
17. La proposicin: Es condicin suficiente para que tenga tica profesional el que una persona sea profesional a) p q b) p q c) p q v d) p q e) p q .
18. Dada la proposicin: El que sea profesor de lgica es necesario para que sea coordinador del curso, aunque es suficiente que sea profesor y coordinador para pertenecer a la universidad. Su formalizacin es: a) ( ) ( ) p q p q r ( . .
b) ( ) ( ) p q p q r ( v .
c) ( ) ( ) p q p q r ( . .
d) ( ) ( ) p q p q r ( . .
e) ( ) ( ) p q p q r ( . .
19. Formalizar: Es mentira que el que tenga fro no es incompatible con que este bien abrigado. a) p q v b) ( ) p q v c) p q . d) p q e) ( ) p q .
20. La proposicin: Es compatible que los mamferos y los cetceos son vertebrados y acuticos respectivamente. Se formaliza como: a) p q . b) ( ) ( ) p q r s . . . c) p q v d) ( ) ( ) p q r s v . v e) p q
21. Formalizar la siguiente proposicin: Rolando postul a la UNI al mismo tiempo que Mara postul a San Marcos, luego ingresaron a la universidad. Rolando estudi ingeniera civil y Mara medicina. a) ( ) ( ) p q r s t ( . . .
b) ( ) ( ) ( ) p q r s t u ( . . . .
c) ( ) ( ) p q r t u ( . . .
d) ( ) ( ) p q r t u ( . v .
e) ( ) ( ) ( ) p q r s t u ( . . .
22. Formalizar: El que la SUNAT sea un organismo nacional es incompatible con que fiscalice a las entidades estatales a) p b) p q v c) p q v d) p q . e) p q
23. La siguiente proposicin: Si no es mentira que sea falso que Inglaterra en forma alguna es un pas aislado, implica que sea la primera potencia econmica de Europa. Se formaliza: a) ( ) p q b) p q c) p q d) ( ) p q e) ( ) p q
24. Formalizar: Es absurdo que, ni Lus es doctor ni Pedro es economista; a no ser que, Lus es soltero y/o Pedro es casado. a) ( ) ( ) p q r s . v b) ( ) ( ) p q r s v v v c) ( ) ( ) p q r s . v v d) ( ) ( ) p q r s . . v e) ( ) ( ) p q r s . v v
25. Dado el siguiente argumento. Es inconcebible que sea corrupto y ocioso, dado que estudio derecho; sin embargo soy corrupto, Por tanto no ser un profesional competente. Su formalizacin es: a) ( ) { } p q r p s ( . .
b) ( ) { } p q r p s ( . .
c) ( ) { } p q r p s ( v .
d) ( ) { } p q r p s ( . .
e) ( ) { } p q r p s ( . .
26. Formalizar: Las islas Galpagos alberga casi 4000 especies de insectos en sus zonas tropicales, aunque Malasia es el hogar de 1000 especies de mariposas. Se formaliza a) p q . b) ( ) p q r . v c) p q d) ( ) p q r . e) ( ) p q r .
27. La proposicin: Las comisiones especiales del Congreso del Per se forman bajo un fin especfico y con un tiempo limitado. Estas pueden ser comisin de presupuesto, de deporte o de economa a) ( ) ( ) p q r s t . v v v b) ( ) ( ) p q r s t . v . . c) ( ) ( ) p q r s t v . v v d) ( ) ( ) p q r s t . . v v e) ( ) p q r s . v v
28. Formalizar: Ya que, dos rectas no se interceptan y son coplanares por consiguiente son paralelas. Dos polgonos son semejantes porque sus ngulos correspondientes y las longitudes de sus lados correspondientes son proporcionales a) ( ) ( ) p q r s t u ( ( . . .
b) ( ) ( ) p q r s t u ( ( . . .
c) ( ) ( ) p q r s t u ( ( . v .
d) ( ) ( ) p q r s t u ( ( . . .
e) ( ) ( ) p q r s t u ( ( . . .
29. Formalizar: No es objetable que, si los galenos utilizan las unidades de ictus si y slo si que disminuyen complicaciones cerebrales empero mejoran la calidad de vida de los supervivientes; dado que la ciencia neurolgica permite enfrentarse a los problemas con mucho xito a) ( ) p q r s ( .
b) ( ) p q r s ( .
c) ( ) p q r s ( .
d) ( ) p q r s ( .
e) ( ) p q r s ( . .
30. La proposicin: El canal de Panam une los ocanos Atlntico y Pacifico, tiene 82 Km. De longitud y 14 m. de profundidad; es condicin necesaria para que sea un paso estratgico clave del comercio internacional a) ( ) p q r s . . b) ( ) p q r s v v c) ( ) ( ) p q r s . . d) ( ) ( ) p q r s . . e) ( ) p q r s . .
31. Formalizar: La sangre est compuesta por tres componentes principales: plasma, glbulos blancos y glbulos rojos. a) p b) p q r . . c) ( ) p q r . v d) ( ) ( ) p q r s . . e) ( ) p q r v .
32. Relacionar: I. Dos segmentos son congruentes ya que tienen la misma longitud. II. Un tringulo no puede tener ms de un ngulo recto ni ms de un ngulo obtuso. III. Toda vez que aumenta el dlar entonces se producir un alza de precios. IV. Te renovarn el contrato si y slo si rebajas tu sueldo en un 10%. Con: A. p q . B. p q C. p q D. p q
a) I D, II C, III B, IV A b) I D, II B, III A, IV C c) I A, II D, III C, IV B d) I D, II A, III B, IV C e) I B, II A, III C, IV D
33. Al formalizar: Si Mara obtiene buenas notas en Idepunp, entonces no es cierto que alcanza una vacante o se cambia a otra academia. Si y slo si Mara ingresar a la universidad. Se obtiene una proposicin molecular del tipo: a) Bicondicional. b) Disyuntiva incluyente. c) Negativa. d) Replicativa. e) Implicativa.
34. La expresin: Slo si el aprendizaje no poda escapar del mbito de la comunicacin, ste es un proceso en el cual adquieren importancia fundamental las relaciones interpersonales. No slo importa cunto sabe aquel que nos ensea, sino tambin cmo ensea. Se formaliza: a) ( ) ( ) p q r s . . b) ( ) ( ) p q r s v . c) ( ) ( ) p q r s . v d) ( ) ( ) p q r s . e) ( ) ( ) p q r s . .
35. Formalizar: Deduccin es una forma de razonamiento donde se infiere una conclusin a partir de una o nicamente de varias premisas. En la argumentacin deductiva vlida la conclusin debe ser verdadera si todas las premisas son asimismo verdaderas. a) ( ) ( ) p q r s v . b) ( ) p q r . c) p q . d) ( ) ( ) p q r s . e) ( ) p q r .
Taller de Ejercicios
1. La proposicin: Que la poltica sea social es una condicin suficiente y necesaria para que la poltica no sea econmica, se formaliza como: a) p q v b) p q c) p q d) p q e) ( ) p q
2. La proposicin: El lenguaje tiene significacin o slo tenga sentido, se formaliza como: a) p q v b) p q c) p q d) p q e) p q v
3. En Un juicio apodctico es analtico cada vez y slo cuando usen lenguajes formalizados, se formaliza: f) p q . g) p q h) p q i) p q v j) p q
4. La proposicin:Porque la luz tiene naturaleza dual, se trasmite en el vaco. Sin embargo, el sonido no se trasmite en el vaco porque tiene naturaleza ondulatoria, se formaliza como: f) ( ) ( ) p q q r . g) ( ) ( ) p q r s . h) ( ) ( ) p q q r . i) ( ) ( ) p q r s . j) ( ) ( ) p q r s .
5. De la proposicin:Ni ganars la rifa ni ganars el bingo; pero, en definitiva participars de la maratn ya que estas muy entusiasmado, podemos afirmar que: f) ( ) ( ) p q r s . . es su formalizacin g) Su conectivo dominante es . h) Posee slo tres variables proposicionales i) a y b j) c y d
6. Formalizar.La composicin qumica del agua es dos tomos gramos del Hidrgeno y uno de oxgeno, pero Javier no sabe escribir la frmula de una molcula de agua: a) p q . b) p q v c) p q r . . d) p q e) p q .
7. Simbolizar:Si yo trabajo, gano dinero; y si no trabajo entonces me divierto. Por lo tanto si no gano dinero, me divierto. f) ( ) { } ( ) p q p r q r ( .
g) ( ) ( ) ( ) p q p r q r ( .
h) ( ) ( ) ( ) p q q r q r ( .
i) ( ) p q r j) ( ) p q r v
8. La formalizacin de la proposicin: Maria es doctora o nicamente Mara es dibujante, es: a) p q b) p q c) p v q d) p . q e) p q
9. Formalizar: Juan, Pedro, Javier y Mario estudian en la UNP. Sin embargo Maria estudia separada de Carlos. f) (p . q . r . s) . t g) pv q h) p i) p q j) p . q
10. Simbolizar: Ambos, el cerebro y la mdula espinal, se comunican por una abertura situada en la base del crneo y ambos no estn en contacto con las dems zonas del organismo a travs de los nervios. a) (p . q) r b) (p . q) v r c) p . q d) p e) p q
11. Dado el siguiente razonamiento: Si la economa peruana es prspera porque hay estabilidad laboral, ms an al haber estabilidad laboral no es equivalente a que exista menor pobreza. Su frmula lgica es: a) (p q) . (q v r) b) (p q) . (q r) c) (p q) . ( q r) d) (p q) . q e) b y c
12. Dado el siguiente esquema: Pedro, Lus, Mario y Andrs estudian en la UNP Entonces triunfarn Cul es el conectivo dominante? a) . b) v c) d) e) No tiene conectivo predominante.
13. Dada la siguiente oracin: Alcanzars la cima si logras cruzar el ro; pero como no logrars cruzarlo entonces no alcanzars la cima. Su formalizacin es: f) ( ) ( ) p q q p . g) ( ) ( ) p q q p . h) ( ) ( ) p q p q . i) ( ) ( ) p q q p v j) ( ) ( ) p q q p .
14. El que Martn tenga estudios de maestra en Gestin empresarial implica que sea economista de profesin. Se formaliza: a) ( ) p q b) p q c) ( ) p q d) p q e) p q v
15. Formalizar: El cuerpo de las abejas est dividido en tres segmentos: cabeza, trax y abdomen. a) p q r . . b) p c) p q d) p q r v v e) p q
16. Dada la proposicin: El esqueleto de las aves es muy ligero, ya que sus huesos son huecos y pesan poco. Se formaliza: a) ( ) p q r . b) p (q r) . c) p (q r) . d) ( ) q r p . e) p (q r) v
17. La formalizacin: Fue a finales del siglo XIX cuando se origin la circuncisin neonatal en Inglaterra como medida preventiva contra la masturbacin, e incluso para la prevencin de sfilis; por lo que sta prctica se extendi a casi todos los pases angloparlantes. Ser: a) ( ) p q r . b) ( ) p q r . c) ( ) p q r . d) ( ) p q r . e) p (q r) v 18. Formalizar: El parto puede verse asistido con medicamentos como oxitcicos, ciertos anestsicos o una posible episiotoma; mientras que si el embarazo es de alto riesgo, por lo general termina con una operacin cesrea. a) ( p q ) ( r s ) . . b) p (q r ) . c) ( p q ) ( r s ) . . d) ( p q r) ( s t ) . . . e) ( p q r) ( s t ) v v .
19. Formalizar las indicaciones que le hace un mdico a su paciente: Si para la cesrea te administraran anestesia general, tu cuerpo tardar 6 horas en asimilarla. Y, con anestesia peridural entonces el cuerpo tarda un poco ms, aunque hayas estado despierta durante la operacin. No realices fuerza abdominal hasta que la herida no haya sanado. a) ( ) ( ) p q r s t u ( . . .
b) ( ) ( ) ( ) p q r s t u v ( . v .
c) ( ) ( ) p q r s t u ( . . v
(
d) ( ) ( ) ( ) p q r s t u v ( . . .
e) ( ) ( ) p q r s t u ( . v .
20. Formalizar: Para que un nio muestre agresividad con sus compaeros y rebelda con sus profesores, es condicin necesaria que sta conducta requiera de un tratamiento especial. a) ( ) p q r . b) p (q r) . c) p (q r) . d) ( ) q r p . e) p (q r) v
21. La formalizacin de:El avin despegar a las 9 a.m. a menos que este lloviendo, es: a) p q b) p q c) p q v d) p q e) p q .
22. Siempre que y slo cuando existan lluvias es obvio que habr creciente de ros, enfermedades as como hambre, su formalizacin es: a) ( ) p q r s . . b) ( ) ( ) p q r s . c) ( ) q r s p . . d) ( ) p q r s . . e) p q .
23. Si la atmsfera de Venus no es ms densa que la de la Tierra pero la de Marte si lo es, las condiciones de vida en la Tierra y Marte son nulas, su formalizacin es: a) ( ) ( ) p q r s . . b) p q c) ( ) ( ) p q r s . . d) ( ) ( ) p q r s v . e) ( ) p q r .
24. Formalizar:Si el pncreas no segregase la suficiente insulina, apareceran sntomas de diabetes. Y si la glndula suprarrenal produjese adrenalina en exceso, sucedera lo mismo. En este caso no aparecen sntomas de diabetes. De ah que pncreas segrega la suficiente insulina y que la glndula suprarrenal no produjese adrenalina en exceso: a) ( ) ( ) { } ( ) p q r q q p r ( . . v
b) ( ) ( ) { } ( ) p q r q q p r ( . . .
c) ( ) ( ) { } ( ) p q r q q p r ( . . .
d) ( ) ( ) { } ( ) p q r q q p r ( v v .
e) ( ) ( ) { } ( ) p q r q q p r ( . . .
25. Un conjunto est determinado por extensin cuando se nombran todos sus elementos, y est determinado por compresin cuando se ha dado la caracterstica o propiedad comn a todos los elementos, su formalizacin es: a) ( ) p q r v b) ( ) p q r . v c) ( ) ( ) p q r s t ( . v
d) ( ) p q r . v e) p q v
26. Formalizar:El opuesto de un nmero positivo a es -a y el nmero opuesto de un nmero negativo -a es el nmero a a) p q v b) p q c) p q d) p q v e) p q .
27. El valor absoluto de un nmero entero es el mismo nmero si es positivo o cero; y es el opuesto del nmero si es negativo, su formalizacin es: a) ( ) ( ) p q r s t ( v v
b) ( ) ( ) p q r s t ( . .
c) ( ) ( ) p q r s t ( v .
d) ( ) ( ) p q r s t ( .
e) ( ) ( ) p q r s t ( v .
28. Formalizar: Iremos a nadar a menos que el cielo no este despejado, ya que no hemos trado carpa. Halle la expresin equivalente: a) ( ) p q r v b) ( ) p r q v . c) p q r . . d) ( ) p r q v e) ( ) p q r v .
29. Formalizar: Ya que ingeniera electrnica es una carrera universitaria, tanto como contabilidad o administracin; por ello es educacin superior y no es carrera tcnica: a) ( ) ( ) p q r s t ( . v .
b) ( ) ( ) p q r s t ( v . v
c) ( ) ( ) p q r s t ( . .
d) ( ) ( ) p q r s t ( . v .
e) ( ) ( ) p q r s t ( . v .
30. Platn fue griego o slo fue romano, pero no fue egipcio; porque naci en Europa, su formalizacin: a) ( ) p q r s ( .
b) ( ) p q r s ( v .
c) ( ) p q r s ( v
d) ( ) p q r s ( v
e) ( ) p q r s ( v .
31. Formalizar: Cuando aumenta la capa de hielo en invierno y en verano disminuye, los osos polares van hacia los tmpanos a) ( ) p q r v b) ( ) p q r . c) ( ) p q r . d) ( ) p q r v e) ( ) ( ) p q r p .
32. De computacin o matemticas, Martn domina slo un curso, formalizar: a) p b) p q . c) p q d) p e) p q v
33. Si el motor funciona entonces, la pista est mojada slo si Marcos volar el aeroplano, su formalizacin: a) ( ) p q r . b) ( ) p q r c) ( ) p q r d) ( ) p q r e) p q .
34. Formalizar: La lgica es una ciencia formal si su objeto de estudio es ideal. La lgica no es una ciencia formal. Por lo tanto su objeto de estudio no es ideal, a) ( ) p q r . v b) ( ) p q r v . c) ( ) p q p q ( .