De acordo com a lógica matemática a negação da frase: José gosta de futebol ou Antônio não gosta de vôlei.