Erasure (logic)
From Wikipedia, the free encyclopedia
In mathematical logic, a logical system has the erasure property if and only if no subset of the propositions can be added to another subset of the propositions to refute a consequence.
For instance, if proposition A means "the store is open from 8:00 to 22:00" and proposition B means "except Tuesdays", the system AB does NOT have erasure.
[edit] See also
- Monotonic logic in “mathematical logic”
- Peirce's Logic at the "Stanford Encyclopedia of Philosophy"
 |
This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |
