User:Prime.mover/Proof Structures

Ordinary proofs
...etc.

Equivalence Proofs
Checking in turn each of the criteria for equivalence:

Reflexivity
So ... has been shown to be reflexive.

Symmetry
So ... has been shown to be symmetric.

Transitivity
So ... has been shown to be transitive.

... has been shown to be reflexive, symmetric and transitive.

Hence by definition it is an equivalence relation.

Ordering Proofs
Checking in turn each of the criteria for an ordering:

Reflexivity
So ... has been shown to be reflexive.

Transitivity
So ... has been shown to be transitive.

Antisymmetry
So ... has been shown to be antisymmetric.

... has been shown to be reflexive, transitive and antisymmetric.

Hence by definition it is an ordering.

Strict Ordering Proofs
Checking in turn each of the criteria for a strict ordering:

Antireflexivity
So ... has been shown to be antireflexive.

Transitivity
So ... has been shown to be transitive.

Asymmetry
So ... has been shown to be asymmetric.

... has been shown to be antireflexive, transitive and asymmetric.

Hence by definition it is a strict ordering.

Group Proofs
Taking the group axioms in turn:

Ring Proofs
Taking the ring axioms in turn:

Proof by Mathematical Induction
Proof by induction:

For all $n \in \N^*$, let $P \left({n}\right)$ be the proposition:
 * $proposition_n$

$P \left({1}\right)$ is true, as this just says $proposition_1$.

Basis for the Induction
$P \left({2}\right)$ is the case:
 * $proposition_2$

which has been proved above.

This is our basis for the induction.

Induction Hypothesis
Now we need to show that, if $P \left({k}\right)$ is true, where $k \ge 2$, then it logically follows that $P \left({k+1}\right)$ is true.

So this is our induction hypothesis:
 * $proposition_k$

Then we need to show:
 * $proposition_{k+1}$

Induction Step
This is our induction step:

So $P \left({k}\right) \implies P \left({k+1}\right)$ and the result follows by the Principle of Mathematical Induction.

Therefore:
 * $proposition_n$

Tableau proofs
...etc.