Symbols:Symbolic Logic/Possibility

From ProofWiki
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