nLab
exchange rule

The exchange rule

Idea

In logic, the exchange rule or permutation rule states that the order of the premises is irrelevant to the validity of a deduction. Along with the weakening rule and the contraction rule, it is one of the most commonly adopted structural rules.

Statements

Exactly how this looks depends on the logic used.

Created on September 2, 2012 07:12:49 by Toby Bartels (98.23.143.147)