Uma negação lógica para a afirmação “Marcelo é alto, ou Sofia é baixa” é: