2do parcial Logica 2016

Grupo 1A, INET

Ejercicio 1. (10 puntos)

Calcule el tipo de similaridad de la siguiente estructura:

α = (Z, >, =, +,2 , 1, 2, 3)

Ejercicio 2. (35 puntos)

1. Defina un alfabeto para el tipo de similaridad del ejercicio 1.

2. Defina 3 términos abiertos para el alfabeto definido en la parte 1.
3. Defina 3 términos cerrados para el alfabeto definido en la parte 1.
4. Defina 3 fórmulas atómicas abiertas para el alfabeto definido en la parte
1.
5. Defina 3 fórmulas atómicas cerradas para el alfabeto definido en la parte
1.
6. Defina 3 fórmulas no atómicas abiertas para el alfabeto definido en la parte
1.
7. Defina 3 fórmulas no atómicas cerradas para el alfabeto definido en la
parte 1.

Ejercicio 3. (25 puntos)

1. Defina una estructura distinta de α con el tipo de similaridad del ejercicio

1.
2. Defina una correspondencia del alfabeto del ejercicio 2 a la estructura de
la parte 1 de este ejercicio.
3. Interprete los términos cerrados del ejercicio 2 en la estructura de la parte
1 de este ejercicio.
4. Interprete las fórmulas atómicas cerradas del ejercicio 2 en la estructura
de la parte 1 de este ejercicio.
5. Interprete las fórmulas no atómicas cerradas del ejercicio 2 en la estructura
de la parte 1 de este ejercicio.

1
Ejercicio 4. (15 puntos)
Demuestre usando deducción natural la siguiente proposición:

(A ∧ B) → ((A → C) → C)

Ejercicio 5.(15 puntos)

Demuestre con un contraejemplo:

̸|= (∀x.φ(x)) → (¬∃x.φ(x))