Category:Definitions/Necessity Operator
Jump to navigation
Jump to search
This category contains definitions related to Necessity Operator.
Related results can be found in Category:Necessity Operator.
The necessity operator $\nec$ is the unary modal operator defined for some proposition $P$ dependent on some world $w$:
- $\nec P : \iff \forall w: \map P w$
Pages in category "Definitions/Necessity Operator"
The following 3 pages are in this category, out of 3 total.