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