A negação da proposição “Lucas é engenheiro e Antônio não é dentista” é: