A negação da proposição simples “Davi não está na cidade” é: