Types of steps in logical proofs. Defines the different kinds of steps that can appear in a logical proof.
Initial assumption or given statement
Temporary assumption for sub-proof
Abbreviated proof step
Repetition of a previous step
Step derived from previous steps
Basic axiom of the system
Types of steps in logical proofs. Defines the different kinds of steps that can appear in a logical proof.