Ao se admitir por verdadeira a declaração “Se Paulo é alto, então Gabriela não é alta”, conclui-se, de maneira correta e necessária, que se: