Modelo de examen

Lógica II
2020/2021

1. Explica en qué consiste el cálculo lógico y resume el contexto histórico en que surgiera.

(1 pto.)

2. Demuestra mediante diagramas de Venn:

(2 pts.)

a) la validez o invalidez del siguiente silogismo

Premisa 1 Ninguna casa grande es acogedora.

Premisa 2 Ninguna cabaña de madera es una casa grande.

Conclusión Ninguna cabaña de madera es acogedora.

b) la corrección o incorrección del siguiente razonamiento

Hipótesis 1 A⊆B

Hipótesis 2 A ∩ ¬C ≠ ∅

Conclusión C ∩ ¬B ≠ ∅

3. Demuestra por deducción natural.

(3 puntos)

a) ¬(P∧Q), Q ⊢¬P

b) ¬(P ∧ S), ¬(¬S ∧ Q) ⊢ ¬((P ∧ R) ∧ Q)

a) ∀x[P(x) → ¬Q(x)] ⊢ ¬∃x[P(x) ∧ Q(x)]

b) ∀xP(x) ∨ ∀xQ(x) ⊢ ∀x[P(x) ∨ Q(x)]

c) ∀x[P(x) → (Q(x) ∨ R(x))], ¬∃x[P(x) ∧ R(x)] ⊢ ∀x[P(x) → Q(x)]

4. Define las nociones de consistencia, completud y decibilidad (para el cálculo
proposicional y el de predicados).

(2 pts.)

5. Explica en qué consisten las lógicas no clásicas incidiendo en sus puntos de convergencia
y divergencia respecto de la lógica clásica.

(2 pts.)