Symbols:Symbolic Logic/Possibility
Jump to navigation
Jump to search
Possibility Operator
- $\nec$
The possibility operator $\pos$ is the unary modal operator defined for some proposition $P$ dependent on some world $w$:
- $\pos P : \iff \exists w: \map P w$
The $\LaTeX$ code for \(\nec\) is \nec
.
Also known as
- $\mathrm M$
The possibility operator can also be seen in the form $\map {\mathrm M} P$:
- $\map {\mathrm M} P : \iff \exists w: \map P w$
for some proposition $P$ dependent on some world $w$.
The $\LaTeX$ code for \(\mathrm M\) is \mathrm M
.
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