TEMA N 02 FORMALIZACIN DE PROPOSICIONES Profesor: Lic. Manuel ngel Alarcn Mendoza
1. Slo si el agua se evapora, es sometida a altas temperaturas; sin embargo, es suficiente que la enfriemos para que se condense. Tiene como frmula: a) ( ) ( ) p q r s . b) ( ) ( ) p q r s . c) ( ) ( ) p q r s . d) ( ) ( ) p q r s v e) ( ) ( ) p q r s . 2. Si el primer regidor es un poltico, el tercer regidor dice la verdad. Si el tercer regidor no dice la verdad, el primer regidor no es poltico. En consecuencia, el primer regidor es un poltico ya que el tercer regidor no es un poltico. Se formaliza como: a) ( ) ( ) ( ) p q q p p q ( .
b) ( ) ( ) ( ) p q q p p r ( v
c) ( ) ( ) ( ) p q q p p q ( .
d) ( ) ( ) ( ) p q q p p r ( .
e) ( ) ( ) ( ) p q q p p r ( .
3. La proposicin: Ingresar a la UNP es insuficiente para ser profesional en matemtica. Asimismo ser profesional en matemtica es condicin innecesaria para conseguir trabajo. De all que ser comerciante. Se formaliza: a) ( ) ( ) p q q r s ( .
b) ( ) ( ) p q q r s ( .
c) ( ) ( ) p q q r s ( .
d) ( ) ( ) p q q r s ( .
e) ( ) ( ) p q q r s ( .
4. La proposicin: Que la lgica sea una ciencia factual o slo formal es incompatible con que el objeto de estudio de la lgica sea el concepto, el juicio o exclusivamente el razonamiento, se formaliza: a) ( ) ( ) p q r s t . b) ( ) ( ) p q r s t . c) ( ) ( ) p q r s t . v v d) ( ) ( ) p q r s t v . v v e) ( ) ( ) p q r s t v 5. Es inconcebible que cada vez que Andrs o Jaime visiten a Andrea obviamente que le llevan regalos. Sin embargo, a ninguno de los tres les visita Javier. Se formaliza como: a) ( ) ( ) ( ) p q r s t u v ( v v . . .
b) ( ) ( ) ( ) p q r s t u v ( v . . . .
c) ( ) ( ) ( ) p q r s t u v ( v . . . .
d) ( ) ( ) ( ) p q r s t u v ( v . . . .
e) ( ) ( ) ( ) p q r s t u v ( v . .
6. La proposicin: En cuanto la Matemtica sostiene que la funcin y la relacin son equivalentes, es obvio que tienen el mismo conjunto de partida que la aplicacin, se formaliza: a) ( ) p q r . b) p q c) ( ) p q r v d) p q e) p 7. La proposicin: Es negable, inconcebible y mentira que, la unidad de potencia es el watt a no ser que nicamente no sea la calora. Su formalizacin es: a) ( ) p q b) ( ) p q v c) ( ) p q d) ( ) p q e) ( ) p q 8. La sede del sudamericano SUB 17 de ftbol ser Per o Argentina; sin embargo no jugarn ambas a la vez. Su formalizacin es: a) ( ) p q r . b) ( ) p q r v v c) ( ) p q r v d) p q e) ( ) p q r . 9. La proposicin: Argentina y Chile son pases fronterizos y australes. Se formaliza como: a) p q . b) ( ) p q r . . c) ( ) ( ) p q r s . . . d) ( ) p q r . e) ( ) p q r . v 10. La proposicin: Aguilar Santisteban y Trelles Lara fueron candidatos a la Municipalidad Provincial de Piura y a la Presidencia de la Regin, respectivamente. Tiene como frmula lgica: a) p q b) p q c) p q . d) p q v e) p q . 11. Formalizar la siguiente proposicin: Ya que el citoplasma es un lquido viscoso o es un slido gelatinoso, por ello su constitucin es entre slido y lquido. Asimismo el citoplasma est constituido por una mezcla cuya composicin vara a cada instante, debido a su continua actividad como materia viva. a) ( ) ( ) p q r s t ( v .
b) ( ) ( ) p q r s t ( v .
c) ( ) p q r s ( v .
d) ( ) ( ) p q r s t ( v
e) ( ) p q r s ( .
I.E.P. NUESTRA SEORA DE LOURDES 2 RAZONAMIENTO LGICO 12. Per y Ecuador no son pases de menor y mayor riqueza mundial, respectivamente. Se formaliza como: a) p q v b) p q v c) ( ) ( ) p q r s . . . d) p q e) p q . 13. La proposicin: Es condicin suficiente que los perros al igual que los gatos sean vertebrados, para que no sean artrpodos. Su formalizacin es: a) ( ) p q r . b) ( ) ( ) p q r s . . c) p q d) ( ) ( ) p q r s . . e) ( ) ( ) p q r s . v 14. Slo si existe dedicacin docente en la rama de matemtica, la institucin adquiere prestigio cientfico; no obstante, es suficiente que los alumnos ingresen para tener trabajo, se formaliza como: a) ( ) ( ) p q r s . b) ( ) ( ) p q r s . c) ( ) ( ) p q r s . d) ( ) p q r . e) ( ) ( ) p q r s v 15. La proposicin: Radioactividad equivale a emisin de radiaciones, a no ser que solamente luz no equivale a energa radiante. Se formaliza como: a) p q v b) p q c) p q d) ( ) ( ) p q r s v e) p q 16. Existe movimiento material cada vez que y slo cuando no exista movimiento energtico, se formaliza como: a) p q b) ( ) p q r . c) p q v d) p q e) p q 17. La proposicin: O bien es falso que el oro es un metal debido a que el plomo lo es, o bien es mentira que el agua es mineral pues siempre la sal lo es, se formaliza como: a) p q v b) p q c) ( ) p q d) ( ) ( ) p q r s e) p q 18. Es falso que es insuficiente p para que en todo caso se de q. Se formaliza como: a) ( ) p q b) ( ) p q c) p q d) p q e) ( ) p q 19. La proposicin: Es insostenible que no sea mentira que la aptitud acadmica no incrementan la capacidad de los estudiantes, se formaliza como: a) p b) p c) p d) p e) p 20. La proposicin: Es absurdo que los salarios no tienen capacidad adquisitiva, sin embargo los trabajadores protestan, se formaliza como: a) ( ) p q v b) ( ) p q v c) p q . d) ( ) p q . e) ( ) p q r
21. El abogado no es justo ni competente, en vista que es falso que haya consultado con los peritos. Se formaliza: a) ( ) p q r . b) ( ) p q r . c) ( ) p q r . d) ( ) p q r . e) ( ) p q r . 22. La proposicin: Es objetable que el Per tenga crecimiento econmico o en su defecto que se termine con la recesin. A menos que claro est, que no haya inflacin. a) ( ) p q r v v b) ( ) p q r v v c) ( ) p q r v v d) ( ) p q r e) ( ) p q r v 23. El agua hierve cuando est a 100 grados centgrados, a menos que no hierva ya que no est a 100 grados centgrados. Su formalizacin ser: a) p q v b) ( ) p q p v c) p q v d) ( ) ( ) p q p q v e) p q . 24. Formalizar el siguiente argumento: Ya que Hellen afirma que su hermana y Javier son amigos de la infancia, bien se ve que niega todo tipo de relacin sentimental con Javier. a) ( ) p q r . b) p q c) p q d) ( ) p q r . e) p q
I.E.P. NUESTRA SEORA DE LOURDES 3 RAZONAMIENTO LGICO 25. La proposicin: El que la energa sea necesaria para los automviles, es necesario para que, sea suficiente que los automviles usen gasolina ecolgica para que no contaminen el aire. Se formaliza como: a) ( ) ( ) p q r s b) ( ) ( ) p q r s c) ( ) ( ) p q r s d) ( ) p q r e) ( ) p q r 26. Formalizar: Si Huascar fue hermano de Atahualpa es obvio que no fueron los fundadores del imperio incaico. Se formaliza: a) p q b) ( ) p q r . c) ( ) p q r v d) p q v e) ( ) p q r . 27. Dal no niega contraer matrimonio en febrero prximo, por otro lado, afirma que su madrina ser Amanda ya que el padrino ser Martn, se formaliza como: a) ( ) p q r . b) ( ) p q r . c) ( ) p q r . d) ( ) p q r . e) ( ) p q r .
28. Dado el siguiente argumento: La lgica es una ciencia formal, que estudia el pensamiento, que est regida por principios y que tiene como uno de sus objetivos estudiar la validez de los razonamientos, se puede inferir en: 1. Presenta 3 variables proposicionales. 2. Presenta 2 conectores lgicos. 3. Tiene 2 variables proposicionales. 4. Tiene 3 conectores lgicos. 5. Presenta 4 variables proposicionales. Son falsas, con excepcin de: a) 1 y 3 b) 2 y 3 c) 3 y 5 d) 4 y 5 e) 1 y 5
29. La proposicin: Qu las personas no se alimentan en forma adecuada, es condicin suficiente para que estn dbilmente nutridas, Se puede deducir de ella: 1. Se formaliza como: p q 2. Es una proposicin condicional. 3. Estn presentes 2 conectivos mondicos. 4. Hay 2 variables proposicionales. 5. Es un esquema replicativo. Son ciertas: a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 d) 1, 2 y 4 e) 2, 3 y 5
30. Formalizar: La purificacin de la penicilina en 1938 descubierta por los dos bioqumicos britnicos Howard Florey y Ernst Chain ocurri diez aos ms tarde del descubrimiento de Alexander Fleming de la actividad bactericida del hongo Penicillium. Tras conocer su estructura entonces se pudo utilizar de forma masiva en medicina. Con la II Guerra Mundial estall la produccin comercial de la penicilina, con lo que disminuy en gran medida el nmero de muertes. a) ( ) ( ) p q r s t ( . v
b) ( ) ( ) p q r s t . . c) ( ) p q r s . . d) ( ) ( ) p q r s t . . e) ( ) p q r s ( .
I.E.P. NUESTRA SEORA DE LOURDES 4 RAZONAMIENTO LGICO
I.E.P. NUESTRA SEORA DE LOURDES 1 RAZONAMIENTO LGICO 1. EL CONJUNTOR
Formalizacin: P Q .
- 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 - Tanto P como Q - Tanto P cuanto Q - An cuando P, Q - Adems de P, Q - El que P no excluye que Q - P no es incompatible con Q - P al propio tiempo Q
2. EL DISYUNTOR INCLUYENTE
Formalizacin: P Q v
- 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 - A menos que P, Q - P o tambin Q - Salvo que P, Q - Al menos uno de los dos P o Q - P o sino Q - P o en todo caso Q - P alternativamente Q
3. EL DISYUNTOR EXCLUYENTE
Formalizacin: P Q
- o P o Q - o bien P o bien Q - P o Q (en sentidos excluyentes) - P o solamente Q - P o nicamente Q - P o slo Q - P no es equivalente a Q - No es equivalente P con Q - P no biimplica a Q - P o bien necesariamente Q - No es cierto que P equivale a Q - A menos que nicamente P ocurre Q - O bien necesariamente P o bien Q - Ya bien P ya bien Q - Slo P o slo Q - A lo ms uno de los dos P o Q
4. EL IMPLICADOR
Formalizacin: P Q
- 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 - P da lugar a Q - De P deviene Q - Con que P siendo as Q - De P se desprende que Q - Apenas P inmediatamente Q - Si de hecho P no se puede negar que Q - Si es as que P con ello Q - P si en el nico caso Q - Si P a lo ms Q - Siempre que P y slo si Q
5. EL REPLICADOR
Formalizacin: P Q
- Slo si P, Q I.E.P. NUESTRA SEORA DE LOURDES 2 RAZONAMIENTO LGICO - 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 - El que P depende de Q - P es una circunstancia nica para Q - Dado slo P luego Q - P depende de que ocurra Q - P est implicado por Q - Slo si P y siempre que Q - No es suficiente que P y no es necesario que Q - P se sigue de Q
6. EL BICONDICIONAL
Formalizacin: P Q
- 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 - Si y slo si P, entonces Q - P implica y est implicado por Q - P no es suficiente y no es necesario para Q - Slo si P y slo si Q - P solamente y en el nico caso que Q - Siempre que P luego es porque Q - Cuando y cada vez que P as se da Q - P es la definicin lgica de Q - P en el caso y slo en el caso de que Q
7. EL NEGADOR
Formalizacin: P
a) Negadores internos: - No P - Nunca P - Jams P - P es una mentira
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 P - Carece de todo sentido P - Es refutable que P - P es insostenible - Es rebatible P - Decir que P es una farsa - Es incoherente que P - Por lo menos una vez no P - Es inaudito que P - Es dual forma de P
8. EL INALTERNADOR
9. EL INCOMPATIBILIZADOR I.E.P. NUESTRA SEORA DE LOURDES 1 RAZONAMIENTO LGICO
HOJA DE CLAVES
Ciclo Enero Marzo 2013
Curso: RAZONAMIENTO LOGICO.
Semana: 02 Tema: Formalizacin de Proposiciones
Pregunta Clave Tiempo (Min.) Dificultad 01 c 2 F 02 e 3 M 03 b 3 M 04 e 3 M 05 a 3 M 06 a 2 F 07 c 2 F 08 a 3 M 09 b 3 M 10 e 2 F 11 a 3 M 12 e 3 F 13 d 3 M 14 c 2 F 15 b 2 F 16 d 2 F 17 d 3 M 18 a 2 F 19 e 2 F 20 c 2 F 21 b 2 F 22 a 2 F 23 d 2 F 24 c 2 F 25 d 3 M 26 b 2 F 27 a 2 F 28 d 2 F 29 d 2 F 30 b 3 M