ListLiteralEquality
From RIF
| Test Type | PositiveEntailmentTest | ||||
|---|---|---|---|---|---|
| Contributor | Jos de Bruijn | ||||
| Status | Proposed | ||||
| Record | |||||
| Dialect | BLD | ||||
| Purpose | Test equality between lists and constants representing data values | ||||
| Description | Lists are mapped to elements in the domain that are not data values, and so assertion of equality between a data value and a list is inconsistent, and entails falsehood (written as Or() in RIF). | ||||
| SeeAlso | |||||
| SpecRef | BLD#Logical_Entailment | ||||
| Premises |
|
||||
| Conclusion |
|
