Lògica

Grau de Filosofia

Exercicis 8
Més càlcul

1. Realitzeu les següents derivacions.

0. {α → β} ⊢ ¬β → ¬α

1. {α → β, ¬β, α} α [E1]
2. {α → β, ¬β, α} α→β [E1]
3. {α → β, ¬β, α} β [E→ ] 1, 2
4. {α → β, ¬β, α} ¬β [E1]
5. {α → β, ¬β} ¬α [I¬ ] 3, 4
6. {α → β} ¬β → ¬α [I→ ] 5

1. {¬p → r, (p ∧ q) → r} ⊢ q → r

1. {¬p → r, (p ∧ q) → r, q, ¬r, p} p [E1]

2. {¬p → r, (p ∧ q) → r, q, ¬r, p} q [E1]
3. {¬p → r, (p ∧ q) → r, q, ¬r, p} p∧q [I∧ ] 1, 2
4. {¬p → r, (p ∧ q) → r, q, ¬r, p} (p ∧ q) → r [E1]
5. {¬p → r, (p ∧ q) → r, q, ¬r, p} r [E→ ] 3, 4
6. {¬p → r, (p ∧ q) → r, q, ¬r, p} ¬r [E1]
7. {¬p → r, (p ∧ q) → r, q, ¬r} ¬p [E¬ ] 5, 6
8. {¬p → r, (p ∧ q) → r, q, ¬r} ¬p → r [E1]
9. {¬p → r, (p ∧ q) → r, q, ¬r} r [E→ ] 7, 8
10. {¬p → r, (p ∧ q) → r, q, ¬r} ¬r [E1]
11. {¬p → r, (p ∧ q) → r, q} r [E¬ ] 9, 10
12. {¬p → r, (p ∧ q) → r} q→r [I→ ] 11

2. {α → γ, β → γ} ⊢ (α ∨ β) → γ

Sigui Σ = {α → γ, β → γ}
1. Σ ∪ {α ∨ β} α∨β [E1]
2. Σ ∪ {α ∨ β, α} α [E1]
3. Σ ∪ {α ∨ β, α} α→γ [E1]
4. Σ ∪ {α ∨ β, α} γ [E→ ] 2,3
5. Σ ∪ {α ∨ β, β} β [E1]
6. Σ ∪ {α ∨ β, β} β→γ [E1]
7. Σ ∪ {α ∨ β, β} γ [E→ ] 5, 6
8. Σ ∪ {α ∨ β} γ [E∨ ] 1,4,7
9. Σ (α ∨ β) → γ [I→ ] 8

1
3. {α → β} ⊢ ¬α ∨ β

1. {α → β, ¬(¬α ∨ β)} ¬(¬α ∨ β) [E1]

2. {α → β, ¬(¬α ∨ β), α} α→β [E1]
3. {α → β, ¬(¬α ∨ β), α} α [E1]
4. {α → β, ¬(¬α ∨ β), α} β [E→ ] 2,3
5. {α → β, ¬(¬α ∨ β), α} ¬α ∨ β [I∨ ] 4
6. {α → β, ¬(¬α ∨ β), α} ¬(¬α ∨ β) [E2] 1
7. {α → β, ¬(¬α ∨ β} ¬α [I¬ ] 5,6
8. {α → β, ¬(¬α ∨ β} ¬α ∨ β [I∨ ] 7
9. {α → β} ¬α ∨ β [E¬ ] 1,7

4. {¬α ∨ β} ⊢ α → β

1. {¬α ∨ β} ¬α ∨ β [E1]
2. {¬α ∨ β, ¬α, α, ¬β} α [E1]
3. {¬α ∨ β, ¬α, α, ¬β} ¬α [E1]
4. {¬α ∨ β, ¬α, α} β [E¬] 2,3
5. {¬α ∨ β, ¬α} α→β [I→ ] 4
6. {¬α ∨ β, α, β} β [E1]
7. {¬α ∨ β, β} α→β [I→ ] 6
8. {¬α ∨ β} α→β [E∨ ] 1,5,7

5. {α → β} ⊢ ¬(α ∧ ¬β)

1. {α → β, α ∧ ¬β} α ∧ ¬β [E1]
2. {α → β, α ∧ ¬β} α→β [E1]
3. {α → β, α ∧ ¬β} α [E∧ ] 1
4. {α → β, α ∧ ¬β} β [E→] 2,3
5. {α → β, α ∧ ¬β} ¬β [E∧ ] 1
6. {α → β} ¬(α ∧ ¬β) [I¬ ] 4, 5

6. {¬(α ∧ ¬β)} ⊢ α → β

1. {¬(α ∧ ¬β), α, ¬β} α [E1]

2. {¬(α ∧ ¬β), α, ¬β} ¬β [E1]
3. {¬(α ∧ ¬β), α, ¬β} α ∧ ¬β [I∧ ] 1,2
4. {¬(α ∧ ¬β), α, ¬β} ¬(α ∧ ¬β) [E1]
5. {¬(α ∧ ¬β), α} ¬β [E¬ ] 3, 4
6. {¬(α ∧ ¬β)} α→β [I→ ] 5

2
 7. {¬(α ∧ β)} ⊢ ¬α ∨ ¬β

1. {¬(α ∧ β), ¬(¬α ∨ ¬β), ¬α} ¬α [E1]

2. {¬(α ∧ β), ¬(¬α ∨ ¬β), ¬α} ¬α ∨ ¬β [I∨ ] 1
3. {¬(α ∧ β), ¬(¬α ∨ ¬β), ¬α} ¬(¬α ∨ ¬β) [E1]
4. {¬(α ∧ β), ¬(¬α ∨ ¬β)} α [E¬ ] 2, 3
5. {¬(α ∧ β), ¬(¬α ∨ ¬β, ¬β)} ¬β [E1]
6. {¬(α ∧ β), ¬(¬α ∨ ¬β), ¬β} ¬α ∨ ¬β [I∨ ] 5
7. {¬(α ∧ β), ¬(¬α ∨ ¬β), ¬β} ¬(¬α ∨ ¬β) [E1]
8. {¬(α ∧ β), ¬(¬α ∨ ¬β)} β [E¬ ] 6, 7
9. {¬(α ∧ β), ¬(¬α ∨ ¬β)} α∧β [I∧ ] 4, 8
10. {¬(α ∧ β), ¬(¬α ∨ ¬β)} ¬(α ∧ β) [E1]
11. {¬(α ∧ β)} ¬α ∨ ¬β [E¬ ] 9, 10

2. Justifiqueu les següents regles derivades:

(i)
Σ ∪ {α} β
Σ ∪ {¬α} β
Σ β

1. Σ ∪ {α} β Suposició
2. Σ ∪ {¬α} β Suposició
3. Σ ∪ {α, ¬β} ¬β [E1]
4. Σ ∪ {α, ¬β} β [E2] 1
5. Σ ∪ {¬β} ¬α [I¬ ] 3,4
6. Σ ∪ {¬α, ¬β} ¬β [E1]
7. Σ ∪ {¬α, ¬β} β [E2] 2
8. Σ ∪ {¬β} α [E¬] 6,7
9. Σ β [E¬] 5,8

(ii)
Σ ¬¬α
Σ α

1. Σ ¬¬α Suposició
2. Σ ∪ {¬α} ¬¬α [E2] 1
3. Σ ∪ {¬α} ¬α [E1]
4. Σ α [E¬ ] 2,3

(iii)
Σ ¬α
Σ α→β

1. Σ ¬α Suposició
2. Σ ∪ {α, ¬β} α [E1]
3. Σ ∪ {α, ¬β} ¬α [E2] 1
4. Σ ∪ {α} β [E¬ ] 2,3
5. Σ α→β [I→] 4

3
(iv)
Σ α→β
Σ ¬β → ¬α

1. Σ α→β Suposició
2. Σ ∪ {¬β, α} α [E1]
3. Σ ∪ {¬β, α} α→β [E2] 1
4. Σ ∪ {¬β, α} β [E→ ] 2,3
5. Σ ∪ {¬β, α} ¬β [E1]
6. Σ ∪ {¬β} ¬α [I¬ ] 4,5
7. Σ ¬β → ¬α [I→ ] 6

(v) Modus Tollens [MT]

Σ α→β
Σ ¬β
Σ ¬α

1. Σ α→β Suposició
2. Σ ¬β Suposició
3. Σ ∪ {α} α [E1]
4. Σ ∪ {α} α→β [E2] 1
5. Σ ∪ {α} β [E→ ] 3,4
6. Σ ∪ {α} ¬β [E2] 2
7. Σ ¬α [I¬ ] 5,6

(vi) Sil.logisme disjuntiu [SD]

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

1. Σ α∨β Suposició
2. Σ ¬α Suposició
3. Σ ∪ {α, ¬β} ¬α [E2]
4. Σ ∪ {α, ¬β} α [E1]
5. Σ ∪ {α} β [E¬ ] 3,4
6. Σ ∪ {β} β [E1]
7. Σ β [E∨ ] 1,5,6