# 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)