Inference Rule

Definition. An inference rule is a primitive valid argument form. Each inference rule enables the elimination or the introduction of a logical connective.

Most inference rules have names that consist of:

  1. a logical connective,
  2. a letter:
    • β€œi” indicates that the rule introduces a formula that contains the connective
    • β€œe” indicates that the rule eliminates (i.e., uses) a formula that contains the connective


Oh my god, I am also seeing this concept in CS241e.

An inference rule is a collection of zero or more premises and a conclusion. The premises are written above a horizontal line and the conclusion below the line. The rule asserts that if the premises hold, then the conclusions holds.

Informal Meaning (from PD20)

β€œAn inference is the process of using information, data and evidence to justify that the conclusion is true. An inference is a conclusion or opinion that is formed because of known facts or evidence.”