Saturday, November 02, 2013
Fitch Proof
Is this a correct Fitch proof ?
| 1. | \( p(x) \) | Assumption | ||
| 2. | \( p(x) \lor \lnot p(x) \) | Or Introduction 1 | ||
| 3. | \( \forall x. p(x) \lor \lnot p(x) \) | Universal Introduction 2 | ||
| 4. | \( p(x) \implies \forall x. p(x) \lor \lnot p(x) \) | Implication Introduction 1-3 |
More information at Introduction to Logic.
