Resultado de la búsqueda: logica proposional