Maestría en Epistemología e Historia de la Ciencia

Universidad Nacional de Tres de Febrero

INTRODUCCIÓN A LA LÓGICA, LA TEORÍA DE CONJUNTOS Y LA LÓGICA INFORMAL

Modalidad Semi-Presencial

Profesor: Dr. Federico Penelas

EVALUACIÓN FINAL

Las condiciones de aprobación del examen son dos:a) Obtener una calificación mínima total de 7 (siete) puntosb) Obtener 1 (un) punto como mínimo 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 inválidos con premisas contradictorias. b) Todo argumento con conclusión contradictoria es inválidoc) Todo argumento inválido puede transformarse en válido si se le agrega una premisa.

1.5 PUNTOS

2) Escriba un breve diálogo 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 diálogo, más extenso, que contemple las dos consignas.

2 PUNTOS

3) Formalice el siguiente razonamiento en el lenguaje de la lógica proposicional y señale si es válido o no utilizando el método del condicional asociado.

Para que los alumnos aprueben LOGICA es condición suficiente que obtengan una nota superior a 4 en esa materia.Los alumnos obtienen una nota superior a 4 en LOGICA o aprueban EPISTEMOLOGÍA.Es condición necesaria para que los alumnos aprueben EPISTEMOLOGÍA que conozcan la teoría falsacionista de Popper.Que los alumnos no aprueben LOGICA es condición necesaria para que se depriman.Los alumnos se deprimen, pero hacen una fiesta.Por lo tanto, los alumnos conocen la teoría falsacionista de Popper. 1.5 PUNTOS

4) Complete la derivación

1) p q premisa

2) p s premisa3) (s r) q premisa4) supuesto5) s6) I, 57) 8) q q 9) I, 4-810) supuesto11) I, 1012) I, 10-1113) q q

1 PUNTO

5) Formalice las siguientes oraciones en el lenguaje de la lógica de predicados

5) Formalice las siguientes oraciones en el lenguaje de la lógica de predicados

(i) Los perros que cuida Laura son envenenados por Juan.(ii) Algunos amigos de Pedro odian a los hinchas de Boca.

2 PUNTOS

6 ) Dada la siguiente configuración de hechos del mundo: Mauricio odia a Néstor, Néstor ama a Cristina y Cristina ama a Néstor. Néstor y Cristina fueron presidentes del país 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 función interpretación de modo que Mauricio, Néstor y Cristina sean nombrados, la letra P represente la relación “amar”, la letra Q represente la relación de odiar, y la letra R la propiedad “ser (o haber sido) presidente de la Argentina”

b) Señale si las siguientes oraciones son verdaderas o falsas en dicho modelo.

xy ( Qxy Rx)xy (Rx Pxy)

2 PUNTOS