Considere que as letras P, Q e R representam proposições e os símbolos !$ \neg !$ , !$ \wedge !$ e !$ \rightarrow !$ são operadores lógicos que constroem novas proposições e significam não, e e então, respectivamente. Na lógica proposicional que trata da expressão do raciocínio por meio de proposições que são avaliadas (valoradas) como verdadeiras (V) ou falsas (F), mas nunca ambos, esses operadores estão definidos, para cada valoração atribuída às letras proposicionais, na tabela abaixo.

!$ P \wedge \neg Q !$ .