This symbol:
$$\Vdash$$
What is it called? It is often used in modal logic, like this: $W\Vdash$. I looked for it in wikipedia/modal logic and wikipedia/logic notation, but could not find it.
This symbol:
$$\Vdash$$
What is it called? It is often used in modal logic, like this: $W\Vdash$. I looked for it in wikipedia/modal logic and wikipedia/logic notation, but could not find it.
Copyright © 2021 JogjaFile Inc.