Rule of inference

Method of deriving conclusions

Rules of inference are ways of deriving conclusions from premises. They are integral parts of formal logic, serving as the logical structure of valid arguments. If an argument with true premises follows a rule of inference then the conclusion cannot be false.

From Wikipedia, under CC BY-SA. More on occurri.