exchange rule

The exchange rule


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.


Exactly how this looks depends on the logic used.

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