Lògica

Grau de Filosofia

Càlcul deductiu proposicional

Exercicis

1. Justifiqueu les següents afirmacions mitjançant una derivació:

(a) α → γ, β → γ ` (α ∨ β) → γ (f) ¬(α → ¬β) ` α ∧ β

(b) α → β ` ¬α ∨ β (g) α ∧ ¬β ` ¬(α → β)
(c) ¬α ∨ β ` α → β (h) ¬α ∧ ¬β ` ¬(α ∨ β)
(d) α ∨ β ` ¬(¬α ∧ ¬β) (i) ¬(α → β) ` α ∧ ¬β
(e) ¬(¬α ∧ ¬β) ` α ∨ β (j) ` α ∨ ¬α

2. Justifiqueu les següents regles derivades:

(i)
Σ ∪ {α} β
Σ ∪ {¬α} β
Σ β
(ii)
Σ ¬¬α
Σ α
(iii)
Σ ¬α
Σ α→β
(iv)
Σ α→β
Σ ¬β → ¬α
(v) Modus Tollens [MT]
Σ α→β
Σ ¬β
Σ ¬α
(vi) Sil.logisme disjuntiu [SD]

Σ α∨β Σ α∨β
Σ ¬α Σ ¬β
Σ β Σ α