---
tag: Z8E2JHECRC
kind: concept
name: Derivable rule
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section D
    note: adopted
    mention: wikipedia://en/76765067#4UDI
    sections: [Summary]
inventory: [YBJCMDSKN0]
---

## Summary

A rule that can be inferred from the axioms and inference rules of a logical system, as opposed to being an axiom or primitive rule of the system.