introduction-rule

Definition

An introduction-rule is an inference-rule that allows to derive a formula-statement of some syntactic form from some define premises.

List of well-known introduction-rules

• biconditional-introduction

• conjunction-introduction

• disjunction-introduction-1

• disjunction-introduction-2

• double-negation-introduction

Quotes

“Each of the introduction rules tells us how to derive a formula of some syntactic form. For instance, the conjunction introduction rule (∧I) shows that we can derive a conjunction if we derive both conjunctive terms; the disjunction introduction rules (∨I) show that we can derive a disjunction if we derive one of the disjunctive terms.” - [PLVH08, , p. 6-7]

See also

• elimination-rule

• inference-rule