Simple Proofs
Here is how a simple proofs look in the system. Here is how P is derived from (P ∧ Q) ∧ (R ∧ P).
| Text Representation | ||
|---|---|---|
| 1 | (P∧Q)∧(R∧P) | Assumption |
| 2 | (P∧Q) | ∧E (1) |
| 3 | P | ∧E (2) |
Explorations in creating an direct manipulation logic tool
@prabrosHere is how a simple proofs look in the system. Here is how P is derived from (P ∧ Q) ∧ (R ∧ P).
| Text Representation | ||
|---|---|---|
| 1 | (P∧Q)∧(R∧P) | Assumption |
| 2 | (P∧Q) | ∧E (1) |
| 3 | P | ∧E (2) |