Lógica II

Licenciatura en Filosofı́a - Profesorado de Filosofı́a

Facultad de Humanidades y Ciencias UNL
2020

Práctico Evaluativo N° 2

2
 La evaluación es de carácter individual.

2
 La resolución de los ejercicios debe presentarse en un único archivo formato
.pdf.

2
 El nombre del archivo debe ser “TP2 Nombre y Apellido.pdf”.

2
 Enviar la resolución del Práctivo Evaluativo 2 con el asunto “Lógica II - Nombre
y Apellido” vı́a e-mail a ambas direcciones:

epcorderopenelope@gmail.com
manuel.dahlquist@gmail.com

2
 La fecha lı́mite de entrega es el dı́a Martes 30/06/20.

Ejercicio 1. Demuestre que para cualesquiera fórmulas A, B y C y para cualquier con-

junto de fórmulas ∆ se satisfacen las siguientes relaciones de consecuencia sintáctica.

Aclaración: Algunas de las pruebas correspondientes son de tipo formal y otras no. Tener
en cuenta lo trabajado en clase.

(1) B ` (A → ¬¬B).

(2) Si ∆ ` A y ∆ ∪ {A} ` B ⇒ ∆ ` B.

(3) ` (¬A → A) ⇒ ` (¬A → B).

 Lógica II – Práctico Evaluativo 2 2

Ejercicio 2. En base a la lectura del texto de Nagel y Newman y la ficha de cátedra

de las autoras Picollo y Teijeiro:

Aclaración: Recuerde dar respuestas de manera concisa, mencionando lo más relevante.

No está permitido transcribir de manera textual las respuestas.

1. Explique qué se entiende por axioma y en qué consiste el método axiomático. Ejem-
plifique.

2. ¿Si un sistema es axiomatizable entonces posee un único conjunto de axiomas?

3. A partir de la obra de Gödel ¿Qué limitaciones presenta el método axiomático?

4. ¿Por qué la matemática se considera una disciplina abstracta? Indique qué rol juega
el concepto de consistencia en la abstracción las matemáticas.

5. ¿Qué enunciado/s se considera/n un teorema en un sistema inconsistente? Justificar.

6. Explique qué se entiende por modelo y qué propiedad de los sistemas lógicos permi-
ten analizar.

7. ¿Cuál es la diferencia entre un sistema simplemente consistente y uno absolutamente

consistente?

8. Indique la necesidad de un abordaje metamatemático para formalizar un sistema

deductivo.