///
Considerando-se que P e Q sejam proposições simples, a tabela a seguir mostra o início da construção da tabela verdade da proposição P ∨ [~(P ∨ Q)], em que ~X indica a negação da proposição X.
| P | Q | P ∨ [~(P ∨ Q)] |
|---|---|---|
| V | V | |
| V | F | |
| F | V | |
| F | F |
Completando a tabela, se necessário, assinale a opção que mostra, na ordem em que estão, os elementos da coluna referente à proposição P ∨ [~(P ∨ Q)].