Material inference

This article includes a list of general references, but it lacks sufficient corresponding inline citations. Please help to improve this article by introducing more precise citations. (January 2014) (Learn how and when to remove this message)

In logic, inference is the process of deriving logical conclusions from premises known or assumed to be true. In checking a logical inference for formal and material validity, the meaning of only its logical vocabulary and of both its logical and extra-logical vocabulary^{[clarification needed]} is considered, respectively.