---
tag: VHRXX0T5XT
kind: concept
name: Weakening
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section W
    note: adopted
    mention: wikipedia://en/76765067#62KI
    sections: [Summary]
inventory: [2GPQGR9T5S]
---

## Summary

A rule in both propositional and predicate logic allowing the addition of propositions to a derivation without affecting its validity, reflecting the idea that if something follows from a set of premises, it also follows from any larger set of premises.