Negação de uma implicação universal