Após analisar um projeto, João afirmou:

• Não é verdade que todas as propostas desse projeto não são possíveis de serem realizadas.

A condição necessária e suficiente para que a afirmação de João seja verdadeira, é que seja verdadeira a seguinte proposição: