Definition 1. For any statement $\varphi$, we define
\[[\varphi] = \begin{cases} 1, & \text{if $\varphi$ is true}; \\ 0, & \text{if $\varphi$ is false}. \end{cases}\]Pub Apr 02, 2026 Up Jun 20, 2026
Definition 1. For any statement $\varphi$, we define
\[[\varphi] = \begin{cases} 1, & \text{if $\varphi$ is true}; \\ 0, & \text{if $\varphi$ is false}. \end{cases}\]