Disjunctive Information from Negative Guards 2
From RIF
Test Type | PositiveEntailmentTest | ||||
---|---|---|---|---|---|
Contributor | Jos de Bruijn | ||||
Status | Obsolete | ||||
Record | October 7, 2008 Telecon | ||||
Dialect | BLD | ||||
Purpose | Test for entailment of disjunctive information from negative guards (2) | ||||
Description | There must be at least one object in the extension of ex:p. By the first rule, it would be inconsistent if the object were not an integer, so it is an integer. By the second rule, it could be inconsistent if the number were less than 1 or greater than 3. We can thus conclude that the extension of ex:p contains the number 1, the number of 2, the number 3, or any combination of them. | ||||
SeeAlso | Disjunctive_Information_from_Negative_Guards | ||||
SpecRef | BLD#Logical_Entailment DTB#Negative_Guard_Predicates_for_Datatypes | ||||
Premises |
|
||||
Conclusion |
|