---
tag: G989VP2NGP
kind: concept
name: Necessitation rule
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section N
    note: adopted
    mention: wikipedia://en/76765067#18J4
    sections: [Summary]
inventory: [3QAB4ACFEF]
---

## Summary

In modal logic, a rule stating that if a proposition is a theorem, then its necessity is also a theorem.