Declarative Rule
- Name: Negated Conclusion
- Description in English: In systems that use proof by contradiction, the negation of the statement to be proved.
Inference Web: [
Home |
Spec |
Browser |
IWBase |
Registrar |
Registry
]
Copyright 2009 Inference Web group.
All Rights Reserved.
