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.
| Property | Value |
|---|
| dbpprop:abstract
|
- 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.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdfs:comment
|
- 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.
|
| rdfs:label
| |
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:disambiguates
of | |
![[RDF Data]](/statics/sw-cube.png)
