---
tag: Q9X29G6E2B
kind: concept
name: Discharge
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section D
    note: adopted
    mention: wikipedia://en/76765067#23H2
    sections: [Summary]
inventory: [G1S5BVV25J]
---

## Summary

The act of eliminating an assumption in a logical derivation, often by using it to prove a conditional statement.