Inference Rules

Patterns of logical reasoning used to derive conclusions from premises.