Resultado de la búsqueda: proposicion verificable en sentido debil