If $\varphi$ is a statement, we define
\[[\varphi] = \begin{cases} 1, & \text{if $\varphi$ is true}; \\ 0, & \text{if $\varphi$ is false}, \end{cases}\]where the meaning of $1$ and $0$ should be clear in the given context.
See Also.
If $\varphi$ is a statement, we define
\[[\varphi] = \begin{cases} 1, & \text{if $\varphi$ is true}; \\ 0, & \text{if $\varphi$ is false}, \end{cases}\]where the meaning of $1$ and $0$ should be clear in the given context.
See Also.