Symbols:Symbolic Logic/Necessity

Necessity Operator

$\nec$

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$

The $\LaTeX$ code for \(\nec\) is \nec .

Also known as

$\mathrm L$

The necessity operator can also be seen in the form $\map {\mathrm L} P$:

$\map {\mathrm L} P : \iff \forall w: \map P w$

for some proposition $P$ dependent on some world $w$.

The $\LaTeX$ code for \(\mathrm L\) is \mathrm L .

Sources

• 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): modal logic
• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): modal logic