Saturday, November 02, 2013
Fitch Proof
Is this a correct Fitch proof ?
| 1. | p(x) | Assumption | ||
| 2. | p(x)∨¬p(x) | Or Introduction 1 | ||
| 3. | ∀x.p(x)∨¬p(x) | Universal Introduction 2 | ||
| 4. | p(x)⟹∀x.p(x)∨¬p(x) | Implication Introduction 1-3 |
More information at Introduction to Logic.
