Resultado de la búsqueda: nodos proposicionales