Maestra en Epistemologa e Historia de la Ciencia Universidad Nacional de Tres de Febrero

INTRODUCCIN A LA LGICA, LA TEORA DE CONJUNTOS Y LA LGICA INFORMAL Modalidad Semi-Presencial Profesor: Dr. Federico Penelas

EVALUACIN FINAL Las condiciones de aprobacin del examen son dos: a) Obtener una calificacin mnima total de 7 (siete) puntos b) Obtener 1 (un) punto como mnimo en el ejercicio 1 1) Responda si las siguientes afirmaciones son verdaderas o falsas y justifique su respuesta dando, a su vez, ejemplos: a) Hay argumentos invlidos con premisas contradictorias. b) Todo argumento con conclusin contradictoria es invlido c) Todo argumento invlido puede transformarse en vlido si se le agrega una premisa. 1.5 PUNTOS 2) Escriba un breve dilogo entre dos personajes, en el cual uno de los dos interlocutores formula un ad populum no falaz. Escriba otro en donde uno realice pregunta compleja. Puede escribir un solo dilogo, ms extenso, que contemple las dos consignas. 2 PUNTOS 3) Formalice el siguiente razonamiento en el lenguaje de la lgica proposicional y seale si es vlido o no utilizando el mtodo del condicional asociado. Para que los alumnos aprueben LOGICA es condicin suficiente que obtengan una nota superior a 4 en esa materia. Los alumnos obtienen una nota superior a 4 en LOGICA o aprueban EPISTEMOLOGA. Es condicin necesaria para que los alumnos aprueben EPISTEMOLOGA que conozcan la teora falsacionista de Popper. Que los alumnos no aprueben LOGICA es condicin necesaria para que se depriman. Los alumnos se deprimen, pero hacen una fiesta. Por lo tanto, los alumnos conocen la teora falsacionista de Popper. 1.5 PUNTOS 4) Complete la derivacin 1) p q premisa

2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13)

ps premisa (s r) q premisa supuesto s I, 5 qq I, 4-8 supuesto I, 10 I, 10-11

qq

1 PUNTO 5) Formalice las siguientes oraciones en el lenguaje de la lgica de predicados 5) Formalice las siguientes oraciones en el lenguaje de la lgica de predicados (i) (ii) Los perros que cuida Laura son envenenados por Juan. Algunos amigos de Pedro odian a los hinchas de Boca.

2 PUNTOS 6 ) Dada la siguiente configuracin de hechos del mundo: Mauricio odia a Nstor, Nstor ama a Cristina y Cristina ama a Nstor. Nstor y Cristina fueron presidentes del pas y Mauricio no. Dado un lenguaje con tres constantes de individuo (a, b, c) y tres letras de predicados (P, Q Y R). a) construya un modelo explicitando su dominio y una funcin interpretacin de modo que Mauricio, Nstor y Cristina sean nombrados, la letra P represente la relacin amar, la letra Q represente la relacin de odiar, y la letra R la propiedad ser (o haber sido) presidente de la Argentina b) Seale si las siguientes oraciones son verdaderas o falsas en dicho modelo. xy ( Qxy Rx) xy (Rx Pxy) 2 PUNTOS