Resultado de la búsqueda: negador simbolico de la logica