///
Considere também que as primeiras três colunas da tabela-verdade da proposição lógica P ⇒ (Q ˄ R) sejam iguais a:
| P | Q | R |
|---|---|---|
| V | V | V |
| V | V | F |
| V | F | V |
| V | F | F |
| F | V | V |
| F | V | F |
| F | F | F |
Nesse caso, a última coluna dessa tabela-verdade apresenta exatamente três valores V.