Natural Deduction For Propositional Logic
Natural Deduction For Propositional Logic
intro to philosophy
Natural Deduction
for Propositional Logic
Dr Carlo Nicolai
PROOFS AND VALIDITY
another approach to validity
proofs in natural deduction
P→Q [P]
Q
¬P ∨ Q [¬(¬P ∨ Q)]
¬P
¬P ∨ Q [¬(¬P ∨ Q)]
¬P ∨ Q
RULES FOR → AND ∧
rules for ∧
∧Intro
The result of appending φ ∧ ψ to a proof of φ and a proof
of ψ is a proof of φ ∧ ψ.
.. ..
. .
φ ψ
∧Intro
φ∧ψ
rules for ∧
.. ..
. .
φ∧ψ φ∧ψ
∧Elim1 ∧Elim2
φ ψ
Example
(P ∧ Q) ∧ R ⊢ P
Example
Q ∧ P, R ⊢ P ∧ R
rules for →
→Elim
The result of appending ψ to a proof of φ and a proof of φ → ψ
is a proof of ψ.
.. ..
. .
φ φ→ψ
→Elim
ψ
Definition (Provable)
The sentence φ is provable from Γ if and only if:
▶ there is a proof of φ with only sentences in Γ as
non-discharged assumptions.
Notation
▶ Γ ⊢ φ is short for φ is provable from Γ
▶ ⊢ φ is short for ∅ ⊢ φ
▶ ψ1 , . . . , ψn ⊢ φ is short for {ψ1 , . . . , ψn } ⊢ φ.
assumption rule
The occurrence of a sentence φ with no sentence above it is
an assumption. An assumption of φ is a proof of φ.
[φ] [ψ]
.. .. ..
. . .
φ∨ψ χ χ
χ ∨Elim
Proof by cases in informal reasoning
(1) Either Tyrion flees before the trial by combat and does not die, or
Bronn fights in the trial by combat and Tyrion does not die.
So, (C) Tyrion does not die.
Informal proof. Suppose (1)
Case (i): Tyrion flees before the trial by combat and does not die. So:
Tyrion does not die.
Case (ii): Bronn fights in the trial by combat and Tyrion does not die.
So: Tyrion does not die.
Either way then, (C) follows: Tyrion does not die.
Example
(¬P ∧ Q) ∨ (R ∧ ¬P) ⊢ ¬P
the rules for ¬
[φ] [ψ]
.. ..
. .
ψ φ
↔Intro
φ↔ψ
.. .. .. ..
. . . .
φ↔ψ φ φ↔ψ ψ
↔Elim1 ↔Elim2
ψ φ
a simple example
Example
⊢ (P ∧ P) ↔ P
another simple example
Example
⊢ (P ∨ P) ↔ P
a remarkable property of propositional logic