Considere a seguinte proposição, cujo valor lógico é verdadeiro:
“Se o orçamento está aprovado ou a receita é maior que a despesa, então o balanço financeiro está correto e o secretário- -geral pode tirar férias.”
Sabendo-se que o secretário-geral não pode tirar férias, pode-se concluir como necessariamente verdadeiro que: