Temario para exámenes extraordinarios
Algunos de ustedes se preguntan ¿qué vendrá en el examen extraordinario?
La respuesta aquí:
Lógica I
Falacias:
Identificar falacias clásicas y establecer sus refutaciones. (Fray Alonso de la Veracruz, Libro de los elencos sofísticos).
Silogística:
Cuadro de oposición: Relaciones, conversiones y valores de verdad.
Razonamietno: Completar razonamientos dadas las premisas, conversion de figuras silogísticas por consonantes indicadoras y reducción al absurdo. (Francisco García Olvera, Lógica formal para principiantes)
Lógica proposicional:
Tablas de verdad.
Demostraciones en lógica proposicional utilizando 19 reglas clásicas de Copi. (Irving Copi, Lógica simbólica)
Lógica II
Lógica proposicional:
Demostraciones utilizando los operadores de bicondicional y exclusión, así como sus reglas extendidas. (Guillermo González, et al. Ars Logicorum)
Lógica de predicados:
Traducciones de oraciones en lenguaje natural al de lógica de predicados.
Demostraciones de argumentos en lógica de predicados. (Copi)
Frege: Prueba teorico-práctica de Conceptografía (saber de qué se trata y hacer demostraciones en la notación fregeana).
Solución a acertijos con portadores de verdad comprometidos (Smullyan, To mock a mockingbird).
La respuesta aquí:
Lógica I
Falacias:
Identificar falacias clásicas y establecer sus refutaciones. (Fray Alonso de la Veracruz, Libro de los elencos sofísticos).
Silogística:
Cuadro de oposición: Relaciones, conversiones y valores de verdad.
Razonamietno: Completar razonamientos dadas las premisas, conversion de figuras silogísticas por consonantes indicadoras y reducción al absurdo. (Francisco García Olvera, Lógica formal para principiantes)
Lógica proposicional:
Tablas de verdad.
Demostraciones en lógica proposicional utilizando 19 reglas clásicas de Copi. (Irving Copi, Lógica simbólica)
Lógica II
Lógica proposicional:
Demostraciones utilizando los operadores de bicondicional y exclusión, así como sus reglas extendidas. (Guillermo González, et al. Ars Logicorum)
Lógica de predicados:
Traducciones de oraciones en lenguaje natural al de lógica de predicados.
Demostraciones de argumentos en lógica de predicados. (Copi)
Frege: Prueba teorico-práctica de Conceptografía (saber de qué se trata y hacer demostraciones en la notación fregeana).
Solución a acertijos con portadores de verdad comprometidos (Smullyan, To mock a mockingbird).
Comentarios
Publicar un comentario