Está en la página 1de 6

Gua 1 Formalizacion en logica proposicional

Comisin Bucar-Tajer

1.

Formalizacin de enunciados con una sola conectiva

Formalizar los siguientes enunciados, y especicar el diccionario utilizado. Ayuda: todos ellos incluyen, como mucho, una conectiva. 1. Marcos fue a Buzios pero Luciana fue a Ro. 2. Tanto Simba como Mufasa son felinos. 3. Luisana y Michael son novios. 4. El nombre de Dios es impronunciable. 5. Patricia ir a buscar a Martn siempre y cuando l se lo pida. 6. Todos odiarn a Mara, si maltrata al mesero. 7. Que llueva es condicin suciente para que Luis est triste. 8. Para que Horacio haga gimnasia, es necesario que tenga problemas de salud. 9. Peter ir al cine o al teatro. 10. Comeremos knishes, a menos que comamos varnikes. 11. Mara va al cine slo si una chica la invita. 12. El agua de esta canilla sale o bien fra o bien sucia. 13. Todo sucedi en Londres y en Roma. 14. No creo que el DT haya elegido a Messi como capitn porque lo necesite como lder. 15. 2 ms 2 es 4 si y slo si el partido lo dice. 16. No es cierto que el calentamiento global se deba a los ataques de los piratas. 1

17. Es necesario que haya crisis para que haya concientizacin. 18. Es suciente que Nito Artaza se baje de su candidatura para que la interna radical se anule. 19. Mi voto no es positivo. 20. Que Juan Pablo exista es condicin necesaria y suciente para que sufra. 21. Mara canta en espaol siempre y cuando venda discos. 22. La Paz y Sucre son capitales de Bolivia. 23. Dios existe o Satn existe. 24. Las ideas no se matan. 25. El perfume que compraremos ser ctrico o frutal.

2.
2.1.

El lenguaje L de la lgica proposicional


Reconocer frmulas

Cules de estas son frmulas de L? En caso de que lo sean, especicar su signo principal. En caso de que no lo sean, justicar. 1. p q r 2. r (p q) 3. rp 4. p (q q) 5. ((q (r p)) q) 6. (p) 7. (p (q (r (s s)))

2.2.

Construir frmulas

Construir frmulas con... 1. Una disyuncin y una conjuncin. 2. Un condicional, un bicondicional y una negacin. 3. Todas las conectivas de L. 4. Tres parntesis seguidos al nal. 2

2.3.

Formalizacin de enunciados

Formalizar los siguientes enunciados, y especicar el diccionario utilizado. 1. Hoy no hace calor. 2. Sofa est cursando Lgica y Antigua o ninguna de las dos cosas. 3. Marco no quiere ni pensar en volver. 4. Si Justina obtiene la beca, se quedar en Buenos Aires; pero si no la obtiene ir a Nueva York. 5. No es cierto que sea falso que no llueva. 6. Si todos los alumnos de la comisin aprueban Lgica, bailaremos y tomaremos cerveza. 7. No quiero dormir ni estar despierto. 8. Es necesario que todos rindan el primer parcial para aprobar Moderna. 9. Slo si aplica a ello, Martn obtendr una beca postdoctoral. 10. Alonso volver slo si no consigue una beca doctoral o le insistimos mucho. 11. Es necesario y suciente que Paula tenga los idiomas modernos aprobados para poder inscribirse a la tesis. 12. Pablo promocionar Lgica si y slo si saca 7 o ms de 7 de promedio en los parciales. 13. Siempre que hay elecciones, la facultad est superpoblada de carteles. 14. Andrs tendr puesto de trabajo, a menos que no lo desee. 15. Cuando defends la tesis te dan el ttulo. 16. Basta con que Joaqun saque ms de 7 en los parciales para que obtenga un asterisco. 17. Nicols y Macarena aprobarn Antigua slo si entregan el parcial domiciliario. 18. A no ser que viaje, Barrio dictar el terico del lunes. 19. Pablo ser licenciado en losofa nica y exclusivamente si deende su tesis de licenciatura.

20. Es suciente que algunos no comprendan para que el tema vuelva a ser explicado. 21. El signicado es objetivo slo si no es psicolgico. 22. La asamblea es indivisible, soberana, universal y no se equivoca. 23. El noema no puede ser real pero tampoco puede ser inmanente. 24. Que la justicacin sea internista es condicin suciente para que el error masivo sea posible. 25. No es cierto que si la moral no es categrica, el relativismo moral es correcto. 26. Que Platn no sea bien interpretado es condicin necesaria para que se lo considere un pensador anti-democrtico. 27. San Agustn es un padre del catolicismo, aunque si el Papa lo conociera, lo acusara de inel o de hereje. 28. La felicidad es el n hombre si y slo si la losofa moderna y la contempornea no tienen razn. 29. Nietzsche o Schopenhauer fueron ledos por Hitler, pero el nazismo y Nietzsche habran sido enemigos.

3.
3.1.

Formalizacin
Formalizacin de enunciados

Formalizar los siguientes enunciados, y especicar el diccionario utilizado. 1. Dios existe y todo est permitido slo si la teologa cristiana y la juda no dicen la verdad. 2. Si Mill sostuvo una posicin deontolgica o teleolgica, entonces el profesor de tica lo puede encasillar junto a Kant o junto a Aristteles respectivamente. 3. Si el argumento de Anselmo es bueno, entonces Dios existe slo si es el ente ms perfecto que se puede pensar. 4. El primer y el segundo argumento de Santo Toms para probar la existencia de Dios sern considerados buenos o malos en la clase.

5. Wittgenstein escribi el Tractatus y las Investigaciones Filoscas siempre y cuando recopilar anotaciones sea escribir un libro o un texto losco. 6. El lenguaje es modular u holista, pero el reconocimiento de oraciones es modular y no holista, si funciona con informacin encapsulada. 7. El argumento cartesiano funciona siempre y cuando que Descartes piense sea condicin suciente para que exista. 8. Ricardo Piglia y Csar Aira son los dos mejores escritores argentinos siempre y cuando no consideremos a los muertos ni a los que viven en el extranjero. 9. Orson Welles y Rita Hayworth fueron pareja y ambos actuaron en La dama de Shanghai, aunque en Gilda slo actu ella. 10. Si mueres, vers todo iluminado o bien por una luz roja o bien por una azul, pero si no mueres, quedars ciego y no vers todo iluminado por ninguna de esas dos luces.

3.2.

Formalizacin de razonamientos

Formalizar los siguientes razonamientos, y especicar el diccionario utilizado. 1. Si no puedo rechazar la idea de que pienso, entonces pienso. Pero si pienso, existo. Por lo tanto, existo; dado que no puedo rechazar la idea de que pienso. 2. Que el sujeto trascendental posea categoras del entendimiento es condicin necesaria para que perciba objetos y no tenga representaciones aisladas. El sujeto trascendental percibe objetos. Por lo tanto, posee categoras del entendimiento. 3. La mente no superviene del cuerpo. Pues si eso es as, cualesquiera dos entidades fsicamente idnticas tienen necesariamente los mismos estados mentales. Pero dos entidades fsicamente idnticas no necesariamente tienen los mismos estados mentales. 4. Los conceptos son entidades subjetivas u objetivas. Si son objetivas, puede hacerse lgica, pero es imposible explicar el status metafsico de los conceptos. Si son subjetivas, no puede hacerse lgica, pero es posible explicar su status metafsico. Pero no es posible explicar el status metafsico de los conceptos. En consecuencia, son entidades objetivas y puede hacerse lgica.

5. Si renunciamos a comprender el mundo y nos dedicamos a cambiarlo, entonces o bien abandonamos la losofa, o bien no la abandonamos pero creemos que la tesis sobre Feuerbach es correcta. Creemos que la tesis sobre Feuerbach es correcta. En consecuencia, nos dedicamos a cambiar el mundo siempre y cuando no abandonemos la losofa.