final de lógica i y ii
DESCRIPTION
Final de Lógica I y II UNRTRANSCRIPT
Final de Lógica I y II
22 de septiembre de 2015 de 11 a 13 hs
Recuerden que deberán inscribirse para rendir final. (si no figuran en el acta de examen no podrán rendir)
Será escrito. Contendrá sólo preguntas teóricas del tipo de las aquí abajo consignamos que pueden versar sobe cualquiera de los ítems de la bibliografía ya indicada. El 15 de septiembre a las 15 hs podrán consultar alguna cuestión puntual asociada con este examen. Las dudas por mail sólo se responden desde esta dirección [email protected]
La consigna será
Determine si las siguientes afirmaciones son VERDADERA o FALSA. Justifique su respuesta
Aclaraciones:
La ausencia de justificación hace que el punto valga 0 punto Es parte de lo que se examina y se evalúa el hecho de que el alumno sepa si la justificación
que propone es o no suficiente para la opción elegida. El examen se desarrollará a libro cerrado
Para lógica I
“El tipo de semántica formal asociada con la lógica proposicional clásica es de orden intensional”
Respuesta esperada: FALSO. La semántica formal asociada con la lógica proposicional clásica es de orden EXTENSIONAL. Deberá entonces desarrollarse una explicación de la diferencia entre un enfoque extensional y un intencional (ver Falguera pág 161)
Para lógica II
“El carácter extensional de la lógica clásica de primer orden se concretan en propiedades como por ejemplo Principio de Extensionalidad Cuantificacional”
Respuesta esperada: VERDADERO se espera aquí la enunciación del principio acompañado de una explicación de qué se entiende en el contexto de la lógica de predicados por extensionalidad. (ver Falguera pág.204)