### What is *weakening*?

### What is *weakening*?

- (mathematics) A structural principle of mathematical logic that states that the hypotheses of any derived fact may be freely extended with additional assumptions

- (mathematics) A structural principle of mathematical logic that states that the hypotheses of any derived fact may be freely extended with additional assumptions