Inference can be defined as deriving new knowledge from existing knowledge through logical reasoning. There are two types of inference: antecedent and consequent. Antecedent inference derives a conclusion from premises where the truth of the premises implies the truth of the conclusion. Consequent inference derives a conclusion from premises where the falsity of the conclusion implies the falsity of one or more premises. Inference can also be mediate, involving reasoning through a third or middle term, or immediate, involving reasoning directly from one proposition to another without an intermediate step. Mediate inference includes deduction, reasoning from general to specific, and induction, reasoning from specific examples to general conclusions.