implementados construir tramas de negacion