weakening rule

In logic, the *weakening rule* states that premises may be added to the hypotheses of a valid deduction while remaining valid. Along with the contraction rule and the exchange rule, it is one of the most commonly adopted structural rules.

The weakining rule is not used in all logical frameworks, for instance in linear logic it is discarded.

Exactly how this looks depends on the logic used.

…

Revised on January 20, 2014 01:45:29
by Urs Schreiber
(89.204.139.46)