Inference rule

INFO

(Logic) A formal statement consisting of Premises and a Conclusion, asserting that if all premises hold, the conclusion may be derived.