InferenceRuleDeclarationAccretor (python class)
- class punctilious.InferenceRuleDeclarationAccretor(u)
This python class models the collection of inference-rules declared in a universe-of-discourse.
In complement, it conveniently exposes as python properties a catalog of natively supported inference-rules that are automatically declared in the universe-of-discourse when they are accessed for the first time.
- property is_strictly_propositional: bool
By definition, an inference-rule-declaration is not a propositional object.
- Return type
bool