 An example of this is the use of the rules of inference found within symbolic logic.Aristotle held that any logical argument could be reduced to two premises and a conclusion.Premises are sometimes left unstated, in which case, they are called missing premises, for example