Introduction Rules

Introduction rules are rules that are used to derive compound formulae. The connective or operator specified in the name of the rule is the main connective or operator of the formula derived.

Introduction rules can be applied either forwards or backwards in the CPL.

For information on a particular introduction rule, please select that rule from the Introduction Rules menu under the Rules tab of the navigation panel.