Erasure (logic)
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.
See also
- Monotonic logic in “mathematical logic”
- Peirce's Logic at the "Stanford Encyclopedia of Philosophy"
This article is issued from Wikipedia - version of the Saturday, March 10, 2012. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.