Multiple Proof Paths
There could be multiple ways to logically derive a proposition from the premises. What if we could visualize these different deductive trajectories? Here is the proposition P derived in two ways from the premise (P∧Q) ∧ (R∧P).
| Text Representation | ||
|---|---|---|
| 1 | (P∧Q)∧(R∧P) | Assumption |
| 2 | (P∧Q) | ∧E (1) |
| 3 | P | ∧E (2) |
| Text Representation | ||
|---|---|---|
| 1 | (P∧Q)∧(R∧P) | Assumption |
| 2 | (R∧P) | ∧E (2) |
| 3 | P | ∧E (2) |