Declarative Rule
- Name: ND and introduction
- Description in English: If we know that A is true and we know that B is true we can conclude that both A and B are true.
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
