Warning:
This wiki has been archived and is now read-only.

NegativeEntailmentTest

From RIF
Jump to: navigation, search

A "Negative Entailment Test" documents a case where a given RIF condition is not entailed by a given RIF document. It has an associated dialect D and is of the form

Premise
R
Conclusion
Q

Where R is a RIF document and Q is a RIF condition of the dialect D such that R does not entail C in the dialect D.