User:Prime.mover

Useful constructs that I can cut and paste.

Tableau proofs
...etc.

Logical Axiom references
These are for tableau proofs:


 * Declaration of a Proposition: P


 * Rule of Assumption: A


 * Rule of Conjunction: $\land \mathcal{I}$


 * Rule of Simplification: $\land \mathcal{E}_1$ or $\land \mathcal{E}_2$


 * Rule of Addition: $\lor \mathcal{I}_1$ or $\lor \mathcal{I}_2$


 * Rule of Or-Elimination: $\lor \mathcal{E}$


 * Modus Ponendo Ponens: $\Longrightarrow \mathcal{E}$


 * Rule of Implication: $\Longrightarrow \mathcal{I}$


 * Rule of Not-Elimination: $\lnot \mathcal{E}$


 * Rule of Proof by Contradiction: $\lnot \mathcal{I}$


 * Rule of Bottom-Elimination: $\bot \mathcal{E}$


 * Law of the Excluded Middle: $\textrm{LEM}$


 * Double Negation Introduction: $\lnot \lnot \mathcal{I}$


 * Double Negation Elimination: $\lnot \lnot \mathcal{E}$

Ordinary proofs
...etc.