Pgina 1 de 12 C) Concepto D) raciocinio 5) Se le define como el nmero de individuos que abarca un concepto: A) Comprensin B) Abstraccin C) Extensin D) definicin Se le define

como el nmero de notas o caractersticas que abarca un concepto. A) Comprensin B) Abstraccin C) Extensin D) Definicin

GUIA ANUAL DE LGICA PARA EXAMENES FINALES Y EXTRAORDINARIOS. POR ROBERTO ITURBE JUREZ Recuerda que los ejercicios pueden variar en los exmenes. En la sntesis de programa o trptico se sugiere una bibliografa y en los apuntes en la que te puedes apoyar para la resolucin del examen. Elabora un calendario en donde distribuyas los das de estudio. Si tienen orden y empeo a la resolucin de la presente gua no ser difcil. *NOTA IMPORTANTE. Apyate en tu profesor. 1) Tipo de ciencia que se caracteriza por tratar ente abstracto como interpretado y solo existen en la mente humana. A) ideal B) fctica C) material D) formal La palabra lgica proviene del griego logos que significa en este caso... A) Tratado B) Ciencia C) Pensamiento D) Estudio Ciencia que estudia el pensamiento pero en cuanto a su estructura para facilitar el pensamiento correcto. A) Gramtica B) Sicologa C) Epistemologa D) Lgica Se define como la representacin mental de las notas esenciales de un ser, sin afirmar ni negar nada de l. A) proposicin B) Juicio

6)

7) Es aquel concepto que depende de otro y tiene menos extensin que ste. A) Subordinante B) Subordinado C) Coordinado D) Dependiente 8) Es aquel concepto del que dependen otros y que por lo tanto tiene menor extensin. A) Subordinado B) Coordinante C) Coordinado D) Subordinante 9) Son dos o ms conceptos que entre si no tienen una relacin de subordinacin, pero si respecto a otro. A) Subordinados B) Coordinados C) Subordinantes D) Dependientes. 10) Los conceptos que se expresan con dos o ms trminos se les llama A) Simples B) Complejos C) Colectivos D) Abstractos

2)

3)

4)

Pgina 2 de 12

11) El concepto agilidad en cuanto a su naturaleza es A) Abstracto B) Concreto C) Simple D) Complejo. 12) Son conceptos que expresan una cualidad sin referirse a un ser que la posea. A) Compuestos B) Concretos C) Abstractos D) Singulares 13) Benito Jurez en cuanto a su cantidad es un concepto A) Particular B) Universal C) Singular D) Simple. 14) El concepto Ser en cuanto al nmero de notas esenciales que abarca se le considera: A) Singular B) Abstracto C) Complejo D) Simple 15) El trmino pandilla en cuanto a su extensin es A) Universal B) Particular C) Colectivo D) Complejo 16) Cuando en un concepto una persona puede determinar sus caractersticas esenciales se dice que tiene un concepto A) Claro B) Distinto C) Perfecto D) Confuso.

17) Cuando una persona no establece la diferencia de dos conceptos del campo de la fsica como son fuerza y energa, se dice que tiene un concepto A) Oscuro B) Confuso C) Imperfecto D) Ambiguo 18) Es aquello que se puede atribuir o predicar de un ser; pueden ser esenciales y no-esenciales. A) predicable B) Categora C) gnero D) lo propio. 19) Son conceptos de mxima extensin que agrupan a un nmero extenso de seres. Ejemplo de ellas son tiempo, cantidad, cualidad, relacin, etc. A) predicable B) Categora C) gnero D) lo propio. 20) REALIZA 3 EJERCICIOS DE PREDICABLES Y 3 CATEGORAS EN TU CUADERNO. 21) Es la operacin conceptuadora, que expresa lo que es un objeto, sin afirmar ni negar nada de l. A) inordinacin B) divisin C) definicin D) Clasificacin 22) Es la operacin conceptuadora que consiste distribuir el todo en sus partes. A) inordinacin B) divisin C) definicin D) Clasificacin 23) Es una operacin conceptuadora, que consiste en formar grupos de seres o conceptos, segn semejanzas o diferencias. A) inordinacin

Pgina 3 de 12 B) divisin C) definicin D) Clasificacin 24) Esta operacin consiste en colocar un ser o concepto dentro de un lugar u orden preestablecido. A) inordinacin B) divisin C) definicin D) Clasificacin 25) Es la expresin externa, ya sea oral o escrita, de un concepto. A) proposicin B) trmino C) concepto D) argumento 26) el trmino chocolate proviene del nhuatl xocotl: amargo y atl: agua. Es la operacin conceptual llamada A) Definicin por gnero y diferencia especfica B) Definicin descriptiva C) Definicin accidental D) Definicin etimolgica. 27) Una computadora comprende principalmente CPU, monitor y teclado En este caso se us la operacin conceptuadora A) Definicin B) Clasificacin C) Inordinacin D) Divisin 28) Un ejemplo de invertebrados son los moluscos e insectos. La operacin conceptuadora que aqu se trata es A) Divisin B) Inordinacin C) Clasificacin D) Definicin 29) Es una regla de la definicin. A) Debe usarse un solo criterio para realizarla. B) Debe evitarse que sea afirmativa C) La palabra a definir debe procurarse que est en la definicin. D) Debe usarse conceptos especializados y rebuscados. 30) Es una regla fundamental tanto de la clasificacin como de la divisin A) La palabra definida no debe estar en la definicin B) Debe evitarse que sea negativa C) Debe ser jerrquica, es decir, ordenada. D) Se deben formar clases. 31) Tipo de pensamiento que consiste en la representacin de un objeto sin afirmar ni negar nada de l y se obtiene a travs de la abstraccin. A) CONCEPTO B) JUICIO C) RACIOCINIO D) ABSTRACCIN 32) Tipo de pensamiento que consiste en la afirmacin de un concepto con respecto a otro y cuya expresin externa es la proposicin. A) CONCEPTO B) JUICIO C) RACIOCINIO D) ABSTRACCIN 33) Tipo de pensamiento que tiene como caracterstica esencial que sea correcto o incorrecto A) CONCEPTO B) JUICIO C) RACIOCINIO D) ABSTRACCIN 34) Tipo de pensamiento que tiene como caracterstica esencial que es su verdad o falsedad A) CONCEPTO B) JUICIO C) RACIOCINIO D) ABSTRACCIN

Pgina 4 de 12 35) Es el elemento del juicio que tiene la funcin de establecer la relacin entre los conceptos que lo componen. A) PREDICADO B) COMPLEMENTO C) SUJETO D) CPULA 36) Cul de las siguientes expresiones no puede ser considerada como un juicio porque expresa un imperativo? A) Quin descubri Amrica? B) Qu hermosa est la maana! C) Ama a tu prjimo como a ti mismo. D) Mxico tiene una gran riqueza natural. 37) Cul expresin de las siguientes no puede ser considerada como un juicio? A) Vive el momento B) La vida es breve C) El volcn Popocatepetl est activo. D) Algunos filsofos no vivieron como predicaron 38) Un juicio categrico de tipo A se caracteriza porque es A) Particular-negativo. B) Universal- afirmativo. C) Universal-negativo. D) Particular afirmativo. 39) Un juicio categrico de tipo O se caracteriza porque es A) Particular-negativo. B) Universal- afirmativo. C) Universal-negativo. D) Particular afirmativo. 40) Es un ejemplo de juicio E A) Todos los volcanes estn activos B) No todos los volcanes no estn activos. C) Todos los volcanes no estn activos. D) No todos los volcanes estn activos. 41) Es un ejemplo de tipo I. A) No todas las aves vuelan. B) Todas las aves no vuelan. C) No todas las aves no vuelan. D) Todas las aves vuelan. 42) En el cuadro de oposicin son aquellos juicios que difieren tanto en cantidad como en cualidad. A) CONTRARIO B) SUBCONTRARIO C) SUBALTERNO D) CONTRADICTORIO 43) En el cuadro de oposicin son aquellos juicios en los que ambos son particulares pero difieren en cualidad. A) CONTRARIO B) SUBCONTRARIO C) SUBALTERNO D) CONTRADICTORIO 44) En el cuadro de oposicin son aquellos juicios que tienen la misma cualidad pero difieren en cantidad. A) CONTRARIO B) SUBCONTRARIO C) SUBALTERNO D) CONTRADICTORIO 45) En el cuadro de oposicin son aquellos juicios en los que ambos no pueden ser verdaderos pero si falsos. A) CONTRARIO B) SUBCONTRARIO C) SUBALTERNO D) CONTRADICTORIO 46) En el cuadro de oposicin son aquellos juicios que no pueden ser ambos verdaderos ni falsos simultneamente. A) CONTRARIO B) SUBCONTRARIO C) SUBALTERNO D) CONTRADICTORIO 47) En el cuadro de oposicin son aquellos juicios en los cuales de la verdad de la universal se infiere la verdad de la particular y de la falsedad de la particular se infiere la falsedad de la universal.

Pgina 5 de 12 A) B) C) D) CONTRARIO SUBCONTRARIO SUBALTERNO CONTRADICTORIO 54) Un juicio categrico de tipo E se representa a travs de Diagramas de Venn as: A) B)

48) El juicio contrario de Ninguna ave vuela es A) Algunas aves vuelan. B) Algunas aves no vuelan C) Todas las aves no vuelan D) Todas las aves vuelan 49) El juicio subalterno de El len es un mamfero. A) Todos los leones son mamferos B) Ningn len es mamfero C) Algunos leones no son mamferos D) Algunos leones son mamferos. 50) El juicio contradictorio de Algunas personas no son honestas A) Todas las personas no son honestas B) Todas las personas son honestas C) No todas las personas son honestas D) No todas las personas no son honestas. 51) Los juicios categricos en un diagrama de Venn se representa a travs de A) Un rectngulo B) Dos tringulos. C) Dos crculos que se traslapan. D) A travs de corchetes 52) La zona sombreada en un diagrama de Venn representa A) Un rea donde no hay individuos B) Un rea donde existe por lo menos un individuo C) El complemento de una clase. D) A la clase misma. __ 53) La expresin S P representa A) A la clase de individuos que son S pero no son P. B) A la clase de individuos que ni son S ni P. C) A la clase de los individuos que no son S pero si P. D) A la clase de los individuos que son S y son P.

C)

D)

55) Un juicio categrico de tipo I se representa a travs de diagrama de Venn as: A) B)

C)

D)

56) Este concepto hace referencia a la relacin necesaria que guardan la conclusin con las premisas. A) Inferencia B) correccin C) Implicacin D) argumentacin

Pgina 6 de 12

57) Este concepto hace referencia a la operacin que se realiza para obtener una conclusin basndose en las premisas. A) Inferencia B) correccin C) Implicacin D) Argumentacin 58) Es la caracterstica esencial de una inferencia inmediata A) Es un razonamiento que est formado de un solo juicio. B) Es un razonamiento que tiene solo una conclusin. C) Que tiene ms de dos premisas. D) Es un razonamiento que consta de una sola premisa. 59) Si tenemos la siguiente premisa Todos los huesos estn formados de calcio su conclusin por contraposicin es: A) No todos los huesos estn formados de calcio B) Todo lo que no est formado de calcio es hueso C) Todo lo que no est formado de calcio no es hueso D) Algo que est formado de calcio es hueso. 60) Si tenemos la siguiente premisa No todos los perros no son utilizados para el trabajo, su conclusin por conversin simple es: A) Todos los que son utilizados para el trabajo son perros B) Algunos que son utilizados para el trabajo no son perros C) Ningn perro es utilizado para el trabajo D) Algunos que son utilizados para el trabajo son perros. 61) Si tenemos la siguiente premisa Ningn planeta tiene luz propia su conclusin por subalternacin ser: A) Algn planeta tiene luz propia B) Algo que tiene luz propia no es planeta C) Mercurio no tiene luz propia D) El Sol si tiene luz propia

62) Si tenemos la siguiente premisa Todos los barcos son medios de transporte su conclusin por conversin accidental es: A) Algunos barcos son medios de transporte. B) Algunos medios de transporte son barcos. C) No todos los barcos no son medios de transporte. D) No todos los barcos son medios de transporte. 63) Tanto las matemticas como la lgica razonamientos son A) Inductivos B) Deductivos C) Analgicos D) Estadstica sus

64) Tanto los mtodos de Mill como las tablas de Bacon estn basados en razonamientos A) Inductivos B) Deductivos C) Analgicos D) Estadsticos 65) En este tipo de razonamiento obtiene sus conclusiones basados es la enumeracin de los casos observados. A) Inductivo B) Deductivo C) Analgico D) Estadstico 66) Este tipo de razonamiento obtiene sus conclusiones a partir de semejanzas ya sea de las causas o de los efectos. A) Inductivo B) Deductivo C) Analgico D) Estadstico 67) Los elementos que componen la materia remota de un silogismo categrico son: A) Los juicios B) Los raciocinios C) Las premisas D) Los conceptos

Pgina 7 de 12 68) Los elementos que componen la materia prxima de un silogismo categrico son: A) Los juicios B) Los conceptos C) Las premisas D) Los raciocinios 69) Es la estructura que resulta de la colocacin del trmino medio en las premisas. A) Las premisas B) El modo C) La conclusin D) La figura 70) Es aquel que resulta de los juicios que componen al silogismo categrico A) El raciocinio B) La figura C) El modo D) La conclusin. 71) El silogismo categrico comete la falacia ( )Todos los gatos son cuadrpedos; ( ) todos los perros son cuadrpedos; ( ) Por lo tanto todos los perros son gatos A) De extensin B) Cuarto trmino C) Repeticin D) Trmino medio particular. 72) Si tenemos las siguientes premisas su conclusin es ( )Todos los ancianos son dbiles; ( )algunos ancianos son iracundos ( ) :. A) Algunos dbiles son iracundos B) Algunos iracundos son dbiles C) Algunos iracundos no son dbiles. D) No es vlido. 73) El silogismo categrico comete sofisma... ( )Ningn insecto no es paloma; ( )algn insecto no vuela; ( )Por lo tanto, algo que vuela no es paloma A) Premisas negativas B) Premisas particulares C) De negacin D) Conclusin 74) El siguiente silogismo categrico pertenece a la figura ( )Todos los metales son maleable; ( ) Algunos minerales son maleable; ( ) por lo tanto, algunos minerales son maleables A) Primera B) Segunda C) Tercera D) Cuarta 75) El siguiente silogismo categrico pertenece al modo ( )Ningn mentiroso es digno de merito; ( ) alguno mentiroso es estafador; ( )por lo tanto, algn estafador no es digno de mrito A) Ferio B) Festino C) Ferison D) Fresiso 76) El siguiente silogismo categrico se convierte a primera figura al modo ( )Algunos mexicanos son filsofos; ( ) todos los filsofos son hombres cultos; ( ) Por lo tanto, algunos hombres cultos son mexicanos A) Barbara B) Celaren C) Darii D) Ferio 77) El silogismo categrico se convierte a primera figura a travs de las siguientes operaciones ( )Todos los hombres son mortales; ( )todos los mortales son vivientes; ( ) por lo tanto, algunos vivientes son hombres. A) Conversin simple B) Conversin simple y mutacin de premisas C) Conversin accidental D) Mutacin de premisas y conversin accidental

Pgina 8 de 12 78) Es el silogismo irregular que consiste en suprimir una premisa por considerarla obvia. A) Sorites B) Polisilogismo C) Epiquerema D) Entimema. 79) Que tipo se silogismo irregular es el siguiente razonamiento Todo filsofo es un pensador crtico ya que no acepta ninguna verdad que no sea demostrada. Algunos filsofos son idealistas; Por lo tanto, algunos idealistas son pensadores crticos. A) Sorites B) Polisilogismo C) Epiquerema D) Entimema 80) Es el silogismo que est formado de dos o ms silogismos categricos. A) Sorites B) Polisilogismos C) Epiquerema D) Entimema 81) Qu tipo de silogismo irregular es el siguiente razonamiento: Todo tlalnepantlense es mexiquense Todos los mexiquenses son mexicanos Todos los mexicanos son norteamericanos Todo norteamericano es americano Por lo tanto, todo tlalnepantlense es americano. A) Sorites B) Polisilogismo C) Epiquerema D) Entimema 82) Se define como falacia a A) Una proposicin que es falsa B) Un razonamiento al que le falta una premisa C) Un razonamiento que aparenta ser correcto pero no lo es D) Una proposicin que es verdadera. 83) Es un razonamiento que quien lo dice sabe que nos es vlido pero lo usa con el fin de engaar. A) Argumento B) Falacia C) Paralogismo D) Sofisma 84) Es un argumento cuya invalidez se puede detectar al realizar un anlisis a su estructura. A) Sofisma B) Falacia informal C) Paralogismo D) Falacia formal 85) Una persona que emplea un razonamiento invlido por ignorancia de las leyes de la lgica dice que comete A) Argumento B) Falacia C) Paralogismo D) Sofisma. 86) Es un argumento cuya invalidez no se detecta al analizar su estructura sino su sentido. A) Sofisma B) Falacia informal C) Paralogismo D) Falacia formal 87) Qu tipo de falacia informal comete el siguiente razonamiento? La obra del filsofo alemn Nietzsche no tiene ninguna validez porque es ateo A) Ad verecundiam B) Ad baculum C) Ad populum D) Ad hominem 88) Qu tipo de falacia informal comete el siguiente razonamiento? La cuenta que tens que sacar cuando te rompan los dientes o cuando te arranquen las uas o cuando vomites sangre o cuando A qu seguir?... Vos ya decidiste cuando vas a hablar? (Benedetti) A) Ad baculum B) Ad populum

Pgina 9 de 12 C) Ad hominem D) Ad misericordiam 89) Qu tipo de falacia informal comete el siguiente razonamiento? Capitn: (de rodillas ante Pedro)Pedro este es el ruego de un hombre desecho. Usted no es inhumano. Usted es capaz de querer a la gente, de sufrir por la gente, de morir por la gente. Pedro se lo ruego: diga un nombre y un apellido A esto se ha reducido toda mi exigencia. Igual el triunfo ser suyo (Benedetti) A) Ad populum B) Ad baculum C) Ad hominem D) Ad misericordiam 90) Qu tipo de falacia de ambigedad comete el siguiente razonamiento? -los alumnos del 401 son irresponsables! De qu grupo eres muchacho? -Del 401 -Ya veo, entonces eres un irresponsable. A) Equivoco B) Anfibologa C) Composicin D) Divisin 91) Qu tipo de falacia de ambigedad comete el siguiente razonamiento? Contrat a afilador de maquinaria y le rob A) Equivoco B) Anfibologa C) Composicin D) Divisin 92) De las siguientes proposiciones es una proposicin atmica A) Mara compr fruta, verduras y carne. B) Habr prdida de empleos si hay recesin. C) Pedro viaj a Chiapas y su padre se qued a trabajar. D) O Porfirio Daz fue un hroe de guerra o fue un dictador. 93) Una proposicin es molecular porque A) Est formada de muchos trminos. B) Est formada de una sola proposicin. C) Est formada de varias proposiciones unidas mediante conectivos lgicos. D) carecen de conectivos lgicos. 94) Es un ejemplo de una proposicin conjuntiva A) Si el ro se desborda entonces las vas de comunicacin se interrumpirn. B) El ro se desborda y las vas de comunicacin se interrumpirn C) No es el caso que las vas de comunicacin se interrumpan. D) O las vas de comunicacin se interrumpen o el ro se desborda. 95) Es un ejemplo de una proposicin condicional. A) O los santos fueron personas excepcionales o fueron desadaptados sociales. B) Las estrellas tienen luz propia y los planetas solo reflejan la luz. C) Eres libre si y solo si eres responsable D) Si eres un buen lector entonces tendrs una buena comprensin de lectura. 96) Es un ejemplo de una proposicin disyuntiva. A) Si reciclamos la basura entonces evitaremos tiraderos clandestinos. B) Debemos informarnos sobre la contaminacin y poner en prctica algunas medidas sencillas.} C) Si soy honesto entonces vivir tranquilo. D) O cuidamos el planeta o iremos a nuestra propia destruccin. 97) p q es la representacin simblica de una proposicin A) Conjuntiva B) Bicondicional C) Disyuntiva D) Condicional 98) ~ p es la representacin simblica de una proposicin A) Negativa B) Condicional C) Conjuntiva D) Disyuntiva

Pgina 10 de 12 C) Que la proposicin antecedente sea verdadera y la consecuente sea falsa. D) Que por lo menos una proposicin sea verdadera. 105) La condicin para que una proposicin Bicondicional sea verdadera es A) Que ambas proposiciones sean verdaderas. B) Que ambas proposiciones tengan el mismo valor de verdad. C) Que la proposicin antecedente sea verdadera y la consecuente sea falsa. D) Que por lo menos una proposicin sea verdadera. 106) Cuando todos los valores en una tabla de verdad, en su resultado, todos son verdaderos, se dice que es A) Contradictoria B) Tautolgica C) Contingente D) Contraria 107) Cuando los valores en una tabla de verdad, en su resultado, son tanto verdaderos como falsos, se dice que es A) Contradictoria B) Tautolgica C) Contingente D) Contraria 108) Cul es la traduccin a lenguaje simblico correcta de la siguiente proposicin molecular: Si no hay lluvia entonces no habr buena cosecha y muchos campesinos emigrarn a las ciudades? A) ~P (~Q R) B) ~(P ~Q) R C) (~P ~Q) R D) ~P ~ (Q R) 109) Cul es la traduccin a lenguaje simblico correcta de la siguiente proposicin molecular: si la luna brilla entonces, o tiene luz propia o, no genera su propia energa y le proviene de otro lado? A) (P Q) (~R S)

99) Cul es la conectiva dominante de la siguiente proposicin molecular: [(p q) p] ~ (q ~ r)? A) Disyuntiva B) Condicional C) Conjuntiva D) Bicondicional 100) Cul es la conectiva dominante de la siguiente expresin: [p (q r)](~ s) A) Conjuntiva B) Negativa C) Disyuntiva D) Condicional 101) Para la construccin de la tabla de verdad cuntas lneas de combinacin se necesitan para la siguiente proposicin: [(D E) ~ F] D A) 8 B) 9 C) 32 D) 16

102) Para la construccin de una tabla de verdad cuntas lneas de combinacin se necesitan para la siguiente proposicin: (A B) (B A) A) 8 B) 16 C) 32 D) 4 103) Cul de las siguientes proposiciones no est bien expresada A) (A B) C ~ D B) [(A B) C] ~ D C) [A (B C)] ~ D D) (A B) (C ~ D) 104) La condicin para que una proposicin disyuntiva sea verdadera es A) Que ambas proposiciones sean verdaderas. B) Que ambas proposiciones tengan el mismo valor de verdad.

Pgina 11 de 12 B) P [(Q ~R) S] C) ~[P (Q ~R)] S D) P [Q (~R S)] 110) Realiza las tablas de verdad de las proposiciones de las preguntas 109, 110 y 111 y califcalas si son tautolgicas, contradictorias o contingentes 111) Determina qu regla de inferencia se puede aplicar teniendo las siguientes premisas. A) 1) (A B) ~(C D) 2) ~ (AB) 3) ________________ _____________ B) 1) (G H) I 2) ~ I 3) _________________ 113) Cada una de las siguientes es una demostracin formal de validez para el argumento indicado. Enuncia la justificacin para cada rengln que no sea una premisa. A) P1) (EF) G P2) (FG) (H I) /.: I H --------------------3) E (F G) _______________ 4) (F G) E _______________ 5) F G _______________ 6) (F G) (~F ~G) _______________ 7) F G _______________ 8) H I _______________ 9):. I H _______________

D) 1) ~(X Y) Z 2) (X Y) Z _________________ E) 1) F ~G 2) (F ~G) (~G F) ______________ F) 1) ~ ~ (E I) 2) E v I ___________________

____________

C) 1) (M N) ( O) 2) ~N ~O 3) __________________ _____________ D) 1) (P Q) 2) ~R 3) __________________ _____________ E) 1) [X (Y Z)] ~ (~X ~Y) 2) X (Y Z) 3) _________________ ______________ F) 1) V 2) V B

_________________________

112) Determina que regla de reemplazo se aplica en los siguientes casos. A) 1) L (M N) 2) (L M) N ________________ B) 1) ~[(A B) (C D)] 2) ~ (A B) ~ (C D) _____________ C) 1) (P Q) (P S) 2) P (Q S) ____________________

B) P1) S (T U) P2) U ~ U P3) (V S) (W T) /.: V ~ W --------------------4) (S T) U _______________ 5) ~ U ~U _______________ 6) ~ U _______________ 7) ~ (S T) _______________ 8) ~S ~T _______________ 9) ~ V ~ W _______________ 10) .: V ~ W _______________ C) P1) (A B) (C D) P2) ~C /.: ~B --------------------3) ~ C ~ D _______________ 4) ~ (C D) _______________ 5) ~ (A B) _______________ 6) ~A ~ B _______________

Pgina 12 de 12 7) ~B ~ A 8) .: ~B _______________ _______________

114) Construye la prueba formal de validez para los siguientes argumentos aplicando tanto las reglas de inferencia como de reemplazo. A) Si trabajo entonces gano dinero y si estoy ocioso entonces gozo la vida. O trabajo o estoy ocioso. Si trabajo entonces no gozo la vida y si estoy ocioso no gano dinero. Por lo tanto gozo la vida si y solo si no gano dinero. T: trabajo. D: gano dinero. O: Estoy ocioso. V: gozo la vida. B) Si siembra tulipanes entonces su jardn florece temprano, y si siembra margaritas entonces su jardn florece tarde. Por lo tanto, si siembra o tulipanes o margaritas entonces su jardn florece tarde o temprano. T: siembra tulipanes. E: su jardn florece temprano. A: siembra margaritas. L: su jardn florece tarde. C) Esteban tom el autobs o el tren. Si tom el autobs o condujo su propio automvil entonces lleg tarde y se perdi la reunin. No lleg tarde. Por lo tanto, l tom el tren. B: Esteban tom el autobs. T: Esteban tom el tren. C: Esteban condujo su propio automvil. L: Esteban lleg tarde. M: Esteban se perdi la reunin.