Linked from

The 37 pages that link to Rule of inference, each with the reason it gives.

• Axiom schemaCompared with: An axiom schema supplies starting statements; an inference rule licenses steps from premises.