UNIVERSIDAD NACIONAL DE COLOMBIA

DEPARTAMENTO DE MATEMÁTICAS
TALLER 2 LÓGICA MATEMÁTICA- I 2013

Profesor: Pedro Zambrano

1. Usando el Teorema de Completitud, demuestre:

(a) α ∧ β ` α (E∧ I)
(b) α ∧ β ` β (E∧ II)
(c) α ` α ∨ β (I∨ I)
(d) β ` α ∨ β (I∨ II)
(e) α → β, ¬β ` ¬α (Modus Tollens)
(f) α ` ¬¬α (Doble negación I)
(g) ¬¬α ` α (Doble negación I)
(h) α ∨ β, ¬α ` β (Modus Tollendo Ponens I)
(i) α ∨ β, ¬β ` α (Modus Tollendo Ponens II)
(j) α → β, β → γ ` α → γ (Silogismo Hipotético)
(k) α → β, γ → δ, α ∨ γ ` β ∨ δ (Dilema Constructivo)

2. Usando el Teorema de Completitud, demostrar el siguiente hecho (conocido como

Teorema de la Deducción): Si Γ es un conjunto de fórmulas del cálculo proposicional
y α, β son fórmulas, si Γ ∪ {α} ` β entonces Γ ` α → β.

3. Usando el Teorema de Completitud, demostrar el siguiente hecho (conocido como

Reducción al Absurdo): Dados Γ un conjunto de fórmulas bien formadas proposi-
cionales y α una fórmula bien formada, si existe una contradicción ⊥ tal que
Γ ∪ {¬α} `⊥ entonces Γ ` α.