KnowraRule of inferenceLinked fromLinked fromThe 37 pages that link to Rule of inference, each with the reason it gives.All 37Broader topic 4Related 22Narrower topic 10Compared with 1Axiomatic systemBroader topic: Inference rules determine which steps count as valid derivations in the system.Deductive systemBroader topic: Inference rules are the system's basic steps for extending a derivation.Formal scienceBroader topic: Inference rules determine which deductions a formal system permits.Automated reasoningBroader topic: Reasoning systems repeatedly apply these rules to obtain new statements.